Incorporate public values into the transcript (Plonky3#359)

valida-xyz · May 15, 2024 · dbbacf2 · dbbacf2
1 parent 317df5a
commit dbbacf2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/uni-stark/src/prover.rs b/uni-stark/src/prover.rs
@@ -52,6 +52,7 @@ where
         info_span!("commit to trace data").in_scope(|| pcs.commit_batch(trace));
 
     challenger.observe(trace_commit.clone());
+    challenger.observe_slice(public_values);
     let alpha: SC::Challenge = challenger.sample_ext_element();
 
     let mut trace_ldes = pcs.get_ldes(&trace_data);

diff --git a/uni-stark/src/verifier.rs b/uni-stark/src/verifier.rs
@@ -46,6 +46,7 @@ where
     let g_subgroup = SC::Val::two_adic_generator(*degree_bits);
 
     challenger.observe(commitments.trace.clone());
+    challenger.observe_slice(public_values);
     let alpha: SC::Challenge = challenger.sample_ext_element();
     challenger.observe(commitments.quotient_chunks.clone());
     let zeta: SC::Challenge = challenger.sample_ext_element();