Daniel Lubarov b3008b9475

Some changes to generator_indices_by_watches (#234) ...

* Some changes to generator_indices_by_watches

- Index generators by the representatives (in disjoint-set forest terminology) of their watched targets, rather than the watched targets themselves.  Enqueuing generators based on their watch lists then works correctly, so we no longer need the step where we reenqueue all generators.
- In #195, it was pointed out that this slows down witness generation a bit. I moved the indexing code to preprocessing, so the prover is a bit faster (~7ms for me).

* Outdated comment

* Panic instead of infinite loop if we get stuck

* BTree

* fmt

2021-09-13 16:38:55 -07:00

..

circuit_builder.rs

Some changes to generator_indices_by_watches (#234)

2021-09-13 16:38:55 -07:00

circuit_data.rs

Some changes to generator_indices_by_watches (#234)

2021-09-13 16:38:55 -07:00

copy_constraint.rs

Minor

2021-08-16 11:08:26 +02:00

mod.rs

Move stuff around (#135)

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

permutation_argument.rs

Merge two impls

2021-08-23 11:06:33 +02:00

plonk_common.rs

Refactor GMiMC code (#224)

2021-09-07 18:28:28 -07:00

proof.rs

Refactor GMiMC code (#224)

2021-09-07 18:28:28 -07:00

prover.rs

Some changes to generator_indices_by_watches (#234)

2021-09-13 16:38:55 -07:00

recursive_verifier.rs

Refactor GMiMC code (#224)

2021-09-07 18:28:28 -07:00

vanishing_poly.rs

Refactor GMiMC code (#224)

2021-09-07 18:28:28 -07:00

vars.rs

Move stuff around (#135)

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

verifier.rs

Refactor GMiMC code (#224)

2021-09-07 18:28:28 -07:00