Contains several examples and challenges to use Lambdaworks
☆15Sep 7, 2023Updated 2 years ago
Alternatives and similar repositories for lambdaworks_exercises
Users that are interested in lambdaworks_exercises are comparing it to the libraries listed below
Sorting:
- ☆13Sep 18, 2023Updated 2 years ago
- cairo-by-example.com☆38May 6, 2025Updated 9 months ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- ☆10Sep 15, 2023Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- A library to assist with handling sparse arrays in storage.☆28Jan 26, 2023Updated 3 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Oct 13, 2024Updated last year
- Formal verification of the zkWasm project☆17Aug 13, 2024Updated last year
- ☆16Mar 11, 2024Updated last year
- Tstore huff template☆17Oct 6, 2023Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ☆17Sep 10, 2025Updated 5 months ago
- ☆10Jun 29, 2022Updated 3 years ago
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19May 23, 2023Updated 2 years ago
- STARK book☆20Sep 25, 2024Updated last year
- ☆23Mar 8, 2024Updated last year
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- ☆39Jan 8, 2024Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Feb 13, 2023Updated 3 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- 🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎☆14Oct 8, 2023Updated 2 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- ☆10May 9, 2023Updated 2 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Oct 1, 2024Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- A new type of zk-EVM for L2 rollup☆10Feb 1, 2025Updated last year
- ☆10Sep 22, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago