From 78468a353c052d0f5b2e40eafa1b402ed67f0210 Mon Sep 17 00:00:00 2001 From: Alon Titelman Date: Mon, 1 Jul 2024 01:06:19 +0300 Subject: [PATCH] Fix prover input. --- vm/src/air_private_input.rs | 3 +++ vm/src/vm/runners/builtin_runner/signature.rs | 1 - 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/vm/src/air_private_input.rs b/vm/src/air_private_input.rs index fa05cc86d5..b30b05e98a 100644 --- a/vm/src/air_private_input.rs +++ b/vm/src/air_private_input.rs @@ -19,6 +19,8 @@ pub struct AirPrivateInputSerializable { #[serde(skip_serializing_if = "Option::is_none")] range_check: Option>, #[serde(skip_serializing_if = "Option::is_none")] + range_check96: Option>, + #[serde(skip_serializing_if = "Option::is_none")] ecdsa: Option>, #[serde(skip_serializing_if = "Option::is_none")] bitwise: Option>, @@ -157,6 +159,7 @@ impl AirPrivateInput { memory_path, pedersen: self.0.get(&BuiltinName::pedersen).cloned(), range_check: self.0.get(&BuiltinName::range_check).cloned(), + range_check96: self.0.get(&BuiltinName::range_check96).cloned(), ecdsa: self.0.get(&BuiltinName::ecdsa).cloned(), bitwise: self.0.get(&BuiltinName::bitwise).cloned(), ec_op: self.0.get(&BuiltinName::ec_op).cloned(), diff --git a/vm/src/vm/runners/builtin_runner/signature.rs b/vm/src/vm/runners/builtin_runner/signature.rs index f81f77181b..6e94206ef3 100644 --- a/vm/src/vm/runners/builtin_runner/signature.rs +++ b/vm/src/vm/runners/builtin_runner/signature.rs @@ -220,7 +220,6 @@ impl SignatureBuiltinRunner { private_inputs.push(PrivateInput::Signature(PrivateInputSignature { index: addr .offset - .saturating_sub(self.base) .checked_div(CELLS_PER_SIGNATURE as usize) .unwrap_or_default(), pubkey: *pubkey,