angeris / spla-repo
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
☆20Updated 6 months ago
Alternatives and similar repositories for spla-repo:
Users that are interested in spla-repo are comparing it to the libraries listed below
- 🍭 A Solidity library for prime field arithmetic☆16Updated 11 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆52Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated last month
- Breathe air☆22Updated 8 months ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- an introduction to noir, with simple examples☆42Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 9 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆30Updated 2 months ago
- Andromeda revm execution service☆30Updated 5 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- Rust implementation of KZG point evaluation☆29Updated this week
- Macros + Primitives for PADE format☆28Updated last week
- Benchmarks of popular zkVMs including Jolt☆58Updated 9 months ago
- Axiom smart contracts☆26Updated last year
- Herodotus Data Processor using SP1 as backend☆15Updated 2 months ago
- ☆31Updated 10 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆28Updated 3 years ago
- Honk Verifier in Solidity☆49Updated 3 months ago
- Suave/TEE PoCs of MEV Resistant AMMs☆39Updated 7 months ago
- Smart contracts for onchain verification of SP1.☆68Updated this week
- ☆28Updated last year
- ☆39Updated 2 years ago
- Zig EVM☆31Updated 3 weeks ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Benchmark of ZKVMs and Proving Schemes☆20Updated last month
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 8 months ago