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

no need to hard-code!

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-22 09:33:42 -07:00
parent 0381641b5c
commit 44a1f4c328
2 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
plonky2/examples/factorial.rs
View File

@ -22,10 +22,6 @@ fn main() -> Result<()> {
}
builder.register_public_input(cur_target);
let fact_100 = F::from_canonical_u64(3822706312645553057);
let fact_100_target = builder.constant(fact_100);
builder.connect(fact_100_target, cur_target);
let data = builder.build::<C>();
let proof = data.prove(pw)?;

5
plonky2/examples/fibonacci.rs
View File

@ -1,5 +1,4 @@
use anyhow::Result;
use plonky2::field::types::Field;
use plonky2::iop::witness::PartialWitness;
use plonky2::plonk::circuit_builder::CircuitBuilder;
use plonky2::plonk::circuit_data::CircuitConfig;
@ -24,10 +23,6 @@ fn main() -> Result<()> {
}
builder.register_public_input(cur_target);
let fib_100 = F::from_canonical_u64(3736710860384812976);
let fib_100_target = builder.constant(fib_100);
builder.connect(fib_100_target, cur_target);
let data = builder.build::<C>();
let proof = data.prove(pw)?;