Autoparallel / learnerLinks
Making learning sh*t less annoying
☆42Updated 7 months ago
Alternatives and similar repositories for learner
Users that are interested in learner are comparing it to the libraries listed below
Sorting:
- ☆53Updated 3 months ago
- ☆27Updated 4 months ago
- Zig EVM☆32Updated 9 months ago
- client side proving☆34Updated 6 months ago
- ☆16Updated last year
- Honk Verifier in Solidity☆50Updated 11 months ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆67Updated 2 years ago
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- Rust implementation of KZG point evaluation☆33Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 5 months ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆45Updated 5 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Modern, idiomatic, well documented abstract algebra for Rust☆57Updated 5 months ago
- barretenburg in rust (here we go)☆99Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆38Updated last week
- A simple RISC-V runtime.☆32Updated last week
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆50Updated 2 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 10 months ago
- Benchmark of ZKVMs and Proving Schemes☆29Updated 4 months ago
- A consensus client for Reth☆45Updated this week
- On-chain Ethereum light client built with SP1☆70Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 4 months ago
- Discrete event simulator built in Rust 🦀☆13Updated 2 years ago
- A library for fast NTTs over the Goldilocks prime field☆81Updated 11 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 6 months ago
- Binary Proofs, Blazing Fast☆76Updated this week
- A verifiable supercomputer☆74Updated 2 months ago
- PoC of Revm execution in SGX☆80Updated last year
- ☆30Updated 2 years ago