angeris / spla-repo
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
☆20Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for spla-repo
- 🍭 A Solidity library for prime field arithmetic☆16Updated 9 months ago
- ☆30Updated 3 weeks ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- ☆31Updated 8 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆29Updated this week
- BN254 Pairing Implementation in Noir☆20Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Macros + Primitives for PADE format☆26Updated last week
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- Herodotus Data Processor using SP1 as backend☆14Updated 2 weeks ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆41Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last month
- ☆32Updated 10 months ago
- Honk Verifier in Solidity☆49Updated last month
- Axiom smart contracts☆27Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Circuits for Pluto's `web-prover`☆12Updated this week
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- EraVM implementation☆20Updated 2 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆12Updated 7 months ago
- Noir implementation of RSA-verify☆41Updated 11 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated last week
- Rust implementation of KZG point evaluation☆27Updated 2 months ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- Sidecar to Enable Rollup Extensions☆55Updated this week
- BigInt library for Aztec's noir language☆31Updated 8 months ago