Odra Framework
☆64Mar 2, 2026Updated this week
Alternatives and similar repositories for odra
Users that are interested in odra are comparing it to the libraries listed below
Sorting:
- Smart Contracts for the MVPR On-Chain Governance System on Casper☆10May 18, 2025Updated 9 months ago
- A Docker container that runs Casper NCTL as a service☆13May 18, 2025Updated 9 months ago
- Python library for interacting with a CSPR node☆17Dec 12, 2024Updated last year
- A JSON schema and a mechanism for Casper Network accounts to self identify and provide additional metadata for their owners, their other …☆15Aug 2, 2024Updated last year
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- Pimcore 5 Clipboard Bundle gives you the possibility to shelve your objects into a separated area and perform chosen actions only on thes…☆11Nov 22, 2019Updated 6 years ago
- Go SDK to interact with the Casper Network☆17Updated this week
- TypeScript Casper Client SDK☆72Feb 24, 2026Updated last week
- A puzzle for Curta CTF☆26Sep 5, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- Securely manage your CSPR tokens, interact with dapps, and sign transactions with Casper Wallet, the go-to self-custody wallet for the Ca…☆27Updated this week
- Reference node for CASPER protocol☆406Feb 26, 2026Updated last week
- ☆13Jun 30, 2023Updated 2 years ago
- ☆11Jan 1, 2026Updated 2 months ago
- Interoperability Test for Braid Protocol☆12Dec 10, 2022Updated 3 years ago
- NEAR proof of concept for the proof of humanity protocol☆13Mar 21, 2024Updated last year
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆355Sep 2, 2025Updated 6 months ago
- ☆43Oct 26, 2024Updated last year
- Small wrapper around Speculos, LedgerWallet & LedgerComm to ease instrumentation☆11Updated this week
- ☆17Apr 25, 2023Updated 2 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Ethereum's RLP encoding implemented as a Serde data format☆13Oct 10, 2022Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Casper RFCs☆30Jan 15, 2026Updated last month
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Dec 11, 2025Updated 2 months ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- An implementation of the Austral language compiler in Rust☆15Apr 25, 2024Updated last year
- ☆13Sep 18, 2025Updated 5 months ago
- ☆17Feb 13, 2023Updated 3 years ago
- ☆14Feb 7, 2023Updated 3 years ago