Anastasia Labs operates as a premier smart contract auditing firm specializing exclusively in Cardano blockchain security. The company has established itself as a leading audit provider for major DeFi protocols, serving high-profile clients including Minswap, Lenfi, Encoins, and Atrium. Founded by Philip DiSarro, the team combines deep expertise in formal verification methodologies with comprehensive audit services.
Newsletter
Subscribe for Updates
New features and Cardano ecosystem news.
