addressed comments

This commit is contained in:
Nicholas Ward 2022-09-22 07:03:24 -07:00
parent 8bd5f43c45
commit 0381641b5c
2 changed files with 2 additions and 4 deletions

View File

@ -20,11 +20,10 @@ fn main() -> Result<()> {
let i_target = builder.constant(F::from_canonical_u32(i));
cur_target = builder.mul(cur_target, i_target);
}
builder.register_public_input(cur_target);
let fact_100 = F::from_canonical_u64(3822706312645553057);
let fact_100_target = builder.constant(fact_100);
builder.register_public_input(fact_100_target);
builder.connect(fact_100_target, cur_target);
let data = builder.build::<C>();

View File

@ -22,11 +22,10 @@ fn main() -> Result<()> {
prev_target = cur_target;
cur_target = temp;
}
builder.register_public_input(cur_target);
let fib_100 = F::from_canonical_u64(3736710860384812976);
let fib_100_target = builder.constant(fib_100);
builder.register_public_input(fib_100_target);
builder.connect(fib_100_target, cur_target);
let data = builder.build::<C>();