blake3 testing

succinctlabs · Feb 12, 2024 · 838043c · 838043c
1 parent afacca5
commit 838043c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/core/src/stark/machine.rs b/core/src/stark/machine.rs
@@ -50,12 +50,14 @@ use super::Verifier;
 pub struct ProvingKey<SC: StarkGenericConfig> {
     pub data: PcsProverData<SC>,
     pub byte_trace: RowMajorMatrix<SC::Val>,
+    // TODO:
     // program_trace: RowMajorMatrix<SC::Val>,
 }
 
 pub struct VerifyingKey<SC: StarkGenericConfig> {
     pub commit: Com<SC>,
     pub byte_dimensions: Dimensions,
+    // TODO:
     // program_dimensions: Dimensions,
 }
 

diff --git a/core/src/syscall/precompiles/blake3/compress/mod.rs b/core/src/syscall/precompiles/blake3/compress/mod.rs
@@ -113,7 +113,7 @@ pub mod compress_tests {
     use crate::runtime::Opcode;
     use crate::runtime::Register;
     use crate::runtime::SyscallCode;
-    use crate::utils::prove;
+    use crate::utils::run_test;
     use crate::utils::setup_logger;
     use crate::utils::tests::BLAKE3_COMPRESS_ELF;
     use crate::Program;
@@ -166,13 +166,13 @@ pub mod compress_tests {
     fn prove_babybear() {
         setup_logger();
         let program = blake3_compress_internal_program();
-        prove(program);
+        run_test(program).unwrap();
     }
 
     #[test]
     fn test_blake3_compress_inner_elf() {
         setup_logger();
         let program = Program::from(BLAKE3_COMPRESS_ELF);
-        prove(program);
+        run_test(program).unwrap();
     }
 }