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

addressed comments

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-26 20:34:17 -07:00
parent 7d7269b26d
commit e2811550e1
3 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
plonky2/examples/factorial.rs
View File

@ -34,7 +34,10 @@ fn main() -> Result<()> {
let data = builder.build::<C>();
let proof = data.prove(pw)?;
println!("100 factorial (mod |F|) is: {}", proof.public_inputs[1]);
println!(
"Factorial starting at {} is {}!",
proof.public_inputs[0], proof.public_inputs[1]
);
data.verify(proof)
}

4
plonky2/examples/fibonacci.rs
View File

@ -41,8 +41,8 @@ fn main() -> Result<()> {
let proof = data.prove(pw)?;
println!(
"100th Fibonacci number (mod |F|) is: {}",
proof.public_inputs[2]
"100th Fibonacci number mod |F| (starting with {}, {}) is: {}",
proof.public_inputs[0], proof.public_inputs[1], proof.public_inputs[2]
);
data.verify(proof)

13
plonky2/examples/square_root.rs
View File

@ -31,6 +31,8 @@ impl<F: RichField + Extendable<D>, const D: usize> SimpleGenerator<F>
let x_squared = witness.get_target(self.x_squared);
let x = x_squared.sqrt().unwrap();
println!("Square root: {}", x);
out_buffer.set_target(self.x, x);
}
}
@ -49,7 +51,6 @@ fn main() -> Result<()> {
let x = builder.add_virtual_target();
let x_squared = builder.square(x);
builder.register_public_input(x);
builder.register_public_input(x_squared);
builder.add_simple_generator(SquareRootGenerator::<F, D> {
@ -71,14 +72,10 @@ fn main() -> Result<()> {
pw.set_target(x_squared, x_squared_value);
let data = builder.build::<C>();
let proof = data.prove(pw)?;
let proof = data.prove(pw.clone())?;
let x_actual = proof.public_inputs[0];
let x_squared_actual = proof.public_inputs[1];
println!("Random field element: {}", x_squared_actual);
println!("Its square root: {}", x_actual);
assert!(x_actual * x_actual == x_squared_actual);
let x_squared_actual = proof.public_inputs[0];
println!("Field element (square): {}", x_squared_actual);
data.verify(proof)
}