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

working on SquareRootGenerator instead of SquareGenerator

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-23 15:10:14 -07:00
parent 843baf1aa0
commit bda96e84ee
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
plonky2/examples/square_root.rs
View File

@ -12,25 +12,27 @@ use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
use plonky2_field::extension::Extendable;
#[derive(Debug)]
struct SquareGenerator<F: RichField + Extendable<D>, const D: usize> {
struct SquareRootGenerator<F: RichField + Extendable<D>, const D: usize> {
x: Target,
x_squared: Target,
_phantom: PhantomData<F>,
}
impl<F: RichField + Extendable<D>, const D: usize> SimpleGenerator<F> for SquareGenerator<F, D> {
impl<F: RichField + Extendable<D>, const D: usize> SimpleGenerator<F> for SquareRootGenerator<F, D> {
fn dependencies(&self) -> Vec<Target> {
vec![self.x]
vec![self.x_squared]
}
fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) {
let x = witness.get_target(self.x);
let x_squared = x * x;
let x_squared = witness.get_target(self.x);
let s = F::from_canonical_u32(4294967295);
let x =
out_buffer.set_target(self.x_squared, x_squared);
out_buffer.set_target(self.x, x);
}
}
/// An example of using Plonky2 to prove a statement of the form
fn main() -> Result<()> {
const D: usize = 2;
type C = PoseidonGoldilocksConfig;
@ -46,11 +48,11 @@ fn main() -> Result<()> {
builder.register_public_input(x);
builder.register_public_input(x_squared);
builder.add_simple_generator(SquareGenerator::<F, D> {
x,
x_squared,
_phantom: PhantomData,
});
// builder.add_simple_generator(SquareGenerator::<F, D> {
// x,
// x_squared,
// _phantom: PhantomData,
// });
let x_value = F::rand();