☆14Dec 13, 2024Updated last year
Alternatives and similar repositories for circom-stark
Users that are interested in circom-stark are comparing it to the libraries listed below
Sorting:
- ☆10Sep 15, 2023Updated 2 years ago
- Anonymous Proof of Ethereum Address Ownership☆43Sep 23, 2024Updated last year
- The PSE website☆26Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- .ptau deserializer for gnark groth16 bn254 trusted setup☆26Mar 28, 2025Updated 11 months ago
- ☆18Mar 28, 2023Updated 2 years ago
- ☆33Sep 22, 2023Updated 2 years ago
- Verify JWTs using SNARK circuits☆29Jul 15, 2024Updated last year
- Verify a chain of x509 certificates in halo2☆33Nov 30, 2023Updated 2 years ago
- A Language Server Protocol Implementation for Circom☆33Jun 3, 2023Updated 2 years ago
- ☆21Aug 23, 2024Updated last year
- Noir implementation of RSA-verify☆44Dec 20, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆32Apr 15, 2024Updated last year
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- 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
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated last year
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆115Aug 2, 2022Updated 3 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- ☆13Nov 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
- ☆14Oct 27, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 2 years ago
- a reference on testing and constraining circom☆21Oct 2, 2024Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- ☆23Mar 8, 2024Updated last year
- ☆13Dec 13, 2021Updated 4 years ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- Anonymous chat using RLN and InterRep☆39May 1, 2023Updated 2 years ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- ☆39Jan 8, 2024Updated 2 years ago