cx19981114

Pinned Repositories

generic-ec
Generic elliptic curve cryptography in Rust
Language:Rust00
lr
Language:Java01
marlin
A Rust library for the Marlin preprocessing zkSNARK
Language:Rust00
mingrep
Language:Rust00
protocol-specs
Formal specifications of the Subspace protocol
Language:JavaScript00
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:Rust00
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:Rust1.1k1.5k
marlin
A Rust library for the Marlin preprocessing zkSNARK
Language:Rust31085
osprey
Language:C++53
protocol-specs
Formal specifications of the Subspace protocol
Language:JavaScript23

cx19981114's Repositories

cx19981114/protocol-specs
Formal specifications of the Subspace protocol
cx19981114/generic-ec
Generic elliptic curve cryptography in Rust
cx19981114/snarkVM
A Virtual Machine for Zero-Knowledge Executions
cx19981114/marlin
A Rust library for the Marlin preprocessing zkSNARK
cx19981114/lr
Language:Java1
cx19981114/mingrep
Language:Rust