Solutions to exercises from MoonMath Manual to zkSNARKs.
☆93Dec 28, 2025Updated 2 months ago
Alternatives and similar repositories for moonmath
Users that are interested in moonmath are comparing it to the libraries listed below
Sorting:
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- ☆23Mar 8, 2024Updated last year
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆152Oct 14, 2024Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated last year
- ☆34Sep 11, 2023Updated 2 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆223Jul 12, 2024Updated last year
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- ☆17Sep 10, 2025Updated 5 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A testing & development environment for Circom.☆117Jul 31, 2025Updated 7 months ago
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Feb 23, 2026Updated last week
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago
- Noir implementation of RSA-verify☆44Dec 20, 2023Updated 2 years ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆213Updated this week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆32Jun 28, 2024Updated last year
- ☆47Sep 22, 2024Updated last year
- Zero-Knowledge University☆34Aug 14, 2024Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Mar 24, 2025Updated 11 months ago
- A mostly mostly reasonable approach to Huff styling.☆79Aug 8, 2023Updated 2 years ago
- A library to assist with handling sparse arrays in storage.☆28Jan 26, 2023Updated 3 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- ☆19Oct 13, 2023Updated 2 years ago