Claim Your Account

Lets get you verified!

Verification Code
CODE$:

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?

Two Simple Steps:
  1. 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.
  2. 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 gravatar 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

1526
Total reviews
Feasibility
4.19 Star
Value for money
3.86 Star
Impact / Alignment
4.62 Star
Impact Alignment
4.37 Star
Value for Money
3.85 Star

Proposals Across Funding Rounds

2
Completed
9
Approved
15
Proposed
₳3.9M
$0
Requested
₳2.3M
$0
Awarded
₳860.2K
$0
Received

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.

  • Mladen Lamesevic

  • Philip DiSarro

  • Jonathan Rodriguez

  • philipdisarro

Anastasia Labs Proposals (15)

Plug-and-play Smart Contract API: a game-changing platform to deploy open-source contracts instantly Quick Pitch

₳190,666 Received
₳190,666 Requested

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

Challenge: Fund 10
completed Awarded 0.381% of the fund.
0 (1)

Anastasia Labs - The Trifecta of Data Structures: Merkle Trees, Tries, and Linked Lists for Cutting-Edge Contracts

₳238,374 Received
₳238,374 Requested

Solution: Implement data structures in Aiken and Plutarch such as Merkle trees, Tries, and Linked List to scale DApps.

Challenge: Fund 10
completed Awarded 0.477% of the fund.
0 (1)

Anastasia Labs X MoneyKit - Transaction Manifests & FinTech Platform Integration for Cardano

₳400,000 Requested

Solution: Extend MoneyKit to support Cardano transactions data, providing enriched, user-friendly transaction manifests to enhance adoption in web2 finance.

Challenge: Fund 11
over budget Requested 0.8% of the fund.
0 (1)

High Quality Japanese Translations for Popular Cardano DApps

₳31,200 Received
₳130,000 Requested

Solution: Implement professional, precise Japanese translations for a number of top Cardano DApps to encourage more Japanese Ada holders to interact with Cardano DApps.

Challenge: Fund 11
funded Awarded 0.26% of the fund.
0 (1)

Anastasia Labs X Maestro - Plug ‘n Play 2.0

₳60,000 Received
₳300,000 Requested

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

Challenge: Fund 11
funded Awarded 0.6% of the fund.
0 (1)

On-chain Certifications & Secure Smart Contract Upgrade Mechanism

₳400,000 Requested

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.
Challenge: Fund 11
over budget Requested 0.8% of the fund.
0 (1)

Anastasia Labs - Lucid Evolution: Redefining Off-Chain Transactions in Cardano

₳164,000 Received
₳200,000 Requested

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.

Challenge: Fund 11
funded Awarded 0.4% of the fund.
0 (1)

Anastasia Labs - Midgard: Cardano Layer 2

₳60,000 Received
₳500,000 Requested

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

Challenge: Fund 12
funded Awarded 1% of the fund.
0 (0)

Anastasia Labs - Smart Contract Formal Verification Framework

₳32,000 Received
₳200,000 Requested

Solution: We propose a framework for formal verification of Cardano smart contracts in Coq.

Challenge: Fund 12
funded Awarded 0.4% of the fund.
0 (0)

Anastasia Labs - ZK Accelerate : A User-Friendly Smart Contract Library for ZK contracts

₳24,000 Received
₳200,000 Requested

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.

Challenge: Fund 12
funded Awarded 0.4% of the fund.
0 (0)

Anastasia Labs X MoneyKit - Transaction Manifests & FinTech Platform Integration for Cardano

₳60,000 Received
₳300,000 Requested

Solution: Extend MoneyKit to support Cardano transactions data, providing enriched, user-friendly transaction manifests to enhance adoption in web2 finance.

Challenge: Fund 12
funded Awarded 0.6% of the fund.
0 (0)

Lucid Evolution 2.0 - Dependency Injection & cardano-js-sdk Integration

₳200,000 Requested

Solution: We will integrate the cardano-js-sdk into Lucid Evolution alongside the CML library, enabling flexible transaction building and ensuring consistent support even if one library becomes outdated.

Challenge: Fund 13
vote pending Requested 0.4% of the fund.
0 (0)

Lucid Evolution 2.0 - Private Testnet SDK & L2 Provider Integration

₳200,000 Requested

Solution: This solution leverages Dockerode/Testcontainers for easy control of Cardano private testnet environments and provisions throwaway, on-demand containers for development and testing use cases.

Challenge: Fund 13
vote pending Requested 0.4% of the fund.
0 (0)

Lucid Evolution 2.0 - Blueprint & Enhanced Plutus Schema

₳200,000 Requested

Solution: Rewrite the Lucid-Evolution schema package using Effect Schema to enhance flexibility, improve TypeScript inference, and ensure better compatibility with Plutus data types, solving current limitations

Challenge: Fund 13
vote pending Requested 0.4% of the fund.
0 (0)

Lucid Evolution 2.0 - Maintenance & Development Strategy

₳200,000 Requested

Solution: We're expanding Lucid Evolution capabilities by tackling technical debt, standardizing modules, and implementing robust testing, making it more powerful and versatile.

Challenge: Fund 13
vote pending Requested 0.4% of the fund.
0 (0)