Tag
#verifier
21 repositories
Repos
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Compile Solidity source code and verify its bytecode matches the blockchain
Fullstack Polygon ID verification template for creating VC gated dapps
Various forms of distribution for the Starkware Stone prover and verifier
Libraries and examples for integrating verifiable credentials (VC) and mobile driver's licenses (mDL) into mobile apps.
A client and server-side implementation in PHP of the Secure Remote Password (SRP-6a) protocol.
One substrate, many proofs. Trait-based on-chain verifier library for Solana supporting Groth16, PLONK, FRI-STARK, and Nova.
Component responsible for verifying cross-chain messages and their associated zero-knowledge proofs.
Backend of Fusion - zk-Based Multi-chain Smart Contract Wallet
Circuits of Fusion - zk-Based Multi-chain Smart Contract Wallet
Circom circuits, zkSNARK proof system, and Solidity verifiers for ChainElect’s zero-knowledge voting system.
Contracts of Fusion - zk-Based Multi-chain Smart Contract Wallet
no_std Rust port of cenetex/merkle — single-header C MMR with deterministic byte output. MIT-0.