A toolkit to compile and debug circom circuit.
☆27Sep 27, 2023Updated 2 years ago
Alternatives and similar repositories for snarkit
Users that are interested in snarkit are comparing it to the libraries listed below
Sorting:
- 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
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆21Oct 23, 2023Updated 2 years ago
- ☆14Dec 13, 2024Updated last year
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- ☆19May 5, 2020Updated 5 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Mar 20, 2024Updated last year
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- ☆16Mar 11, 2024Updated last year
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆13Aug 23, 2023Updated 2 years ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 5 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- STARK book☆20Sep 25, 2024Updated last year
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- ☆10Sep 22, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 5 months ago
- ☆23Oct 6, 2020Updated 5 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- Materials for Edcon 2019 webcast☆11Mar 31, 2019Updated 6 years ago
- ☆13Sep 18, 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
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Jul 5, 2023Updated 2 years ago
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago