odradev / odraLinks
Odra Framework
☆64Updated this week
Alternatives and similar repositories for odra
Users that are interested in odra are comparing it to the libraries listed below
Sorting:
- ☆134Updated last year
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- EigenTrust - A distributed reputation system☆115Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- ☆100Updated 9 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Updated last year
- On-chain Ethereum light client built with SP1☆80Updated last month
- Rust implementation of the Agglayer.☆117Updated this week
- Wasm friendly Celestia light node implementation in Rust☆171Updated last week
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆84Updated 5 months ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- Tower-based ABCI interface.☆78Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆134Updated 2 months ago
- ☆47Updated last month
- ☆43Updated last year
- Email verification circuit in halo2☆68Updated last year
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆144Updated this week
- ☆58Updated 2 years ago
- A zero-knowledge Move language runtime environment.☆84Updated 8 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆85Updated 2 months ago
- ZKM Development Template/Framework☆30Updated 7 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 3 years ago
- ☆61Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Updated last year