angeris / spla-repo
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
☆20Updated 9 months ago
Alternatives and similar repositories for spla-repo:
Users that are interested in spla-repo are comparing it to the libraries listed below
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- ☆33Updated last year
- ☆40Updated 2 years ago
- The entry point for Rust projects to be run on Valida☆10Updated last month
- client side proving☆28Updated last month
- RLN on KZG☆20Updated last year
- A port of TinySMPC into Rust.☆22Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- Client side zero-knowledge proving.☆48Updated this week
- iris-mpc repository☆27Updated this week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated 11 months ago
- 🍭 A Solidity library for prime field arithmetic☆16Updated last year
- Axiom smart contracts☆26Updated last year
- ☆31Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- ☆33Updated last year
- ☆40Updated 3 years ago
- Andromeda revm execution service☆31Updated 8 months ago
- ☆17Updated 2 weeks ago
- Honk Verifier in Solidity☆50Updated 6 months ago
- On-chain Ethereum light client built with SP1☆45Updated last week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 5 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Spartan on Arkworks☆41Updated 4 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Ethereum stateless tools☆46Updated this week
- Benchmarking Polynomial Commitments☆49Updated last year