Daniel Lubarov b8ce1d1967

Public inputs (#113) ...

With this approach, we don't need `Target::PublicInput`; any routable `Target` can be marked as a public input via `register_public_input`.  The circuit itself hashes these targets, and routes the hash output to the first four wires of a `PublicInputGate`, which is placed at an arbitrary location in the circuit.

All gates have direct access to the purported hash of public inputs. We could think of them as accessing `PI_hash_i(x)` (as in Plonk), but these are now (four) constant functions, so they effectively have direct access to the hash itself.

`PublicInputGate` checks that its first four wires match this purported public input hash. The other gates ignore the hash.

Resolves #64.

2021-07-21 08:26:19 -07:00

..

bench_field_mul_interleaved.rs

Address some clippy warnings

2021-04-23 12:35:19 -07:00

bench_field_mul.rs

Fixes from PR comments

2021-04-22 09:27:59 +02:00

bench_gmimc.rs

Fix some warnings (#94)

2021-07-15 07:34:46 -07:00

bench_ldes.rs

Have rustfmt group imports (#60)

2021-06-10 14:10:35 -07:00

bench_recursion.rs

Public inputs (#113)

2021-07-21 08:26:19 -07:00

bench_rescue.rs

Fix some warnings (#94)

2021-07-15 07:34:46 -07:00