From 44a1f4c3288a21b0d8d60d457b2794b2894ce024 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Thu, 22 Sep 2022 09:33:42 -0700 Subject: [PATCH] no need to hard-code! --- plonky2/examples/factorial.rs | 4 ---- plonky2/examples/fibonacci.rs | 5 ----- 2 files changed, 9 deletions(-) diff --git a/plonky2/examples/factorial.rs b/plonky2/examples/factorial.rs index bc30c7c2..c4de7f65 100644 --- a/plonky2/examples/factorial.rs +++ b/plonky2/examples/factorial.rs @@ -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::(); let proof = data.prove(pw)?; diff --git a/plonky2/examples/fibonacci.rs b/plonky2/examples/fibonacci.rs index 2f8842e4..bd7e70a0 100644 --- a/plonky2/examples/fibonacci.rs +++ b/plonky2/examples/fibonacci.rs @@ -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::(); let proof = data.prove(pw)?;