bwasti / avalanche_playgroundLinks
Structural (non-cryptographic) Python implementation of the Avalanche algorithm by TeamRocket
☆15Updated 7 years ago
Alternatives and similar repositories for avalanche_playground
Users that are interested in avalanche_playground are comparing it to the libraries listed below
Sorting:
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- ☆14Updated 10 years ago
- Documentation for the Ethereum LLL compiler☆11Updated last year
- An LLL-based smart contract function dispatcher and example contract.☆47Updated 8 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Basic proof-of-custody library☆7Updated 10 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago
- ☆59Updated 3 years ago
- notes, ideas and whatnot☆43Updated 3 years ago
- a web page / paper☆18Updated 8 years ago
- ☆28Updated 8 years ago
- The official network explorer for Wavelet.☆28Updated 2 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Mirror of all PDFs from the IACR's eprint☆46Updated last year
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Github bot that automatically funds https://commiteth.com bounties☆13Updated 7 years ago
- Homomorphic encryption for voting☆11Updated 9 years ago
- An implementation of Dijkstra in Clojure☆19Updated 12 years ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites☆12Updated 6 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- DEPRECATED: Merkle-ized data store☆46Updated 6 years ago
- Verification-Driven Development☆21Updated 4 years ago
- stream processing library for formal power series and generating functions☆10Updated 4 years ago
- ☆32Updated 6 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- An implementation of Publicly Verifiably Secret Sharing (PVSS) in Swift.☆12Updated 7 years ago