logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-02 13:53:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

cleanup and documentation

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-26 11:19:09 -07:00
parent 3bc1e65a7a
commit a053372176
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
field/src/goldilocks_field.rs
View File

@ -303,7 +303,7 @@ impl GoldilocksField {
} else if self.is_quadratic_residue() {
let t = (Self::order() - BigUint::from(1u32))
/ (BigUint::from(2u32).pow(Self::TWO_ADICITY as u32));
let mut z = Self::MULTIPLICATIVE_GROUP_GENERATOR.exp_biguint(&t);
let mut z = Self::POWER_OF_TWO_GENERATOR;
let mut w = self.exp_biguint(&((t - BigUint::from(1u32)) / BigUint::from(2u32)));
let mut x = w * *self;
let mut b = x * w;

5
plonky2/examples/square_root.rs
View File

@ -19,6 +19,8 @@ struct SquareRootGenerator<F: RichField + Extendable<D>, const D: usize> {
_phantom: PhantomData<F>,
}
// We implement specifically for the Goldilocks field because it's currently the only field with
// the sqrt() function written.
impl SimpleGenerator<GoldilocksField> for SquareRootGenerator<GoldilocksField, 2> {
fn dependencies(&self) -> Vec<Target> {
vec![self.x_squared]
@ -30,15 +32,14 @@ impl SimpleGenerator<GoldilocksField> for SquareRootGenerator<GoldilocksField, 2
out_buffer: &mut GeneratedValues<GoldilocksField>,
) {
let x_squared = witness.get_target(self.x_squared);
dbg!(x_squared);
let x = x_squared.sqrt().unwrap();
dbg!(x);
out_buffer.set_target(self.x, x);
}
}
/// An example of using Plonky2 to prove a statement of the form
/// "I know the square root of this field element."
fn main() -> Result<()> {
const D: usize = 2;
type C = PoseidonGoldilocksConfig;