worldcoin / semaphore-rs
🦀 Rust support library for semaphore
☆142Updated this week
Alternatives and similar repositories for semaphore-rs:
Users that are interested in semaphore-rs are comparing it to the libraries listed below
- Artificial intelligence and zero knowledge.☆182Updated 7 months ago
- Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.☆135Updated 2 weeks ago
- signup-sequencer repository☆73Updated this week
- ARCHIVED. Human verification for Lens Protocol with World ID.☆98Updated 9 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆133Updated this week
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networks☆92Updated last month
- ☆150Updated last year
- halo2 ecc circuit☆116Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- ☆114Updated 6 months ago
- Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.☆46Updated last week
- DSL for Halo2 circuits☆187Updated 4 months ago
- ☆181Updated last month
- Template for integrating RISC Zero and Ethereum using Foundry☆120Updated last week
- ☆214Updated 2 weeks ago
- Cryptographic primitives used in Polygon Miden rollup☆111Updated this week
- Experimental folding schemes library☆228Updated last week
- Technical documentation of the zkEVM☆91Updated 9 months ago
- ☆234Updated last week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated this week
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆251Updated 2 weeks ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated 2 months ago
- Specs for Ethereum's KZG Powers of Tau Ceremony☆109Updated 2 years ago
- List of halo2-related resources☆191Updated last month
- Generates a stark from a pil☆96Updated 7 months ago
- Multi-party computation libraries written in Rust 🦀☆234Updated this week
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- A STARK-based VM focused on code reuse, performance, and modularity☆314Updated 3 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 6 months ago