worldcoin / semaphore-rsLinks
🦀 Rust support library for semaphore
☆178Updated last week
Alternatives and similar repositories for semaphore-rs
Users that are interested in semaphore-rs are comparing it to the libraries listed below
Sorting:
- Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.☆182Updated last week
- signup-sequencer repository☆97Updated last week
- Artificial intelligence and zero knowledge.☆221Updated 2 months ago
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networks☆115Updated last week
- Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.☆65Updated last week
- semaphore-mtb repository☆46Updated last week
- ARCHIVED. Human verification for Lens Protocol with World ID.☆107Updated last year
- MPC Uniqueness Check☆72Updated 7 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack.☆200Updated this week
- Template repository for a World ID☆54Updated 2 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆201Updated last week
- Smart contracts for the WLD token.☆47Updated last week
- contract-deployer repository☆16Updated last week
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 5 months ago
- EigenLayer Rust Developer Tooling☆91Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆145Updated this week
- This repo contains the zkasm source code of the zkEVM☆138Updated 6 months ago
- ☆268Updated last year
- worldcoin-grants-contracts repository☆17Updated last week
- World Chain monorepo☆88Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆126Updated this week
- the race to prove Ethereum in real-time☆132Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 4 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆131Updated 2 weeks ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 6 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆248Updated last week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆75Updated 2 years ago
- Core components of the Miden protocol☆96Updated last week
- ☆97Updated 7 months ago
- Making client-side ZK proving on mobile simple.☆210Updated last week