bwasti / avalanche_playground
Structural (non-cryptographic) Python implementation of the Avalanche algorithm by TeamRocket
☆15Updated 6 years ago
Related projects: ⓘ
- ☆59Updated 2 years ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- Embedded curve over the Ristretto255 scalar field, for use in Bulletproofs☆17Updated 5 years ago
- Shared Lurk source code, including tests and library code.☆18Updated 6 months ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆44Updated 4 years ago
- a web page / paper☆18Updated 7 years ago
- Contract examples☆10Updated 2 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project☆12Updated 4 years ago
- ☆71Updated this week
- Radicle Developers of All Countries, Unite!☆17Updated 3 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated last year
- Mix Network Bibliography☆15Updated 4 years ago
- Development environment based on SputnikVM and etcommon☆14Updated 5 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 4 years ago
- BLST-Verification☆20Updated 2 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites☆12Updated 6 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 4 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- ☆14Updated 9 years ago
- ☆11Updated 2 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- Rust implementation of Amino☆26Updated 4 years ago
- Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network☆14Updated 4 years ago
- notes, ideas and whatnot☆42Updated 2 years ago
- Verification-Driven Development☆21Updated 3 years ago
- Code from the NordicJS talk on how to build GUN!☆18Updated 4 years ago