test: More recufier, now with base table rows and their digests

Next up is Merkle-tree verification of the base leaf digests.

Cargo.toml

@@ -13,7 +13,7 @@ num = "0.4"
 rand = "0"
 strum = { version = "0.26", features = ["derive"] }
 syn = { version = "1.0", features = ["full", "extra-traits"] }
-tasm-lib = { git = "https://github.com/TritonVM/tasm-lib.git", rev = "f955d7a2" }
+tasm-lib = { git = "https://github.com/TritonVM/tasm-lib.git", rev = "5828932c" }
 quote = "1.0"
 
 [dev-dependencies]

src/tests_and_benchmarks/ozk/programs/recufier/verify.rs

@@ -262,6 +262,7 @@ impl RecufyDebug {
         return;
     }
 
+    #[allow(clippy::ptr_arg)]
     pub fn dump_digests(digests: &Vec<Digest>) {
         let mut i: usize = 0;
         while i < digests.len() {
@@ -466,26 +467,22 @@ fn recufy() {
 
     // Read base authentication structure but ignore its value, as we divine-in the digests instead
     {
-        let dummy: Box<Vec<Digest>> = proof_iter.next_as_authenticationstructure();
-    }
-    // let mut leaf_digests_base: Vec<Digest> = Vec::<Digest>::default();
-    // {
-    //     let mut i: usize = 0;
-    //     while i < fri.num_colinearity_checks as usize {
-    //         leaf_digests_base.push(tasm::tasm_hashing_algebraic_hasher_hash_varlen(
-    //             &base_table_rows[i],
-    //             356,
-    //         ));
-    //         i += 1;
-    //     }
-    // }
-    // RecufyDebug::dump_digests(&leaf_digests_base);
-
-    // tasm_hashing_algebraic_hasher_hash_varlen
-    // fn input_field_names(&self) -> Vec<String> {
-    //     vec!["*addr".to_string(), "length".to_string()]
-    // }
+        let _dummy: Box<Vec<Digest>> = proof_iter.next_as_authenticationstructure();
+    }
+    let mut leaf_digests_base: Vec<Digest> = Vec::<Digest>::default();
+    {
+        let mut i: usize = 0;
+        while i < fri.num_colinearity_checks as usize {
+            leaf_digests_base.push(tasm::tasm_hashing_algebraic_hasher_hash_varlen(
+                &base_table_rows[i],
+                356,
+            ));
+            i += 1;
+        }
+    }
+    RecufyDebug::dump_digests(&leaf_digests_base);
 
+    // Ensure that sponge-states are in sync
     RecufyDebug::sponge_state(Tip5WithState::squeeze());
     return;
 }

src/tests_and_benchmarks/ozk/rust_shadows.rs

@@ -13,6 +13,7 @@ use std::vec::Vec;
 use itertools::Itertools;
 use num::One;
 use num::Zero;
+use tasm_lib::hashing::algebraic_hasher::hash_varlen::HashVarlen;
 use tasm_lib::memory::encode_to_memory;
 use tasm_lib::recufier::master_ext_table::air_constraint_evaluation::AirConstraintEvaluation;
 use tasm_lib::recufier::master_ext_table::air_constraint_evaluation::AirConstraintSnippetInputs;
@@ -326,6 +327,11 @@ pub(super) fn tasm_hashing_algebraic_hasher_hash_varlen(
     preimage: &[BFieldElement],
     _length: usize,
 ) -> Digest {
+    // Mutate sponge state the same way that Triton-VM does
+    SPONGE_STATE.with_borrow_mut(|sponge| {
+        HashVarlen.sponge_mutation(sponge.as_mut().unwrap(), preimage);
+    });
+
     Tip5::hash_varlen(preimage)
 }