Autoparallel / learnerLinks
Making learning sh*t less annoying
☆42Updated 11 months ago
Alternatives and similar repositories for learner
Users that are interested in learner are comparing it to the libraries listed below
Sorting:
- ☆17Updated last year
- client side proving☆39Updated 10 months ago
- ☆54Updated 7 months ago
- Modern, idiomatic, well documented abstract algebra for Rust☆58Updated 9 months ago
- ☆31Updated 7 months ago
- Extracting the semantics of Noir to Lean for formal verification☆35Updated last week
- Zig EVM☆34Updated last month
- A simple RISC-V runtime.☆33Updated 4 months ago
- Honk Verifier in Solidity☆50Updated last year
- Rust implementation of KZG point evaluation☆35Updated 5 months ago
- A library for fast NTTs over the Goldilocks prime field☆80Updated last year
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆46Updated 9 months ago
- barretenburg in rust (here we go)☆99Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Updated last year
- Consensus client for Seismic☆58Updated this week
- A suite of portable, extensible `std` components for the superchain.☆21Updated last year
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆46Updated 2 weeks ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Procedural macro for automatically implementing metrics description and initialization.☆23Updated 9 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆43Updated 4 months ago
- Discrete event simulator built in Rust 🦀☆13Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Client side zero-knowledge proving.☆99Updated this week
- RLN on KZG☆21Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 9 months ago
- Macros + Primitives for PADE format☆29Updated 5 months ago
- JSON-RPC, simplified, using tower and axum☆75Updated 3 months ago
- ☆43Updated last year
- Andromeda revm execution service☆32Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago