worldcoin / hyrax-pcs-commitLinks
hyrax-pcs-commit repository
☆14Updated last week
Alternatives and similar repositories for hyrax-pcs-commit
Users that are interested in hyrax-pcs-commit are comparing it to the libraries listed below
Sorting:
- Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool☆22Updated last week
- contract-deployer repository☆16Updated last week
- Herodotus Data Processor using SP1 as backend☆16Updated last year
- PBH CTF related code and docs☆27Updated last week
- DEPRECATED. world-tree repository☆33Updated last week
- Transaction sitter. But a glorious monolith.☆28Updated last week
- UPA is the proof aggregation engine built by NEBRA team.☆36Updated 3 weeks ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated 2 years ago
- semaphore-mtb repository☆46Updated last week
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 4 months ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Updated 2 years ago
- customizable halo2 circuits batcher☆31Updated last month
- Verifying Cairo Programs in SP1☆14Updated last year
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- Circuits for Pluto's `web-prover`☆24Updated 7 months ago
- Breathe air☆25Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- A monorepo for vOPRF-based secure nullifiers☆19Updated 8 months ago
- ☆18Updated 4 months ago
- Semaphore Protocol with Noir.☆10Updated 9 months ago
- halo2-lib-eddsa☆11Updated last year
- Binius circuits web demos☆14Updated 11 months ago
- Noir implementation of RSA-verify☆43Updated last year
- ☆25Updated last month
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- ☆31Updated last month
- Contains several examples and challenges to use Lambdaworks☆15Updated 2 years ago