erhant / lambda-0b10
Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
☆28Updated 3 months ago
Alternatives and similar repositories for lambda-0b10:
Users that are interested in lambda-0b10 are comparing it to the libraries listed below
- Honk Verifier in Solidity☆49Updated 3 months ago
- ☆48Updated 10 months ago
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 3 months ago
- Delve into low-level RISC Zero machine☆27Updated last year
- an introduction to noir, with simple examples☆42Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- RLN on KZG☆17Updated last year
- ☆33Updated last year
- ☆31Updated 10 months ago
- Using folding schemes for a provable bitcoin light client☆31Updated 8 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 4 months ago
- ☆2Updated 10 months ago
- ☆33Updated last year
- Frobenius sumcheck for vectorized boolean ops☆45Updated this week
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated last week
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- STARK book☆20Updated 4 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 2 months ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Rust implementation of KZG point evaluation☆29Updated 2 weeks ago
- My personal notebook for various zk-related topics☆47Updated 3 weeks ago
- ☆48Updated this week
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 2 months ago
- A curated list of awesome things related to learning Circle STARK.☆26Updated 3 months ago
- ZKM Development Template/Framework☆23Updated 2 weeks ago