pirapira / cbc_casperLinks
Isabelle formalization of binary consensus
☆9Updated 8 years ago
Alternatives and similar repositories for cbc_casper
Users that are interested in cbc_casper are comparing it to the libraries listed below
Sorting:
- Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…☆20Updated 8 years ago
- a JavaScript Implementation of Primea HyperVisor☆42Updated 5 years ago
- Something to play with while we wait☆20Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Config files for connecting to testnets☆17Updated 7 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Plasma Paper☆10Updated 7 years ago
- ☆19Updated 8 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- a public objective non-economic reputation system☆13Updated 9 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- Bring Ethereum to IPFS☆26Updated last month
- ☆13Updated 8 years ago
- A collection of 🔥 resources & research on cryptoeconomics☆27Updated 7 years ago
- ☆22Updated 4 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- Otonomos proposal for how The DAO/DAOs can hold stakes in projects, digital or real-world☆16Updated 9 years ago
- Benchmarking data for EVM ops and precompiles☆22Updated 2 years ago
- DEPRECATED: TMSP Governance App☆17Updated 9 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Multisig with a command-line interface☆22Updated 6 years ago
- DEPRECATED: A light client for tendermint, supporting signatures, proofs, and validation (see github.com/tendermint/tendermint/lite)☆17Updated 7 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Archive of The Ethereum Developer logs by Jeffrey Wilcke☆32Updated 8 years ago
- ☆21Updated 7 years ago
- Reference implementation of the SPOOL protocol☆20Updated 6 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- ☆32Updated 8 years ago