Precompiles
The Bitfinity EVM supports all Ethereum precompiles as well as extra precompiles designed to interact with the Internet Computer blockchain. The ones denoted in bold are extra.
Definitions below from evm.codes.
| Address | Name | Minimum Gas | Input | Output | Description |
|---|---|---|---|---|---|
| 0x01 | ecRecover | 3000 | hash, v, r, s | publicAddress | Elliptic curve digital signature algorithm (ECDSA) public key recovery function |
| 0x02 | SHA2-256 | 60 | data | hash | Hash function |
| 0x03 | RIPEMD-160 | 600 | data | hash | Hash function |
| 0x04 | identity | 15 | data | data | Returns the input |
| 0x05 | modexp | 200 | Bsize, Esize, Msize, B, E, M | value | Arbitrary-precision exponentiation under modulo |
| 0x06 | ecAdd | 150 | x1, y1, x2, y2 | x, y | Point addition (ADD) on the elliptic curve alt_bn128 |
| 0x07 | ecMul | 6000 | x1, y1, s | x, y | Scalar multiplication (MUL) on the elliptic curve alt_bn128 |
| 0x08 | ecPairing | 45000 | x1, y1, x2, y2, ..., xk, yk | success | Bilinear function on groups on the elliptic curve alt_bn128 |
| 0x09 | blake2f | 0 | rounds, h, m, t, f | h | Compression function F used in the BLAKE2 cryptographic hashing algorithm |
| 0xc104f4840573bed437190daf5d2898c2bdf928ac | randomSeed | 0 | . | hash | Returns a hash from a per block entropy source from Internet Computer |
| 0x723ffbaba940e75e7bf5f6d61dcbf8d9a4de0fd7 | predecessorAccountId | 0 | . | accountId | Returns the Internet Computer predecessor account ID |
| 0x0a3540f79be10ef14890e87c1a0040a68cc6af71 | getPromiseResults | 125 | . | data | Returns a Borsh serialized vector of PromiseResult |
| 0x536822d27de53629ef1f84c60555689e9488609f | prepaidGas | 0 | . | value | Returns the prepaid gas in Internet Computer |
Some precompiles currently have a gas value of 0. This is temporary as it is difficult to determine an exact gas value. However, the gas costs for the ones that this applies to are generally negligible.
ECRecover
Spec: Ethereum yellow paper, appendix F
More information about ECDSA can be found here.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | hash | Keccak-256 hash of the transaction |
[32; 63] (32 bytes) | v | Recovery identifier, expected to be either 27 or 28 |
[64; 95] (32 bytes) | r | x-value, expected to be in the range ]0; secp256k1n[ |
[96; 127] (32 bytes) | s | Expected to be in the range ]0; secp256k1n[ |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | publicAddress | The recovered 20-byte address right aligned to 32 bytes |
If an address cannot be recovered, or not enough gas was given, then there is no return data. Please note, that the return is the address that issued the signature but it won't verify the signature.
SHA2-256
Spec: Ethereum yellow paper, appendix E. Precompiled Contracts
More information about SHA2 can be found here.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; length] | data | Data to hash with SHA2-256 |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | hash | The result hash |
If not enough gas was given, then there is no return data.
RIPEMD-160
Spec: Ethereum yellow paper, appendix E. Precompiled Contracts
More information can be found here.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; length] | data | Data to hash with RIPEMD-160 |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | hash | The result 20-byte hash right aligned to 32 bytes |
If not enough gas was given, then there is no return data.
Identity
Spec: Ethereum yellow paper, appendix E. Precompiled Contracts
The identity function is typically used to copy a chunk of memory.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; length] | data | Data to return |
Output
| Byte range | Name | Description |
|---|---|---|
[0; length] | data | Data from input |
If not enough gas was given, then there is no return data.
ModExp
Spec: Ethereum yellow paper, appendix E. Precompiled Contracts
Arbitrary-precision exponentiation under modulo.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | Bsize | Byte size of B |
[32; 63] (32 bytes) | Esize | Byte size of E |
[64; 95] (32 bytes) | Msize | Byte size of M |
[96; 96 + Bsize] | B | Base as unsigned integer |
[96 + Bsize; 96 + Bsize + Esize] | E | Exponent as unsigned integer, if zero, then B ** E will be one |
[96 + Bsize + Esize; 96 + Bsize + Esize + Msize] | M | Modulo as unsigned integer, if zero, then returns zero |
Output
| Byte range | Name | Description |
|---|---|---|
[0; mSize] | value | Result of the computation, with the same number of bytes as M |
If not enough gas was given, then there is no return data.
BN256 Add
Spec: Ethereum yellow paper, appendix E.1 zkSNARK Related Precompiled Contract
The point at infinity is encoded with both fields x and y at 0.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | x1 | X coordinate of the first point on the elliptic curve 'alt_bn128' |
[32; 63] (32 bytes) | y1 | Y coordinate of the first point on the elliptic curve 'alt_bn128' |
[64; 95] (32 bytes) | x2 | X coordinate of the second point on the elliptic curve 'alt_bn128' |
[96; 127] (32 bytes) | y2 | Y coordinate of the second point on the elliptic curve 'alt_bn128' |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | x | X coordinate of the result point on the elliptic curve 'alt_bn128' |
[32; 63] (32 bytes) | y | Y coordinate of the result point on the elliptic curve 'alt_bn128' |
If the input is not valid, or if not enough gas was given, then there is no return data.
BN256 Multiply
Spec: Ethereum yellow paper, appendix E.1 zkSNARK Related Precompiled Contract
The point at infinity is encoded with both fields x and y at 0.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | x1 | X coordinate of the first point on the elliptic curve 'alt_bn128' |
[32; 63] (32 bytes) | y1 | Y coordinate of the first point on the elliptic curve 'alt_bn128' |
[64; 95] (32 bytes) | s | Scalar to use for the multiplication |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | x | X coordinate of the result point on the elliptic curve 'alt_bn128' |
[32; 63] (32 bytes) | y | Y coordinate of the result point on the elliptic curve 'alt_bn128' |
If the input is not valid, or if not enough gas was given, then there is no return data.
BN256 Pairing
Spec: Ethereum yellow paper, appendix E.1 zkSNARK Related Precompiled Contract
The point at infinity is encoded with both fields x and y at 0.
Inputs
The input must always be a multiple of 6 32-byte values. 0 inputs are valid and return 1. One set of inputs are defined as follows:
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | x1 | |
[32; 63] (32 bytes) | y1 | |
[64; 95] (32 bytes) | x3 | |
[96; 127] (32 bytes) | x2 | |
[128; 159] (32 bytes) | y3 | |
[160; 191] (32 bytes) | y2 |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | success | 1 if the pairing was a success, 0 otherwise |
If the input is not valid, or if not enough gas was given, then there is no return data.
Blake2 F
Spec: Ethereum yellow paper, appendix E.2. BLAKE2 Precompiled Contract
The Blake2 F compression algorithm is defined in this RFC, section 3.2.
Inputs
| Byte range | Name | Description |
|---|---|---|
[0; 3] (4 bytes) | rounds | Number of rounds (big-endian unsigned integer) |
[4; 67] (64 bytes) | h | State vector (8 8-byte little-endian unsigned integer) |
[68; 195] (128 bytes) | m | Message block vector (16 8-byte little-endian unsigned integer) |
[196; 211] (16 bytes) | t | Offset counters (2 8-byte little-endian integer) |
[212; 212] (1 byte) | f | Final block indicator flag (0 or 1) |
Output
| Byte range | Name | Description |
|---|---|---|
[0; 63] (64 bytes) | h | State vector (8 8-byte little-endian unsigned integer) |
If the input is not valid, or if not enough gas was given, then there is no return data.
Random Seed
Spec: Pending AIP
A random seed generated per block from Internet Computer.
Inputs
No input is required.
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] (32 bytes) | hash | Random seed bytes |
Predecessor Account ID
Spec: Pending AIP
Returns the Internet Computer predecessor account submitting the transaction.
Inputs
No input is required.
Output
| Byte range | Name | Description |
|---|---|---|
[0; length] (32 bytes) | account id | Internet Computer predecessor account ID |
Get Promise Results
Spec: Pending AIP
Returns the promise results as bytes from executing an Internet Computer promise.
Inputs
No input is required.
Output
| Byte range | Name | Description |
|---|---|---|
borsh([0; length]) | promises | Borsh encoded promises |
Prepaid Gas
Spec: Pending AIP
Returns the prepaid gas denoted in Internet Computer as part of the underlying Internet Computer transaction.
Inputs
No input is required.
Output
| Byte range | Name | Description |
|---|---|---|
[0; 31] | gas | The prepaid gas value |
Spec: Pending AIP