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.27;

contract C2Evm {
    error E1(); // InvalidRecipient
    error E2(); // PaymentTooLow
    error E3(); // Overpayment
    error E4(); // TransferFailed

    event T(  // Transfer event with shortened name
        uint256 indexed l,  // l2LinkedId
        uint256 indexed n,  // nonce
        address r,  // recipient
        uint256 a          // amount
    );

    struct PaymentInfo {
        uint96 p;   // paid
        uint32 n;   // nonce
        uint128 u;  // unused
    }
    
    mapping(bytes32 => PaymentInfo) private s; // alreadyPaid with shortened name

    uint256 private constant M = 1; // MIN_PAYMENT

    /// @dev createAlreadyPaidKey optimized
    function k(address r, uint256 l) internal pure returns(bytes32 o) {
        assembly {
            mstore(0x00, r)
            mstore(0x20, l)
            o := keccak256(0x00, 0x40)
        }
    }

    function transfer(
        uint256 l,        // l2LinkedId
        uint256 m,        // maxAllowedPayment
        address payable r // recipient
    ) external payable {
        if (r == address(0) || r == address(this)) revert E1();
        if (msg.value < M) revert E2();

        bytes32 x = k(r, l);
        PaymentInfo storage i = s[x];
        
        unchecked {
            uint256 p = uint256(i.p) + msg.value;
            if (p > m) revert E3();
            
            uint256 n = i.n;
            uint256 newNonce = n + 1;
            
            assembly {
                let slot := sload(i.slot)
                slot := 0
                slot := or(slot, p)
                slot := or(slot, shl(96, newNonce))
                sstore(i.slot, slot)
            }
            
            assembly {
                if iszero(call(gas(), r, callvalue(), 0, 0, 0, 0)) {
                    mstore(0x00, 0xf67db1ed) // E4 selector
                    revert(0x00, 0x04)
                }
            }
            
            emit T(l, n, r, msg.value);
        }
    }

    function paidFor(
        uint256 l,
        address r
    ) external view returns (uint256) {
        return uint256(s[k(r, l)].p);
    }

    function getNonce(
        uint256 l,
        address r
    ) external view returns (uint256) {
        return uint256(s[k(r, l)].n);
    }
}

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"name":"E1","type":"error"},{"inputs":[],"name":"E2","type":"error"},{"inputs":[],"name":"E3","type":"error"},{"inputs":[],"name":"E4","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"l","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"n","type":"uint256"},{"indexed":false,"internalType":"address","name":"r","type":"address"},{"indexed":false,"internalType":"uint256","name":"a","type":"uint256"}],"name":"T","type":"event"},{"inputs":[{"internalType":"uint256","name":"l","type":"uint256"},{"internalType":"address","name":"r","type":"address"}],"name":"getNonce","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"l","type":"uint256"},{"internalType":"address","name":"r","type":"address"}],"name":"paidFor","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"l","type":"uint256"},{"internalType":"uint256","name":"m","type":"uint256"},{"internalType":"address payable","name":"r","type":"address"}],"name":"transfer","outputs":[],"stateMutability":"payable","type":"function"}]

6080604052348015600f57600080fd5b506103048061001f6000396000f3fe6080604052600436106100345760003560e01c8063289df2cb14610039578063736d975f1461004e5780637385661514610080575b600080fd5b61004c610047366004610265565b6100a0565b005b34801561005a57600080fd5b5061006e61006936600461029e565b6101d0565b60405190815260200160405180910390f35b34801561008c57600080fd5b5061006e61009b36600461029e565b61020f565b6001600160a01b03811615806100be57506001600160a01b03811630145b156100dc5760405163440a57bf60e01b815260040160405180910390fd5b60013410156100fe57604051633485c51360e21b815260040160405180910390fd5b6000818152602084815260408083208084529183905290912080546bffffffffffffffffffffffff1634018481111561014a57604051632fd8225d60e21b815260040160405180910390fd5b8154600160601b900463ffffffff1660018101606081901b831784556000808080348a5af16101815763f67db1ed60005260046000fd5b604080516001600160a01b038816815234602082015283918a917fa42a1fb0456e2cc8990290e31b24166458f3ac8beb986ab6c26f47fdc486d594910160405180910390a35050505050505050565b60008060006101e9848660009182526020526040902090565b81526020810191909152604001600020546bffffffffffffffffffffffff169392505050565b6000806000610228848660009182526020526040902090565b8152602081019190915260400160002054600160601b900463ffffffff169392505050565b6001600160a01b038116811461026257600080fd5b50565b60008060006060848603121561027a57600080fd5b833592506020840135915060408401356102938161024d565b809150509250925092565b600080604083850312156102b157600080fd5b8235915060208301356102c38161024d565b80915050925092905056fea26469706673582212208b94f9403ebb59785845f1986935854b3bd10040cdd678bbb340821b34ddc4a464736f6c634300081b0033

0x6080604052600436106100345760003560e01c8063289df2cb14610039578063736d975f1461004e5780637385661514610080575b600080fd5b61004c610047366004610265565b6100a0565b005b34801561005a57600080fd5b5061006e61006936600461029e565b6101d0565b60405190815260200160405180910390f35b34801561008c57600080fd5b5061006e61009b36600461029e565b61020f565b6001600160a01b03811615806100be57506001600160a01b03811630145b156100dc5760405163440a57bf60e01b815260040160405180910390fd5b60013410156100fe57604051633485c51360e21b815260040160405180910390fd5b6000818152602084815260408083208084529183905290912080546bffffffffffffffffffffffff1634018481111561014a57604051632fd8225d60e21b815260040160405180910390fd5b8154600160601b900463ffffffff1660018101606081901b831784556000808080348a5af16101815763f67db1ed60005260046000fd5b604080516001600160a01b038816815234602082015283918a917fa42a1fb0456e2cc8990290e31b24166458f3ac8beb986ab6c26f47fdc486d594910160405180910390a35050505050505050565b60008060006101e9848660009182526020526040902090565b81526020810191909152604001600020546bffffffffffffffffffffffff169392505050565b6000806000610228848660009182526020526040902090565b8152602081019190915260400160002054600160601b900463ffffffff169392505050565b6001600160a01b038116811461026257600080fd5b50565b60008060006060848603121561027a57600080fd5b833592506020840135915060408401356102938161024d565b809150509250925092565b600080604083850312156102b157600080fd5b8235915060208301356102c38161024d565b80915050925092905056fea26469706673582212208b94f9403ebb59785845f1986935854b3bd10040cdd678bbb340821b34ddc4a464736f6c634300081b0033