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.
Login to follow Microproofs
Microproofs
txpipe
Claim Account
Follow
Bio
Missing Bio. Claim profile to add a bio.
Community Reviews across funding rounds
Microproofs Proposals (1)
Aiken: Smart Contract Toolchain
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
Monthly Reports
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.