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

fixes, and new examples (fibonacci and square root)

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-21 19:00:01 -07:00
parent 9756e06db2
commit 38d6f98f87
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
plonky2/examples/fibonacci.rs
View File

@ -16,10 +16,8 @@ fn main() -> Result<()> {
let pw = PartialWitness::new();
let mut builder = CircuitBuilder::<F, D>::new(config);
let zero_target = builder.zero();
let one_target = builder.one();
let mut prev_target = zero_target;
let mut cur_target = one_target;
let mut prev_target = builder.zero();
let mut cur_target = builder.one();
for _ in 0..99 {
let temp = builder.add(prev_target, cur_target);
prev_target = cur_target;
@ -36,7 +34,10 @@ fn main() -> Result<()> {
let proof = data.prove(pw)?;
println!("100th Fibonacci number is: {:?}", proof.public_inputs[0]);
println!(
"100th Fibonacci number (mod |F|) is: {}",
proof.public_inputs[0]
);
verify(proof, &data.verifier_only, &data.common)
}