Name: METASTATE
Type: Organization
Bio: Blockchain R&D: Leveraging cutting-edge research in distributed systems, PLT, zero-knowledge cryptography to improve decentralized protocols.
Twitter: metastatedev
Location: Remote First
Blog: https://metastate.dev
METASTATE's Projects
Common Interaction Net Delightfully Extensible Representation
Open-source cryptography research, specification, and notes.
A generator for JSON Schema from Algebraic Data Type in Haskell.
A formatter for Haskell source code
Communal zk-SNARK MPC for Public Parameters
Hypothesis-like property testing for Rust
Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
A few smart contracts
Application-layer smart contracts & tooling.