Anastasia Labs stands as a premier Cardano development consultancy specializing in smart contract auditing and security services. The company has established itself as a leading audit firm within the Cardano ecosystem, serving high-profile clients including Minswap, Splash Protocol, and Spectrum Finance. Founded by Philip DiSarro, the team brings deep expertise in Haskell development and formal verification methodologies.
Anastasia Labs
Leading Cardano audit and development company specializing in smart contracts, formal verification, and protocol design.
Introduction
Information
- Website Linkhttps://anastasialabs.com/
- X (Twitter)x.com/anastasialabs
- YouTubewww.youtube.com/channel/UCB4rEOIi06At1uhkAXD29rA
- Discorddiscord.com/invite/s89P9gpEff
- LinkedInwww.linkedin.com/company/anastasialabs
- Blogmedium.com/@anastasia_labs
- Team on GitHubgithub.com/Anastasia-Labs
- Open Source Linkgithub.com/Anastasia-Labs/lucid-evolution
