Client library for generating and using RLN ZK proofs
☆31Oct 4, 2023Updated 2 years ago
Alternatives and similar repositories for rlnjs
Users that are interested in rlnjs are comparing it to the libraries listed below
Sorting:
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- ☆17Mar 18, 2023Updated 2 years ago
- RLN circuits in Circom☆32Jul 13, 2024Updated last year
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- Server for ZKML☆21Mar 5, 2023Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- Zero Knowledge Proof for RSA☆55Jun 19, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆61May 2, 2023Updated 2 years ago
- ☆33Jan 4, 2024Updated 2 years ago
- 鲁班 - a hackathon project for eth waterloo☆17Jul 12, 2023Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- ☆72Mar 5, 2024Updated last year
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Feb 3, 2024Updated 2 years ago
- ☆16Mar 11, 2024Updated last year
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- A universal soundness calculator across hash-based zkEVMs and security regimes☆44Updated this week
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago
- Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …☆41Mar 8, 2023Updated 2 years ago
- A portable library for proving & verifying ethereum's sync committee consensus proofs.☆29Nov 10, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Email verification circuit in halo2☆69Jul 3, 2024Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Feb 18, 2026Updated last week
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆19Aug 15, 2023Updated 2 years ago
- A template for creating a UniRep attester.☆23Mar 12, 2024Updated last year