Claim Your Account
Lets get you verified!
Great! You may close this page
after you've sent us the code on ideascale.
You will receive a confirmation once your account is validated
To verify your ownership of this profile,
please send a personal message to
Lido Nation
on ideascale and include the code above.
Do you already have a catalyst catalyst explorer or lido nation account?
How is this data calculated?
- A human at Lido Nation manually comb through proposals 2 identify core members of a group. People denoted as such are listed on the group page.
- For these core member, a script finds all the proposals for which they are the primary author & attribute that proposal to the group.
Despite our best efforts to maintain the accuracy of the information presented here, inconsistencies may exist.
Questions or feedback about this data?
Send us a message
Anastasia Labs
Claimed
How is this data calculated?
Bio
Cardano Development Auditing Firm
Your clients are depending on you to deliver safe and reliable applications. Anastasia Labs is a Haskell consultancy specialized in developing mission-critical blockchain applications.
Community Reviews across funding rounds
Funding data last updated
Top of mind of Anastasia Labs in Catalyst
most frequent words in proposal details
Challenges
The Team (5)
Members in Catalyst that have co-proposed with Anastasia Labs. Individuals may not be employed at Anastasia Labs. This is is is not representative of Anastasia Labs's full team.
Follow Anastasia Labs monthly project reports to have them delivered to your inbox, for all 11 projects.
Individual Projects can also be followed on project page.
Error following
Successfully subscribed. Watch your inbox!
We will check for new reports and deliver them directly in your email.
Your email will not be shared with any 3rd party or be used for anything else.
-
Jonathan Rodriguez
-
Mladen Lamesevic
-
philipdisarro
-
Philip DiSarro
Anastasia Labs Proposals (11)
Plug-and-play Smart Contract API: a game-changing platform to deploy open-source contracts instantly Quick Pitch
Solution: Ready-to-deploy smart contract APIs to run composable and reusable contracts without worrying about on/off-chain code. Get access to a library of open-source contracts and unleash your imagination
Anastasia Labs - The Trifecta of Data Structures: Merkle Trees, Tries, and Linked Lists for Cutting-Edge Contracts
Solution: Implement data structures in Aiken and Plutarch such as Merkle trees, Tries, and Linked List to scale DApps.
Anastasia Labs X MoneyKit - Transaction Manifests & FinTech Platform Integration for Cardano
Solution: Extend MoneyKit to support Cardano transactions data, providing enriched, user-friendly transaction manifests to enhance adoption in web2 finance.
High Quality Japanese Translations for Popular Cardano DApps
Solution: Implement professional, precise Japanese translations for a number of top Cardano DApps to encourage more Japanese Ada holders to interact with Cardano DApps.
Anastasia Labs X Maestro - Plug ‘n Play 2.0
Solution: Ready-to-deploy smart contract APIs to run composable and reusable contracts without worrying about on/off-chain code. Get access to a library of open-source contracts and unleash your imagination
On-chain Certifications & Secure Smart Contract Upgrade Mechanism
Solution: A framework that can enforce a secure upgrade path for on-chain smart contracts.
- DApp Upgrades without the ability to misuse or steal user funds.
- Migrate funds to only the correct audited contracts.
Anastasia Labs - Lucid Evolution: Redefining Off-Chain Transactions in Cardano
Solution: Ensure long-term clarity by consistent maintenance, address GitHub issues, create new pull requests, and upgrade Lucid to the latest CML versions for sustained effectiveness.
Anastasia Labs - Midgard: Cardano Layer 2
Solution: Proposing a high-throughput Cardano L2 with fast finality and relaxed SC execution constraints. Enhances scalability, speed, cost-efficiency, enables high-volume transactions without congesting the L1
Anastasia Labs - Smart Contract Formal Verification Framework
Solution: We propose a framework for formal verification of Cardano smart contracts in Coq.
Anastasia Labs - ZK Accelerate : A User-Friendly Smart Contract Library for ZK contracts
Solution: Develop a high-level library to empower developers to leverage the power of zero-knowledge proof in their DApps without wrestling with the complexity of zk-circuit construction and verification.
Anastasia Labs X MoneyKit - Transaction Manifests & FinTech Platform Integration for Cardano
Solution: Extend MoneyKit to support Cardano transactions data, providing enriched, user-friendly transaction manifests to enhance adoption in web2 finance.