Precompile Contracts

On top of a set of opcodes, EVM also offers advanced functionalities through precompiled contracts. These are special contracts bundled with EVM at fixed addresses that can be called with a determined gas. The gas is purely the contractual cost, neither the cost of the call itself nor the instructions to put the parameters in memory.

Precompiled contract addresses start from 1 and increment for each contract. New hardforks may introduce new precompiled contracts. Similar to the regular contracts, new contracts are called from opcodes with instructions, such as CALL.

For all precompiled contracts, inputs that are shorter than expected are assumed to be virtually padded with zeros at the end, whereas any surplus bytes at the end of inputs that are longer than expected are ignored.

The address precompile contract is described by the last 2 bytes:

Byte range [0..18]	Byte range [18..20]
0000000000000000	addr

EcRecover

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000001	3000	hash, v, r, s	publicAddress

EcRecover is a elliptic curve digital signature algorithm (ECDSA) public key recovery function. For details, see this page.

SHA2-256

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000002	60	data	hash

SHA2-256 is the hash function used in Bitcoin. For details, see this page

RIPEMD-160

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000003	600	data	hash

A hash function. For details, see this page.

Identity

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000004	15	data	data

Identity copies and returns input data. For details, see this page.

Modexp

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000005	200	Bsize, Esize, Msize, B, E, M	value

Modexp is an arbitrary-precision exponentiation under modulo. For details, see this page.

EcAdd

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000006	150	x1, x2, y1, y2	x, y

EcAdd is the point addition (ADD) on the elliptic curve alt_bn128. For details, see this page.

EcMul

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000007	6000	x1, x2, s	x, y

EcMul is the scalar multiplication (MUL) on the elliptic curve alt_bn128. For details, see this page.

EcPairing

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000008	45000	x1, y1, x2, y2, …, xk, yk	success

EcPairing is the bilinear function on groups on the elliptic curve alt_bn128. For details, see this page.

Blake2f

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000009	0	rounds, h, m, t, f	h

Blake2f is the compression function F used in the BLAKE2 cryptographic hashing algorithm. For details, see this page.

GetHeader

🚧 Information updates in progress - stay tuned!

GetCell

🚧 Information updates in progress - stay tuned!

CallCkbVm

ADDRESS	MINIMUM GAS	INPUT	OUTPUT
0x00000000000000000104	300	cell dep, args	big-endian bytes

Call a script that runs in CKB-VM and return the execute result.

Inputs

Click here to view ABI

struct CellDep {
    OutPoint outPoint;
    uint32   index;
}

struct InputArgs {
    bytes[] args;
}

Output

Click here to view ABI

struct Result {
    int8 ret;
}

Example

Click here to view example

contract CallCkbVm {
    event CallCkbVmEvent(int8);
    event NotGetCellEvent();

    int8 ret;

    function testCallCkbVm(
        bytes32 txHash,
        uint32 index,
        uint8 depType,
        bytes[] memory input_args
    ) public {
        OutPoint memory outPoint = OutPoint(txHash, index);
        (bool isSuccess, bytes memory res) = address(0x0104).staticcall(
            abi.encode(CellDep(outPoint, depType), input_args)
        );

        if (isSuccess) {
            ret = int8(uint8(res[0]));
            emit CallCkbVmEvent(ret);
        } else {
            emit NotGetCellEvent();
        }
    }

    function callCkbVm() public view returns (int8) {
        return ret;
    }
}

VerifyInCkbVm

🚧 Information updates in progress - stay tuned!