Proof Verifier Contracts — Prover Market

Contract Details

Categorycontracts

Files14

Price$9.99

Tech Stack

Solidity ^0.8.24 OpenZeppelin v5 Foundry

Chains

Ethereum Arbitrum Base Optimism Polygon

Description

Gas-optimized on-chain verifier contracts for common ZK proof systems. Includes Groth16 BN254 verifier, PLONK verifier with custom gates, and a FRI-based STARK verifier. Each contract is auditable, minimal, and designed for production deployment.

Features

✓ Groth16 BN254 verifier with precompile optimization
✓ PLONK verifier with linearization and custom gates
✓ FRI-based STARK verifier for recursive proofs
✓ Unified IProofVerifier interface
✓ Gas benchmarks for each proof system
✓ Verification key registry for multi-circuit support
✓ Ownable2Step for verification key management
✓ Full Foundry test suite with real proof fixtures

proof-verifier-contracts.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;

import "@openzeppelin/contracts/token/ERC20/IERC20.sol";

/// @title Proof Verifier Contracts
/// @notice On-chain verifier contracts for common proof systems.
contract ProofVerifierContracts {
    address public immutable owner;
    uint256 public constant VERSION = 1;

    event Initialized(address indexed deployer);

    constructor() {
        owner = msg.sender;
        emit Initialized(msg.sender);
    }

    // ... full implementation in purchased package
}