fix-tob-scroll-21 (#59)

* fix-tob-scroll-21 * expose param field for re-randomization
scroll-tech · Nov 30, 2023 · 5f758e0 · 5f758e0
1 parent cf9765a
commit 5f758e0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/halo2_proofs/src/helpers.rs b/halo2_proofs/src/helpers.rs
@@ -48,6 +48,10 @@ pub fn field_to_bn<F: FieldExt>(f: &F) -> BigUint {
 
 /// Input a big integer `bn`, compute a field element `f`
 /// such that `f == bn % F::MODULUS`.
+/// Require:
+/// - bn is less than 512 bits.
+/// Return:
+/// - bn mod F::MODULUS when bn > F::MODULUS
 pub fn bn_to_field<F: FieldExt>(bn: &BigUint) -> F {
     let mut buf = bn.to_bytes_le();
     buf.resize(64, 0u8);