odradev / odra
Odra framework
☆63Updated 3 weeks ago
Related projects: ⓘ
- ☆79Updated this week
- ☆75Updated this week
- ☆59Updated last month
- Runtime Templates for Polkadot Parachains☆60Updated this week
- A zero-knowledge Move language runtime environment.☆77Updated 9 months ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆130Updated this week
- DSL for Halo2 circuits☆185Updated 3 weeks ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- ☆56Updated 9 months ago
- ☆113Updated 2 weeks ago
- De-chained Ready-to-play ink! playground☆67Updated 5 months ago
- Formalization of Typhon protocol☆28Updated 3 months ago
- Wasm friendly Celestia light node implementation in Rust☆112Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆97Updated last week
- Bridge from Mina to Ethereum☆77Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- A trustless, cross-chain bridging protocol.☆76Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆156Updated 6 months ago
- Casper RFCs☆30Updated 4 months ago
- Webb protocol implementation in Substrate.☆37Updated last year
- Polynomials Identity Language☆67Updated 6 months ago
- Application running the documentation markdown files.☆25Updated last week
- EigenTrust - A distributed reputation system☆109Updated 9 months ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆62Updated last week
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- A set of examples for ink! smart contract language. Happy hacking!☆99Updated 2 months ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- ☆144Updated 6 months ago
- Core components of the Polygon Miden rollup☆67Updated this week