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)?;