worldcoin / semaphore-rsLinks
π¦ Rust support library for semaphore
β157Updated 3 weeks ago
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.β148Updated 3 weeks ago
- Artificial intelligence and zero knowledge.β199Updated 3 weeks ago
- signup-sequencer repositoryβ83Updated this week
- ARCHIVED. Human verification for Lens Protocol with World ID.β102Updated last year
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networksβ97Updated 3 weeks ago
- Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.β57Updated 2 weeks ago
- semaphore-mtb repositoryβ37Updated 3 weeks ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.β182Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stackβ167Updated this week
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β184Updated 2 months ago
- This repo contains the zkasm source code of the zkEVMβ135Updated last month
- MPC Uniqueness Checkβ63Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β124Updated this week
- Template repository for a World IDβ39Updated 3 weeks ago
- snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setupβ24Updated 3 weeks ago
- Cryptographic primitives used in Polygon Miden rollupβ113Updated this week
- World Chain monorepoβ62Updated last week
- Stylus VM and Fraud Proverβ120Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β171Updated last month
- πΊ Starknet Rust types π¦β70Updated last week
- β190Updated last month
- Smart contracts for onchain verification of SP1.β98Updated last week
- Efficient, all-vs-all dispute protocol for Optimistic Rollupsβ118Updated this week
- β267Updated 9 months ago
- Core smart contracts of Snapshot X for Starknetβ120Updated 7 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β77Updated last year
- Template repository for an app using NextAuth with Sign In with Worldcoin for user authentication.β56Updated 3 weeks ago
- op-stack state(less) transition in an AWS Nitro enclaveβ69Updated this week
- zkEVM prover in C++β240Updated 4 months ago
- Portal network monitoring application.β73Updated last month