METASTATE
Blockchain R&D: Leveraging cutting-edge research in distributed systems, PLT, zero-knowledge cryptography to improve decentralized protocols.
Remote First
Pinned Repositories
cinder
Common Interaction Net Delightfully Extensible Representation
crypto-research
Open-source cryptography research, specification, and notes.
jsonschema-gen
A generator for JSON Schema from Algebraic Data Type in Haskell.
ormolu
A formatter for Haskell source code
powersoftau
Communal zk-SNARK MPC for Public Parameters
proptest
Hypothesis-like property testing for Rust
sapling-mpc
Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
smart-contracts
A few smart contracts
smarter-contracts
Application-layer smart contracts & tooling.
zcash-test-vectors
METASTATE's Repositories
metastatedev/smarter-contracts
Application-layer smart contracts & tooling.
metastatedev/cinder
Common Interaction Net Delightfully Extensible Representation
metastatedev/crypto-research
Open-source cryptography research, specification, and notes.
metastatedev/jsonschema-gen
A generator for JSON Schema from Algebraic Data Type in Haskell.
metastatedev/ormolu
A formatter for Haskell source code
metastatedev/phase2-bls12_381
metastatedev/powersoftau
Communal zk-SNARK MPC for Public Parameters
metastatedev/proptest
Hypothesis-like property testing for Rust
metastatedev/sapling-mpc
Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
metastatedev/smart-contracts
A few smart contracts
metastatedev/zcash-test-vectors