halo2

Commit Graph

Author	SHA1	Message	Date
Jack Grigg	1b04877b3d	Migrate PLONK-gate-using circuits to use SingleChipLayouter These were all early examples that used the Circuit trait without any layouter, which is incompatible with upcoming changes. The minimal change to the PinnedVerificationKey is because the lookup table is being allocated at the top of its columns instead of in-place.	2021-06-22 00:22:12 +01:00
Jack Grigg	3e82c7b232	dev: Move halo2::dev::circuit_layout to halo2::dev::CircuitLayout::render This makes it easier to add configuration to the renderer.	2021-06-08 12:13:18 +01:00
Jack Grigg	0f0dd8a26c	Allow multiple polynomial constraints per gate This enables a gate such as ECC complete addition to define its constraints in terms of a common set of queried columns.	2021-05-27 15:01:46 +01:00
Jack Grigg	353a07cef1	`ConstraintSystem::lookup`: Move lookup queries into a closure This matches `ConstraintSystem::create_gate`. At the same time, we bind the input and table expressions together as a "table map" by requiring the closure to return a vector of tuples. This ensures they are always the same length.	2021-05-27 00:53:31 +01:00
therealyingtong	4ae21a905d	Update tests	2021-02-24 00:21:12 +08:00
therealyingtong	d8534e1c50	Pass Expressions to meta.lookup()	2021-02-18 15:41:35 -07:00
therealyingtong	a19dc68dee	Use Column<Any> in Permutation::Argument	2021-02-17 21:32:17 +08:00
Daira Hopwood	760d69bd2c	Rename "auxiliary column" to "instance column" in the book and in code. fixes #181 Signed-off-by: Daira Hopwood <daira@jacaranda.org>	2021-02-14 21:09:49 +00:00
Jack Grigg	5905230174	Fix stable clippy lints	2021-02-05 16:48:41 +00:00
Jack Grigg	0a378c3d0f	Require Circuit::Config implement Clone instead of Copy	2021-02-01 19:05:19 +00:00
Jack Grigg	3c1132ec59	Add halo2::dev::circuit_layout behind dev-graph feature flag This method renders circuits as tables, showing how the various regions within them have been layed out.	2021-02-01 18:38:20 +00:00

11 Commits