Add new ZK opcodes

CHANGELOG.md

@@ -7,6 +7,9 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 
 ## [Unreleased]
 
+### Added
+- [870](https://github.com/FuelLabs/fuel-vm/pull/870): Add 3 new ZK-related opcodes: eadd (ecAdd on EVM), emul (ecMul on EVM), epar (ecPairing on EVM)
+
 ### Fixed
 - [860](https://github.com/FuelLabs/fuel-vm/pull/860): Fixed missing fuzzing coverage report in CI.
 

fuel-asm/src/lib.rs

@@ -345,6 +345,12 @@ impl_instructions! {
     0xba BSIZ bsiz [dst: RegId blob_id_ptr: RegId]
     "Load blob as data"
     0xbb BLDD bldd [dst_ptr: RegId blob_id_ptr: RegId offset: RegId len: RegId]
+    "Given some curve, performs addition of two points"
+    0xbc EADD eadd [dst: RegId curve_id: RegId point1_ptr: RegId point2_ptr: RegId]
+    "Given some curve, performs a scalar multiplication"
+    0xbd EMUL emul [dst: RegId curve_id: RegId point_ptr: RegId scalar_ptr: RegId]
+    "Given some curve, performs bilinear function on groups"
+    0xbe EPAR epar [success: RegId curve_id: RegId num_points: RegId points_ptr: RegId]
 }
 
 impl Instruction {
@@ -701,9 +707,8 @@ impl Opcode {
             | K256 | S256 | NOOP | FLAG | ADDI | ANDI | DIVI | EXPI | MODI | MULI
             | MLDV | ORI | SLLI | SRLI | SUBI | XORI | JNEI | LB | LW | SB | SW
             | MCPI | MCLI | GM | MOVI | JNZI | JI | JMP | JNE | JMPF | JMPB | JNZF
-            | JNZB | JNEF | JNEB | CFEI | CFSI | CFE | CFS | GTF | LDC | BSIZ | BLDD => {
-                true
-            }
+            | JNZB | JNEF | JNEB | CFEI | CFSI | CFE | CFS | GTF | LDC | BSIZ | BLDD
+            | EADD | EMUL | EPAR => true,
             _ => false,
         }
     }

fuel-asm/src/panic_reason.rs

@@ -152,6 +152,11 @@ enum_from! {
         BlobIdAlreadyUploaded = 0x37,
         /// Active gas costs do not define the cost for this instruction.
         GasCostNotDefined = 0x38,
+        /// The curve id is not supported.
+        UnsupportedCurveId = 0x39,
+        // TODO: Maybe add more different errors
+        /// Read alt_bn_128 curve point is invalid.
+        InvalidAltBn128Point = 0x3a,
     }
 }
 

fuel-tx/src/transaction/consensus_parameters/gas.rs

@@ -858,6 +858,24 @@ impl GasCostsValues {
         }
     }
 
+    pub fn eadd(&self) -> Result<Word, GasCostNotDefined> {
+        match self {
+            GasCostsValues::V1(_) => Err(GasCostNotDefined),
+            GasCostsValues::V2(_) => Err(GasCostNotDefined),
+            GasCostsValues::V3(_) => Err(GasCostNotDefined),
+            GasCostsValues::V4(v4) => Ok(v4.eadd),
+        }
+    }
+
+    pub fn emul(&self) -> Result<Word, GasCostNotDefined> {
+        match self {
+            GasCostsValues::V1(_) => Err(GasCostNotDefined),
+            GasCostsValues::V2(_) => Err(GasCostNotDefined),
+            GasCostsValues::V3(_) => Err(GasCostNotDefined),
+            GasCostsValues::V4(v4) => Ok(v4.emul),
+        }
+    }
+
     pub fn aloc(&self) -> DependentCost {
         match self {
             GasCostsValues::V1(v1) => DependentCost::HeavyOperation {
@@ -1098,6 +1116,15 @@ impl GasCostsValues {
         }
     }
 
+    pub fn epar(&self) -> Result<DependentCost, GasCostNotDefined> {
+        match self {
+            GasCostsValues::V1(_v1) => Err(GasCostNotDefined),
+            GasCostsValues::V2(_v2) => Err(GasCostNotDefined),
+            GasCostsValues::V3(_v3) => Err(GasCostNotDefined),
+            GasCostsValues::V4(v4) => Ok(v4.epar),
+        }
+    }
+
     pub fn contract_root(&self) -> DependentCost {
         match self {
             GasCostsValues::V1(v1) => v1.contract_root,
@@ -1616,6 +1643,8 @@ pub struct GasCostsValuesV4 {
     pub wqmm: Word,
     pub xor: Word,
     pub xori: Word,
+    pub eadd: Word,
+    pub emul: Word,
 
     // Dependent
     pub aloc: DependentCost,
@@ -1643,6 +1672,7 @@ pub struct GasCostsValuesV4 {
     pub smo: DependentCost,
     pub srwq: DependentCost,
     pub swwq: DependentCost,
+    pub epar: DependentCost,
 
     // Non-opcode costs
     pub contract_root: DependentCost,
@@ -2509,6 +2539,8 @@ impl GasCostsValuesV4 {
             wqmm: 0,
             xor: 0,
             xori: 0,
+            eadd: 0,
+            emul: 0,
             aloc: DependentCost::free(),
             bsiz: DependentCost::free(),
             bldd: DependentCost::free(),
@@ -2533,6 +2565,7 @@ impl GasCostsValuesV4 {
             smo: DependentCost::free(),
             srwq: DependentCost::free(),
             swwq: DependentCost::free(),
+            epar: DependentCost::free(),
 
             // Non-opcode costs
             contract_root: DependentCost::free(),
@@ -2630,6 +2663,8 @@ impl GasCostsValuesV4 {
             wqmm: 1,
             xor: 1,
             xori: 1,
+            eadd: 1,
+            emul: 1,
             aloc: DependentCost::unit(),
             bsiz: DependentCost::unit(),
             bldd: DependentCost::unit(),
@@ -2654,6 +2689,7 @@ impl GasCostsValuesV4 {
             smo: DependentCost::unit(),
             srwq: DependentCost::unit(),
             swwq: DependentCost::unit(),
+            epar: DependentCost::unit(),
 
             // Non-opcode costs
             contract_root: DependentCost::unit(),

fuel-tx/src/transaction/consensus_parameters/gas/default_gas_costs.rs

@@ -89,6 +89,13 @@ pub fn default_gas_costs() -> GasCostsValues {
         wqmm: 3,
         xor: 1,
         xori: 1,
+        // TODO: Change
+        eadd: 1,
+        emul: 1,
+        epar: DependentCost::LightOperation {
+            base: 1,
+            units_per_gas: 1,
+        },
         aloc: DependentCost::LightOperation {
             base: 2,
             units_per_gas: 214,

fuel-vm/Cargo.toml

@@ -20,6 +20,7 @@ anyhow = { version = "1.0", optional = true }
 async-trait = "0.1"
 backtrace = { version = "0.3", optional = true } # requires debug symbols to work
 bitflags = { workspace = true }
+bn = { package = "substrate-bn", version = "0.6", default-features = false }
 derivative = "2.2"
 derive_more = { version = "0.99", default-features = false, features = [
     "display",
@@ -62,6 +63,7 @@ fuel-vm = { path = ".", default-features = false, features = [
     "random",
 ] }
 futures = "0.3.28"
+hex = "0.4.3"
 ntest = "0.9.2"
 num-integer = "0.1.45"
 p256 = "0.13"