Proof Verifier Contracts — Prover Market

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.

Details

Category: contracts
Files: 14
Chains: Ethereum, Arbitrum, Base, Optimism, Polygon

Solidity ^0.8.24 OpenZeppelin v5 Foundry Ethereum Arbitrum Base Optimism Polygon

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
}