Contract

Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity =0.8.24;

import {IZkEvmVerifier} from "./IZkEvmVerifier.sol";

// solhint-disable no-inline-assembly

contract ZkEvmVerifierV1 is IZkEvmVerifier {
    /**********
     * Errors *
     **********/

    /// @dev Thrown when aggregate zk proof verification is failed.
    error VerificationFailed();

    /*************
     * Constants *
     *************/

    /// @notice The address of highly optimized plonk verifier contract.
    address public immutable plonkVerifier;

    /***************
     * Constructor *
     ***************/

    constructor(address _verifier) {
        plonkVerifier = _verifier;
    }

    /*************************
     * Public View Functions *
     *************************/

    /// @inheritdoc IZkEvmVerifier
    function verify(bytes calldata aggrProof, bytes32 publicInputHash) external view override {
        address _verifier = plonkVerifier;
        bool success;

        // 1. the first 12 * 32 (0x180) bytes of `aggrProof` is `accumulator`
        // 2. the rest bytes of `aggrProof` is the actual `batch_aggregated_proof`
        // 3. each byte of the `public_input_hash` should be converted to a `uint256` and the
        //    1024 (0x400) bytes should inserted between `accumulator` and `batch_aggregated_proof`.
        assembly {
            let p := mload(0x40)
            calldatacopy(p, aggrProof.offset, 0x180)
            for {
                let i := 0
            } lt(i, 0x400) {
                i := add(i, 0x20)
            } {
                mstore(add(p, sub(0x560, i)), and(publicInputHash, 0xff))
                publicInputHash := shr(8, publicInputHash)
            }
            calldatacopy(add(p, 0x580), add(aggrProof.offset, 0x180), sub(aggrProof.length, 0x180))

            success := staticcall(gas(), _verifier, p, add(aggrProof.length, 0x400), 0x00, 0x00)
        }

        if (!success) {
            revert VerificationFailed();
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.24;

interface IZkEvmVerifier {
    /// @notice Verify aggregate zk proof.
    /// @param aggrProof The aggregated proof.
    /// @param publicInputHash The public input hash.
    function verify(bytes calldata aggrProof, bytes32 publicInputHash) external view;
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "evmVersion": "cancun",
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_verifier","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"VerificationFailed","type":"error"},{"inputs":[],"name":"plonkVerifier","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"aggrProof","type":"bytes"},{"internalType":"bytes32","name":"publicInputHash","type":"bytes32"}],"name":"verify","outputs":[],"stateMutability":"view","type":"function"}]

60a060405234801561000f575f80fd5b5060405161025938038061025983398101604081905261002e9161003f565b6001600160a01b031660805261006c565b5f6020828403121561004f575f80fd5b81516001600160a01b0381168114610065575f80fd5b9392505050565b6080516101d06100895f395f818160520152609501526101d05ff3fe608060405234801561000f575f80fd5b5060043610610034575f3560e01c80636b40634114610038578063e4886e501461004d575b5f80fd5b61004b610046366004610129565b610090565b005b6100747f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b6040517f0000000000000000000000000000000000000000000000000000000000000000905f906101808682375f5b6104008110156100e55760ff851661056082900383015260089490941c936020016100bf565b50610180850361018087016105808301375f80610400870183865afa915050806101225760405163439cc0cd60e01b815260040160405180910390fd5b5050505050565b5f805f6040848603121561013b575f80fd5b833567ffffffffffffffff80821115610152575f80fd5b818601915086601f830112610165575f80fd5b813581811115610173575f80fd5b876020828501011115610184575f80fd5b602092830198909750959091013594935050505056fea26469706673582212204b893321eb19b4bb10acdbd0440d0e25aee69932481164068dc190f24f21c91a64736f6c634300081800330000000000000000000000002293cd12e8564e8219d314b075867c2f66ac6941

0x608060405234801561000f575f80fd5b5060043610610034575f3560e01c80636b40634114610038578063e4886e501461004d575b5f80fd5b61004b610046366004610129565b610090565b005b6100747f0000000000000000000000002293cd12e8564e8219d314b075867c2f66ac694181565b6040516001600160a01b03909116815260200160405180910390f35b6040517f0000000000000000000000002293cd12e8564e8219d314b075867c2f66ac6941905f906101808682375f5b6104008110156100e55760ff851661056082900383015260089490941c936020016100bf565b50610180850361018087016105808301375f80610400870183865afa915050806101225760405163439cc0cd60e01b815260040160405180910390fd5b5050505050565b5f805f6040848603121561013b575f80fd5b833567ffffffffffffffff80821115610152575f80fd5b818601915086601f830112610165575f80fd5b813581811115610173575f80fd5b876020828501011115610184575f80fd5b602092830198909750959091013594935050505056fea26469706673582212204b893321eb19b4bb10acdbd0440d0e25aee69932481164068dc190f24f21c91a64736f6c63430008180033

0000000000000000000000002293cd12e8564e8219d314b075867c2f66ac6941

-----Decoded View---------------
Arg [0] : _verifier (address): 0x2293cd12e8564e8219d314b075867c2f66ac6941

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000002293cd12e8564e8219d314b075867c2f66ac6941