Microproofs
txpipe
Claim Account
Follow
Bio
Missing Bio. Claim profile to add a bio.
Microproofs own proposals
Community Reviews across funding rounds
Microproofs Proposals (1)
Aiken: Smart Contract Toolchain
$111,480
Requested
Solution: * Port UPLC to Rust (mostly done)
- Implement the interpreter (own the full toolchain!)
- Create a high level C-family language with functional semantics
- UPLC static analysis tools
- Robust testing tools
Challenge:
Fund 9
over budget
Requested 0.697% of the
fund.
