Mladen Lamesevic
Anastasia Labs
Claim Account
Follow
Bio
Missing Bio. Claim profile to add a bio.
Community Reviews across funding rounds
Funding data last updated
Mladen Lamesevic Proposals (9)
Anastasia Labs - Streamlining Development: A User-Friendly Smart Contract Library for Plutarch and Aiken Design Patterns & Efficiency
Solution: Two wrapper libraries for Plutarch and Aiken smart contracts, that streamline development by abstracting unintuitive design patterns.
Anastasia Labs - Open Source Production Grade DApps
Solution: We will provide and maintain a set of generic open-source production ready DApps that users can either build upon, or use as reference material to learn best practices and design patterns.
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 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
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.