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. Development Companies
  9. Anastasia Labs
Icon for Anastasia Labs

Anastasia Labs

Leading Cardano audit and development company specializing in smart contracts, formal verification, and protocol design.

Visit Website
Image for Anastasia Labs
Visit Website

Introduction

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.

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

Category

  • Development Companies

Related Items

Icon for No Witness Labs

No Witness Labs

Cardano developer tools provider.

Icon for PaskLab Technologies

PaskLab Technologies

Development company specialist.

Icon for Ethernal Tech

Ethernal Tech

Cross-chain development specialist.