ID: #1000118 | Status:
In progress

Last updated a week ago

MLabs – CEMScript SDK: get your DApp implementation from annotated on-chain logic state-machine

Problem

Apps have common types and logic that must be compatible across tx building, on-chain scripts, and indexing. However, they are often re-implemented in each context because dev tools cannot reuse them.

Solution

Define and reuse DApp logic via annotated CEM-machines, resulting in free implementations for on-chain scripts, tx building/ submission/resubmission on L1/L2, tx parsing/indexing, specs, and tests.

Total to date

This is the total amount allocated to MLabs – CEMScript SDK: get your DApp implementation from annotated on-chain logic state-machine. 3 out of 5 milestones are completed.

₳ 291,786
Total funds requested
Distributed: ₳ 221,666
Remaining: ₳ 70,120
12/23
01/24
02/24
03/24
05/24
Complete
In progress
To be completed
558
Total votes cast
₳382M
Votes yes
₳43.2M
Votes no

Monthly report

NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Team

Gregory Gerasev -- Tech Lead:

  • Led the dev team for the Hydra auction project -- one of the first non-trivial smart contract applications to use the Hydra Head technologies in a hybrid L1/L2 workflow. Helped implement the overall protocol design, the service architecture, on-chain and off-chain code, and SDK components.
  • Led the dev team that implemented the Hydra backend for the POCRE project.
  • Helped develop the Cardano Transaction Library (CTL), including the Blockfrost backend for CTL (funded in Fund 8).

Delivery Manager -- TBD

Dev team -- TBD

MLabs
MLabs