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
- Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.β138Updated this week
- Artificial intelligence and zero knowledge.β184Updated 8 months ago
- signup-sequencer repositoryβ74Updated this week
- ARCHIVED. Human verification for Lens Protocol with World ID.β98Updated 10 months ago
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networksβ93Updated last month
- Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.β47Updated this week
- semaphore-mtb repositoryβ32Updated last month
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β174Updated 7 months ago
- β150Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.β147Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β92Updated this week
- halo2 ecc circuitβ116Updated 2 years ago
- Cryptographic primitives used in Polygon Miden rollupβ111Updated 2 weeks ago
- Technical documentation of the zkEVMβ89Updated 9 months ago
- Succinct's Production-Grade Proving Engine for the OP Stackβ149Updated this week
- An EVM hash oracle aggregatorβ147Updated 3 weeks ago
- A collection of examples of Cairo smart contracts for Starknet.β144Updated 3 weeks ago
- β182Updated last week
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β178Updated 2 weeks ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β220Updated this week
- DSL for Halo2 circuitsβ187Updated 4 months ago
- Monorepo for OP Stack Types, Components, and Services built in Rust.β177Updated this week
- β266Updated 6 months ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.β134Updated this week
- β114Updated 7 months ago
- β100Updated this week
- Kakarot zkEVM - rewrite in the latest version of Cairoβ136Updated 2 months ago
- β98Updated this week
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.β255Updated last month