wborgeaud 4e86d9d7f4 Derive quotient_degree_factor

2021-08-09 19:08:52 +02:00

..

circuit_builder.rs

Derive quotient_degree_factor

2021-08-09 19:08:52 +02:00

circuit_data.rs

PR feedback

2021-08-06 18:06:02 +02:00

copy_constraint.rs

Move stuff around (#135)

2021-07-29 22:00:29 -07:00

mod.rs

Move stuff around (#135)

2021-07-29 22:00:29 -07:00

permutation_argument.rs

Move stuff around (#135)

2021-07-29 22:00:29 -07:00

plonk_common.rs

Small optimization -- use mul_add instead of mul + add (#137)

2021-07-30 09:03:23 -07:00

proof.rs

Bit of refactoring in FRI code (#162)

2021-08-08 09:14:07 -07:00

prover.rs

Fix some off-by-one errors in the degrees

2021-08-09 18:42:01 +02:00

recursive_verifier.rs

Auto resize partial witness

2021-08-09 09:58:09 +02:00

vanishing_poly.rs

Move evaluation of L_1(x) outside of loop (#147)

2021-08-02 15:27:48 -07:00

vars.rs

Move stuff around (#135)

2021-07-29 22:00:29 -07:00

verifier.rs

Bit of refactoring in FRI code (#162)

2021-08-08 09:14:07 -07:00