Zero-Knowledge Proof Verifier

WHAT IT DOES

Zero-Knowledge Proof Verifier is a cryptographic tool that simulates the verification of zero-knowledge proofs against on-chain or provided verification keys. Enter a verification key (VK), proof data, and public inputs — the tool parses the data, computes a deterministic verification simulation, and displays the result with a status badge indicating whether the proof is valid or invalid. It supports multiple verification schemes including Groth16, Plonk, and a generic simulation mode. This is essential for developers testing ZK applications, verifying proofs before submitting them on-chain, debugging proof generation pipelines, or understanding the structure of verification keys and proof data.

HOW TO USE

Connect your wallet using the BGWallet bridge (MetaMask or any Web3 wallet). Enter the verification key (VK) — this can be a JSON object or a hex string. Enter the proof data — also JSON or hex. Optionally, provide public inputs as a comma-separated list of values (hex or decimal). Select the verification scheme: Groth16, Plonk, or Generic (simulation). Click "Verify proof" to perform the verification. The tool parses the data, simulates the verification process, and displays the result with the scheme used, data lengths, public inputs, and a verification status badge (Valid or Invalid). Details about the verification process are shown for debugging purposes.

TECHNICAL MECHANISM

The tool provides a simulation of zero-knowledge proof verification. Real ZK verification on EVM chains is performed by specialized verifier contracts that implement pairing-based cryptography (e.g., Groth16 verifier contracts). This tool simulates the verification process client-side by parsing the verification key and proof data, checking their format and structure, and performing a deterministic "verification" based on a cryptographic hash of the combined data. The result is not cryptographically secure — it is a simulation intended for development, testing, and educational purposes. For production use, actual on-chain verification should be performed using verified verifier contracts. The tool supports both JSON and hex input formats, automatically detecting the format and parsing accordingly. Public inputs are parsed and displayed for reference. The tool does not perform actual elliptic curve pairings or polynomial commitments — these operations are simulated for demonstration.

WHAT IT CANNOT SEE

The tool cannot generate or compute proofs — it only verifies existing proofs that are provided as input. It cannot verify proofs for systems not using EVM-compatible verification schemes (Groth16, Plonk with specific curves that have EVM verifiers). It cannot verify proofs without the corresponding verification key — the VK must match the proving system and circuit used to generate the proof. It cannot verify proofs across different chains — proof verification requires the specific verification key and system parameters. It cannot provide zero-knowledge proof generation or training — the tool is verification-only. It cannot perform actual cryptographic pairing operations or polynomial commitment checks — the verification is simulated and not cryptographically secure. It cannot detect malicious or tampered proof data beyond the simulated verification. The tool is read-only and does not sign any transactions.

PLEASE NOTE

This tool works exclusively with EVM-compatible zero-knowledge proof systems (Groth16, Plonk with EVM verifiers). Other blockchains (Solana, Tron, Starknet, SUI, TON, Aptos, Bitcoin, Cosmos, XRP) use different cryptographic primitives and are not supported. The verification is a simulation for development and testing purposes only — for production use, always use a verified on-chain verifier contract. The tool does not store any data — all operations are performed client-side. The tool is provided as-is with no warranty or liability. This is not a substitute for proper cryptographic verification on-chain.