fmt

yetanotherco · Aug 21, 2024 · 2e8c160 · 2e8c160
1 parent bc9ff19
commit 2e8c160
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/batcher/aligned-batcher/src/risc_zero/mod.rs b/batcher/aligned-batcher/src/risc_zero/mod.rs
@@ -1,13 +1,13 @@
-use risc0_zkvm::{InnerReceipt, Receipt};
 use log::error;
+use risc0_zkvm::{InnerReceipt, Receipt};
 
 pub fn verify_risc_zero_proof(
     inner_receipt_bytes: &[u8],
     image_id: &[u8; 32],
     public_input: &[u8],
 ) -> bool {
     // We verify that the buffers are non-zero otherwise return false. We allow public_input size of 0.
-    if receipt_bytes.is_empty() || image_id.is_empty() {
+    if inner_receipt_bytes.is_empty() || image_id.is_empty() {
         error!("Risc0 input buffer zero size");
         return false;
     }

diff --git a/operator/risc_zero/lib/src/lib.rs b/operator/risc_zero/lib/src/lib.rs
@@ -10,12 +10,12 @@ pub extern "C" fn verify_risc_zero_receipt_ffi(
     public_input: *const u8,
     public_input_len: u32,
 ) -> bool {
-    if receipt_bytes.is_null() || image_id.is_null() {
+    if inner_receipt_bytes.is_null() || image_id.is_null() {
         error!("Input buffer null");
         return false;
     }
 
-    if receipt_len == 0 || image_id_len == 0 {
+    if inner_receipt_len == 0 || image_id_len == 0 {
         error!("Input buffer length zero size");
         return false;
     }