操作码

以下列表展示了 Aleo 指令支持的标准操作码和密码学操作码。

标准操作码表

密码学操作码表

规范

以下是 Aleo 虚拟机 (AVM) 中每个操作码的规范。

abs

返回顶部

描述

计算输入的绝对值，检查溢出，将结果存储在目标寄存器中。

对于整数类型，添加约束以检查下溢。如果需要回绕语义，请参阅 abs.w 指令。当下溢发生在有符号整数类型的最小值时会发生此情况。例如，abs -128i8 会导致下溢，因为 128 无法表示为 i8。

示例用法

abs r0 into r1;

支持的类型

abs.w

返回顶部

描述

计算输入的绝对值，在类型边界处回绕，并将结果存储在目标寄存器中。

示例用法

abs.w r0 into r1;

支持的类型

add

返回顶部

描述

将 first 与 second 相加，将结果存储在 destination 中。

对于整数类型，添加约束以检查溢出。如果需要整数类型的回绕语义，请参阅 add.w 指令。

示例用法

add r0 r1 into r2;

支持的类型

add.w

返回顶部

描述

将 first 与 second 相加，在类型边界处回绕，并将结果存储在 destination 中。

示例用法

add.w r0 r1 into r2;

支持的类型

and

返回顶部

描述

对整数（按位）或布尔类型的 first 和 second 执行与运算， 将结果存储在 destination 中。

示例用法

and r0 r1 into r2;

支持的类型

assert.eq

返回顶部

描述

检查 first 和 second 是否相等，如果不相等则停止。

示例用法

assert.eq r0 r1;

支持的类型

assert.neq

返回顶部

描述

检查 first 和 second 是否不相等，如果相等则停止。

示例用法

assert.neq r0 r1;

支持的类型

branch.eq

返回顶部

描述

命令 branch.eq <first> <second> to <destination> 在 first 和 second 相等时将执行分支到 destination 指示的 position。此命令仅限于 finalize 作用域，目标必须跟在命令之后。目前不支持向后分支。

示例用法

branch.eq r0 r1 to skip;

branch.neq

返回顶部

描述

命令 branch.neq <first> <second> to <destination> 在 first 和 second 不相等时将执行分支到 destination 指示的 position。此命令仅限于 finalize 作用域，目标必须跟在命令之后。目前不支持向后分支。

示例用法

branch.neq r0 r1 to process;

cast

返回顶部

描述

允许在不同字面量之间进行类型转换。

示例用法

input r0 as field.private;
cast r0 into r1 as group;
cast r0 into r2 as u8;
cast r3 r4 r5 r6 into r7 as [boolean; 4u32];
cast r7 into r8 as [[boolean; 4u32]; 1u32];

支持的类型

cast.lossy

返回顶部

描述

执行带有有损截断的类型转换。

示例用法

input r0 as field.private;
cast r0 into r1 as group;
cast r0 into r2 as u8;
cast.lossy r0 into r3 as u8; // r0的低8位被提取到u8中并放入r3中

支持的类型

commit.bhp256

返回顶部

描述

对 first 中 256 位分块的输入以及 second 中的随机数计算 Bowe-Hopwood-Pedersen 承诺，将承诺存储在 destination 中。随机数应始终为 Scalar 值，生成的承诺将始终为 Address、Field 或 Group 值，通过指令末尾的 as 指定。

如果给定输入小于 129 位，编译器将抛出错误。

示例用法

commit.bhp256 r0 r1 into r2 as address;

支持的类型

commit.bhp512

返回顶部

描述

对 first 中 512 位分块的输入以及 second 中的随机数计算 Bowe-Hopwood-Pedersen 承诺，将承诺存储在 destination 中。随机数应始终为 Scalar 值，生成的承诺将始终为 Address、Field 或 Group 值，通过指令末尾的 as 指定。

如果给定输入小于 171 位，编译器将抛出错误。

示例用法

commit.bhp512 r0 r1 into r2 as field;

支持的类型

commit.bhp768

返回顶部

描述

对 first 中 768 位分块的输入以及 second 中的随机数计算 Bowe-Hopwood-Pedersen 承诺，将承诺存储在 destination 中。随机数应始终为 Scalar 值，生成的承诺将始终为 Address、Field 或 Group 值，通过指令末尾的 as 指定。

如果给定输入小于 129 位，编译器将抛出错误。

示例用法

commit.bhp768 r0 r1 into r2 as group;

支持的类型

commit.bhp1024

返回顶部

描述

对 first 中 1024 位分块的输入以及 second 中的随机数计算 Bowe-Hopwood-Pedersen 承诺，将承诺存储在 destination 中。随机数应始终为 Scalar 值，生成的承诺将始终为 Address、Field 或 Group 值，通过指令末尾的 as 指定。

如果给定输入小于 171 位，编译器将抛出错误。

示例用法

commit.bhp1024 r0 r1 into r2 as address;

支持的类型

commit.ped64

返回顶部

描述

对 first 中最大 64 位的输入以及 second 中的随机数计算 Pedersen 承诺，将承诺存储在 destination 中。随机数应始终为 Scalar 值，生成的承诺为 Address、Field 或 Group 值，通过指令末尾的 as 指定。

如果给定的 Struct 值超过 64 位限制，编译器将抛出错误。

示例用法

commit.ped64 r0 r1 into r2 as field;

支持的类型

commit.ped128

返回顶部

描述

对 first 中最大 128 位的输入以及 second 中的随机数计算 Pedersen 承诺，将承诺存储在 destination 中。随机数应始终为 Scalar 值，生成的承诺为 Address、Field 或 Group 值，通过指令末尾的 as 指定。

如果给定的 Struct 值超过 128 位限制，编译器将抛出错误。

示例用法

commit.ped128 r0 r1 into r2 as group;

支持的类型

div

返回顶部

描述

将 first 除以 second，将结果存储在 destination 中。除以零时停止。

对于整数类型，此运算执行截断除法。此外，添加约束以检查下溢。当下溢发生在有符号整数类型的最小值除以 -1 时。例如，div -128i8 -1i8 会导致下溢，因为 128 无法表示为 i8。

如果需要整数类型的回绕语义，请参阅 div.w 指令。

示例用法

div r0 r1 into r2;

支持的类型

div.w

返回顶部

描述

将 first 除以 second，在类型边界处回绕，并将结果存储在 destination 中。

示例用法

div.w r0 r1 into r2;

支持的类型

double

返回顶部

描述

将输入加倍，将结果存储在 destination 中。

示例用法

double r0 into r1;

支持的类型

gt

返回顶部

描述

检查 first 是否大于 second，将结果存储在 destination 中。

示例用法

gt r0 r1 into r2;

支持的类型

gte

返回顶部

描述

检查 first 是否大于等于 second，将结果存储在 destination 中。

示例用法

gte r0 r1 into r2;

支持的类型

hash.bhp256

返回顶部

描述

对 first 中 256 位分块的输入计算 Bowe-Hopwood-Pedersen 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

如果给定输入小于 129 位，编译器将抛出错误。

示例用法

hash.bhp256 r0 into r1 as address;

支持的类型

hash.bhp512

返回顶部

描述

对 first 中 512 位分块的输入计算 Bowe-Hopwood-Pedersen 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

如果给定输入小于 171 位，编译器将抛出错误。

示例用法

hash.bhp512 r0 into r1 as field;

支持的类型

hash.bhp768

返回顶部

描述

对 first 中 768 位分块的输入计算 Bowe-Hopwood-Pedersen 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

如果给定输入小于 129 位，编译器将抛出错误。

示例用法

hash.bhp768 r0 into r1 as group;

支持的类型

hash.bhp1024

返回顶部

描述

对 first 中 1024 位分块的输入计算 Bowe-Hopwood-Pedersen 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

如果给定输入小于 171 位，编译器将抛出错误。

示例用法

hash.bhp1024 r0 into r1 as scalar;

支持的类型

hash.keccak256

返回顶部

描述

对 first 执行 Keccak 哈希，将 256 位摘要存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.keccak256 r0 into r1 as address;

支持的类型

hash.keccak384

返回顶部

描述

对 first 执行 Keccak 哈希，将 384 位摘要存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.keccak384 r0 into r1 as field;

支持的类型

hash.keccak512

返回顶部

描述

对 first 执行 Keccak 哈希，将 512 位摘要存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.keccak512 r0 into r1 as group;

支持的类型

hash.ped64

返回顶部

描述

对 first 中最大 64 位的输入计算 Pedersen 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

如果给定的 Struct 值超过 64 位限制，编译器将抛出错误。

示例用法

hash.ped64 r0 into r1 as address;

支持的类型

hash.ped128

返回顶部

描述

对 first 中最大 128 位的输入计算 Pedersen 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

如果给定的 Struct 值超过 128 位限制，编译器将抛出错误。

示例用法

hash.ped128 r0 into r1 as field;

支持的类型

hash.psd2

返回顶部

描述

对 first 中的输入计算输入速率为 2 的 Poseidon 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.psd2 r0 into r1 as group;

支持的类型

hash.psd4

返回顶部

描述

对 first 中的输入计算输入速率为 4 的 Poseidon 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.psd4 r0 into r1 as scalar;

支持的类型

hash.psd8

返回顶部

描述

对 first 中的输入计算输入速率为 8 的 Poseidon 哈希，将哈希存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.psd8 r0 into r1 as address;

支持的类型

hash.sha3_256

返回顶部

描述

对 first 中的输入计算 SHA3-256 哈希，将 256 位摘要存储在 destination 中。生成的哈希将始终为算术类型（U8、U16、U32、U64、U128、I8、I16、I32、I64、I128、Field、Group 或 Scalar）或 Address 值，通过指令末尾的 as 指定。

示例用法

hash.sha3_256 r0 into r1 as field;

支持的类型