limit bold steps

OffchainLabs · Feb 3, 2024 · 50cdb4d · 50cdb4d
1 parent d4e30af
commit 50cdb4d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/arbitrator/prover/src/programs/meter.rs b/arbitrator/prover/src/programs/meter.rs
@@ -372,7 +372,10 @@ pub fn pricing_v1(op: &Operator, tys: &HashMap<SignatureIndex, FunctionType>) ->
     #[rustfmt::skip]
     let ink = match op {
         op!(Unreachable, Return) => 1,
-        op!(Nop, Drop) | dot!(I32Const, I64Const) => 1,
+        op!(Nop) | dot!(I32Const, I64Const) => 1,
+
+        op!(Drop) => 9, // could be 1, but using a higher number helps limit the number of ops in BOLD
+
         dot!(Block, Loop) | op!(Else, End) => 1,
         dot!(Br, BrIf, If) => 765,
         dot!(Select) => 1250, // TODO: improve wasmer codegen

diff --git a/arbitrator/prover/src/wavm.rs b/arbitrator/prover/src/wavm.rs
@@ -734,7 +734,7 @@ pub fn wasm_to_wavm(
                 opcode!(Unreachable);
                 stack = StackState::Unreachable;
             },
-            Nop => opcode!(Nop),
+            Nop => {},
             Block { blockty } => {
                 scopes.push(Scope::Simple(*blockty, vec![], height_after_block!(blockty)));
             }