Sync with stwo update that allows multiple hashers (#193)

Bitcoin-Wildlife-Sanctuary · Dec 16, 2024 · 5008f34 · 5008f34
1 parent 3db4f97
commit 5008f34
Show file tree

Hide file tree

Showing 2 changed files with 47 additions and 85 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/dsl/plonk/hints/mod.rs b/src/dsl/plonk/hints/mod.rs
@@ -3,6 +3,7 @@ use crate::dsl::plonk::hints::fold::PerQueryFoldHints;
 use crate::dsl::plonk::hints::quotients::PerQueryQuotientHint;
 use stwo_prover::core::channel::Sha256Channel;
 use stwo_prover::core::pcs::PcsConfig;
+use stwo_prover::core::vcs::sha256_merkle::Sha256MerkleChannel;
 use stwo_prover::examples::plonk::prove_fibonacci_plonk;
 
 pub const LOG_N_ROWS: u32 = 5;
@@ -22,7 +23,8 @@ impl Hints {
     pub fn instance() -> Self {
         let config = PcsConfig::default();
 
-        let (plonk_component, proof) = prove_fibonacci_plonk(LOG_N_ROWS, config);
+        let (plonk_component, proof) =
+            prove_fibonacci_plonk::<Sha256MerkleChannel>(LOG_N_ROWS, config);
 
         let mut channel = Sha256Channel::default();