odradev / odraLinks
Odra Framework
☆64Updated 2 weeks ago
Alternatives and similar repositories for odra
Users that are interested in odra are comparing it to the libraries listed below
Sorting:
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆143Updated last week
- ☆61Updated this week
- ☆134Updated last year
- EigenTrust - A distributed reputation system☆115Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 8 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆84Updated 4 months ago
- Wasm friendly Celestia light node implementation in Rust☆171Updated this week
- A collection of ZK light client libraries for various blockchains☆67Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- ☆100Updated 9 months ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- Rust implementation of the Agglayer.☆118Updated last week
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- ☆43Updated 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
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆78Updated last year
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆27Updated last year
- Smart contracts for on-chain anonymous settlement.☆124Updated 5 months ago
- ☆58Updated 2 years ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Updated 2 years ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆65Updated this week
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆134Updated last month
- Tower-based ABCI interface.☆78Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Updated 3 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Updated last year
- RISC-V interactive fault proof tech☆108Updated 2 months ago