Pinned Loading
Repositories
Showing 10 of 52 repositories
- cspr-consensus-formal Public
Formalization of some pen-and-paper proofs associated with Casper's consensus algorithm.
- litmus-wasm Public
- litmus-worker Public
- casper-groth16-contract Public Forked from jonas089/casper-groth16-contract
Verify a Circom proof in a Casper Smart Contract
- kairos Public
- litmus Public
- groth16-wasm Public Forked from jonas089/groth16-wasm
Groth16 R&D work revolving around precompiles for Casper L1
- cctl-rs Public
Top languages
Loading…
Most used topics
Loading…