zisk-sm-binary 1.1.0-alpha

Binary operations state machine for the ZisK zkVM
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

//! This module defines constants for binary operation opcodes in both 32-bit and 64-bit variants.
//!
//! These constants are derived from the `ZiskOp` enum and represent the numeric opcodes for each
//! operation.

use zisk_core::zisk_ops::ZiskOp;

/// Binary 32 bits opcodes
pub const MINUW_OP: u8 = ZiskOp::MinuW.code();
pub const MINW_OP: u8 = ZiskOp::MinW.code();
pub const MAXUW_OP: u8 = ZiskOp::MaxuW.code();
pub const MAXW_OP: u8 = ZiskOp::MaxW.code();
pub const LTUW_OP: u8 = ZiskOp::LtuW.code();
pub const LTW_OP: u8 = ZiskOp::LtW.code();
pub const GTW_OP: u8 = 0x18;
pub const EQW_OP: u8 = ZiskOp::EqW.code();
pub const ADDW_OP: u8 = ZiskOp::AddW.code();
pub const SUBW_OP: u8 = ZiskOp::SubW.code();
pub const LEUW_OP: u8 = ZiskOp::LeuW.code();
pub const LEW_OP: u8 = ZiskOp::LeW.code();

/// Binary 64 bits opcodes
pub const MINU_OP: u8 = ZiskOp::Minu.code();
pub const MIN_OP: u8 = ZiskOp::Min.code();
pub const MAXU_OP: u8 = ZiskOp::Maxu.code();
pub const MAX_OP: u8 = ZiskOp::Max.code();
pub const LT_ABS_NP_OP: u8 = 0x50;
pub const LT_ABS_PN_OP: u8 = 0x51;
pub const LTU_OP: u8 = ZiskOp::Ltu.code();
pub const LT_OP: u8 = ZiskOp::Lt.code();
pub const GT_OP: u8 = 0x08;
pub const EQ_OP: u8 = ZiskOp::Eq.code();
pub const ADD_OP: u8 = ZiskOp::Add.code();
pub const SUB_OP: u8 = ZiskOp::Sub.code();
pub const LEU_OP: u8 = ZiskOp::Leu.code();
pub const LE_OP: u8 = ZiskOp::Le.code();
pub const AND_OP: u8 = ZiskOp::And.code();
pub const OR_OP: u8 = ZiskOp::Or.code();
pub const XOR_OP: u8 = ZiskOp::Xor.code();
pub const ANDN_OP: u8 = ZiskOp::Andn.code();
pub const ORN_OP: u8 = ZiskOp::Orn.code();
pub const XNOR_OP: u8 = ZiskOp::Xnor.code();
pub const BREV8_OP: u8 = ZiskOp::Brev8.code();