NilFoundation / crypto3-zkView external linksLinks
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
☆33Jul 29, 2024Updated last year
Alternatives and similar repositories for crypto3-zk
Users that are interested in crypto3-zk are comparing it to the libraries listed below
Sorting:
- Circuit components definition library for zkLLVM circuit compiler☆41Sep 7, 2024Updated last year
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆19May 16, 2025Updated 8 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- fft impl for ff::Field☆17May 9, 2024Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- In-EVM Mina State Verification☆81Nov 10, 2023Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆40Feb 17, 2025Updated 11 months ago
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- An elastic proof system based on arkworks☆85Dec 21, 2023Updated 2 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Feb 2, 2023Updated 3 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- In-EVM Solana Light Client State Verification☆36May 10, 2024Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆86Nov 21, 2025Updated 2 months ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆92Jan 27, 2026Updated 2 weeks ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- A Rust library for building R1CS gadgets☆93Oct 14, 2021Updated 4 years ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Compact linkable ring signatures. A modification on MLSAG.☆20May 10, 2020Updated 5 years ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 2 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 4 years ago
- Decentralised Voting Scheme☆16Dec 5, 2021Updated 4 years ago
- ☆33Feb 14, 2025Updated last year
- Novel zero-knowledge proof based social recovery of smart contract wallets☆34Jan 24, 2023Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- ☆42Jul 25, 2024Updated last year
- Poseidon hash function☆79May 11, 2023Updated 2 years ago
- ☆221Jul 29, 2025Updated 6 months ago
- ☆38Sep 29, 2021Updated 4 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- Server for ZKML☆21Mar 5, 2023Updated 2 years ago
- Blind signatures over secp256k1 elliptic curve☆17May 17, 2022Updated 3 years ago