worldcoin / semaphore-rs
🦀 Rust support library for semaphore
☆148Updated last 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.☆188Updated 9 months ago
- Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.☆146Updated last month
- ARCHIVED. Human verification for Lens Protocol with World ID.☆100Updated 11 months ago
- signup-sequencer repository☆77Updated last week
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networks☆98Updated 2 months ago
- Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.☆51Updated last month
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆157Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack☆155Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆104Updated this week
- semaphore-mtb repository☆33Updated 2 months ago
- ☆268Updated 7 months ago
- Technical documentation of the zkEVM☆89Updated 10 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆92Updated this week
- ☆150Updated last year
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆109Updated 2 months ago
- SNARKifying Ethereum☆78Updated this week
- halo2 ecc circuit☆116Updated 2 years ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆228Updated last week
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆135Updated 7 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆188Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆123Updated 3 weeks ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆135Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- This repo contains the zkasm source code of the zkEVM☆132Updated 2 months ago
- The Ethereum Rollup Improvement Proposal repository☆133Updated last month
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆94Updated 2 weeks ago
- Portal network monitoring application.☆68Updated this week
- DSL for Halo2 circuits☆186Updated 5 months ago
- Making client-side proving on mobile simple.☆161Updated this week