Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

contract PointEvaluationPrecompileDemo {
    address private constant POINT_EVALUATION_PRECOMPILE_ADDRESS = 0x000000000000000000000000000000000000000A;
    uint256 private constant BLS_MODULUS = 52435875175126190479447740508185965837690552500527637822603658699938581184513;
    uint256 private constant HASH_OPCODE_BYTE = 0x49;

    event ProofVerificationSuccess(bytes32 indexed versionedHash, uint256 indexed point, bytes32 indexed claim);
    event ProofVerificationFailure(bytes32 indexed versionedHash, uint256 indexed point, bytes32 indexed claim);

    function verifyProofAndEmitEvent(
        bytes32 claim,
        bytes memory commitment,
        bytes memory proof
    ) external {
        require(commitment.length == 48, "Commitment must be 48 bytes");
        require(proof.length == 48, "Proof must be 48 bytes");

        bytes32 versionedHash = blobhash(0);

        // Compute random challenge point.
        uint256 point = uint256(keccak256(abi.encodePacked(versionedHash))) % BLS_MODULUS;

        bytes memory pointEvaluationCalldata = abi.encodePacked(
            versionedHash,
            point,
            claim,
            commitment,
            proof
        );

        (bool success,) = POINT_EVALUATION_PRECOMPILE_ADDRESS.staticcall(pointEvaluationCalldata);

        if (success) {
            emit ProofVerificationSuccess(versionedHash, point, claim);
        } else {
            emit ProofVerificationFailure(versionedHash, point, claim);
        }
    }
}

{
  "optimizer": {
    "enabled": true,
    "runs": 2000000
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "cancun",
  "viaIR": false,
  "libraries": {}
}

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"versionedHash","type":"bytes32"},{"indexed":true,"internalType":"uint256","name":"point","type":"uint256"},{"indexed":true,"internalType":"bytes32","name":"claim","type":"bytes32"}],"name":"ProofVerificationFailure","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"versionedHash","type":"bytes32"},{"indexed":true,"internalType":"uint256","name":"point","type":"uint256"},{"indexed":true,"internalType":"bytes32","name":"claim","type":"bytes32"}],"name":"ProofVerificationSuccess","type":"event"},{"inputs":[{"internalType":"bytes32","name":"claim","type":"bytes32"},{"internalType":"bytes","name":"commitment","type":"bytes"},{"internalType":"bytes","name":"proof","type":"bytes"}],"name":"verifyProofAndEmitEvent","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506104958061001d5f395ff3fe608060405234801561000f575f80fd5b5060043610610029575f3560e01c8063a2a388fd1461002d575b5f80fd5b61004061003b36600461034f565b610042565b005b81516030146100b2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f436f6d6d69746d656e74206d757374206265203438206279746573000000000060448201526064015b60405180910390fd5b805160301461011d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f50726f6f66206d7573742062652034382062797465730000000000000000000060448201526064016100a9565b604080515f8049602083018190529290917f73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff000000019101604051602081830303815290604052805190602001205f1c61017391906103b7565b90505f828287878760405160200161018f95949392919061041c565b60405160208183030381529060405290505f600a73ffffffffffffffffffffffffffffffffffffffff16826040516101c7919061044d565b5f60405180830381855afa9150503d805f81146101ff576040519150601f19603f3d011682016040523d82523d5f602084013e610204565b606091505b505090508015610242578683857fbc4c4d788e33f289e9922a54af9a1029fe426ca0ce938ddcbd013053590ac15e60405160405180910390a4610272565b8683857fba99d03f384c0c15d04060d550fa4ede7e720a58951ce1ee68f0cd05421002e260405160405180910390a45b50505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f82601f8301126102b7575f80fd5b813567ffffffffffffffff808211156102d2576102d261027b565b604051601f83017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f011681019082821181831017156103185761031861027b565b81604052838152866020858801011115610330575f80fd5b836020870160208301375f602085830101528094505050505092915050565b5f805f60608486031215610361575f80fd5b83359250602084013567ffffffffffffffff8082111561037f575f80fd5b61038b878388016102a8565b935060408601359150808211156103a0575f80fd5b506103ad868287016102a8565b9150509250925092565b5f826103ea577f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b500690565b5f81515f5b8181101561040e57602081850181015186830152016103f4565b505f93019283525090919050565b8581528460208201528360408201525f61044261043c60608401866103ef565b846103ef565b979650505050505050565b5f61045882846103ef565b939250505056fea2646970667358221220b17882b1641cca545969b8e7de1dc1b6c11c110b36a71d2dda89e8b3577963cb64736f6c63430008180033

0x608060405234801561000f575f80fd5b5060043610610029575f3560e01c8063a2a388fd1461002d575b5f80fd5b61004061003b36600461034f565b610042565b005b81516030146100b2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f436f6d6d69746d656e74206d757374206265203438206279746573000000000060448201526064015b60405180910390fd5b805160301461011d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f50726f6f66206d7573742062652034382062797465730000000000000000000060448201526064016100a9565b604080515f8049602083018190529290917f73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff000000019101604051602081830303815290604052805190602001205f1c61017391906103b7565b90505f828287878760405160200161018f95949392919061041c565b60405160208183030381529060405290505f600a73ffffffffffffffffffffffffffffffffffffffff16826040516101c7919061044d565b5f60405180830381855afa9150503d805f81146101ff576040519150601f19603f3d011682016040523d82523d5f602084013e610204565b606091505b505090508015610242578683857fbc4c4d788e33f289e9922a54af9a1029fe426ca0ce938ddcbd013053590ac15e60405160405180910390a4610272565b8683857fba99d03f384c0c15d04060d550fa4ede7e720a58951ce1ee68f0cd05421002e260405160405180910390a45b50505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f82601f8301126102b7575f80fd5b813567ffffffffffffffff808211156102d2576102d261027b565b604051601f83017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f011681019082821181831017156103185761031861027b565b81604052838152866020858801011115610330575f80fd5b836020870160208301375f602085830101528094505050505092915050565b5f805f60608486031215610361575f80fd5b83359250602084013567ffffffffffffffff8082111561037f575f80fd5b61038b878388016102a8565b935060408601359150808211156103a0575f80fd5b506103ad868287016102a8565b9150509250925092565b5f826103ea577f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b500690565b5f81515f5b8181101561040e57602081850181015186830152016103f4565b505f93019283525090919050565b8581528460208201528360408201525f61044261043c60608401866103ef565b846103ef565b979650505050505050565b5f61045882846103ef565b939250505056fea2646970667358221220b17882b1641cca545969b8e7de1dc1b6c11c110b36a71d2dda89e8b3577963cb64736f6c63430008180033