Skip to main content
Adastack LogoAdastack Logo
  • Home
  • DApps
  • Blog
  • Submit
Adastack LogoAdastack Logo

Newsletter

Subscribe for Updates

New features and Cardano ecosystem news.

Adastack LogoAdastack Logo

Cardano ecosystem explorer. Your guide to the latest DApps, tools, and resources on Cardano.

X
Explore
  • Categories
  • DApps
  • Projects
  • Project Links
For Builders
  • Suggest a Project
  • Get Featured
  • Code Libraries
  • REST API
About Adastack
  • About & Contact
  • Privacy
  • Terms
Follow Us
  • X / Twitter
  • GitHub
  • Facebook
  • LinkedIn
Copyright © 2026 All Rights Reserved.
  3. Categories
  5. Development
  7. Audit Companies
  9. Anastasia Labs Audit
Icon for Anastasia Labs

Anastasia Labs Audit

Expert Cardano security consultancy offering smart contract audits, formal verification, and comprehensive security solutions for blockchain protocols.

Visit Website
Icon for Anastasia Labs
Visit Website

Introduction

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.

Information

  • Website Linkhttps://anastasialabs.com/
  • X (Twitter)x.com/anastasialabs
  • Discorddiscord.com/invite/s89P9gpEff
  • LinkedInwww.linkedin.com/company/anastasialabs
  • Blogmedium.com/@anastasia_labs
  • Team on GitHubgithub.com/Anastasia-Labs

Category

  • Audit Companies

Related Items

Icon for No Witness Labs

No Witness Labs Audit

Smart contract security and audit services.

Icon for CertiK

CertiK Audit

Blockchain security giant.

Icon for Runtime Verification

Runtime Verification Audit

Formal verification specialist.