worldcoin / semaphore-rs
π¦ Rust support library for semaphore
β139Updated 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.β178Updated 6 months ago
- Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.β128Updated 2 weeks ago
- signup-sequencer repositoryβ73Updated last week
- ARCHIVED. Human verification for Lens Protocol with World ID.β96Updated 8 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.β124Updated this week
- β114Updated 6 months ago
- β150Updated 11 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β174Updated 6 months ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSAβ137Updated 2 months ago
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β175Updated last month
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated last year
- halo2 ecc circuitβ116Updated 2 years ago
- β227Updated this week
- Technical documentation of the zkEVMβ91Updated 8 months ago
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networksβ92Updated 2 weeks ago
- Experimental folding schemes libraryβ224Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β211Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β81Updated this week
- Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.β46Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β158Updated last month
- β210Updated 2 weeks ago
- Middleware to compile Circom circuits to Nova proverβ237Updated 11 months ago
- semaphore-mtb repositoryβ31Updated 2 weeks ago
- β180Updated 2 weeks ago
- ED25519 implementation in Circomβ112Updated last year
- A curated list of zkVM, zero-knowledge virtual machineβ165Updated this week
- A Cairo VM prover implemented using Winterfellβ158Updated 2 years ago
- Generates a stark from a pilβ97Updated 6 months ago
- β265Updated 5 months ago
- β191Updated last month