AtHeartEngineer/cuda-sumcheck
1
0
Fork 0
mirror of https://github.com/pseXperiments/cuda-sumcheck.git synced 2026-01-08 23:18:00 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fi thex difference between montgomery form of barretenberg and halo2curves

Browse Source
This commit is contained in:
Soowon Jeong
2024-08-23 10:59:59 +00:00
parent e59402e5d4
commit 2b7d67d9e2
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
sumcheck/src/field.rs
View File

@@ -29,7 +29,10 @@ macro_rules! field_binding_conversion {
.map(|data| data.to_le_bytes())
.collect_vec()
.concat();
$field::from_raw_bytes_unchecked(bytes.as_ref())
let value = $field::from_raw_bytes_unchecked(bytes.as_ref());
// This multiplication of identity is for doing montgomery reduction
// if value is larger than modulus, it will subtract modulus
value * $field::ONE
}
}
@@ -62,3 +65,4 @@ macro_rules! field_binding_conversion {
}
field_binding_conversion!(Fr);