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

fix

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-26 10:44:28 -07:00
parent 880bc87bb1
commit d239d3ffb5
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
plonky2/examples/square_root.rs
View File

@ -68,8 +68,12 @@ fn main() -> Result<()> {
let data = builder.build::<C>();
let proof = data.prove(pw)?;
println!("Random field element: {}", proof.public_inputs[1]);
println!("Its square root: {}", proof.public_inputs[0]);
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);
data.verify(proof)
}