zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

layout::CircuitLayout::render: Handle dynamic table tags 

Co-authored-by: Avi Dessauer <avi.dessauer@platonic.systems>
This commit is contained in:
therealyingtong 2023-02-23 11:30:27 +08:00
parent eff691740c
commit 124a1e1d95
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
halo2_proofs/src/dev/graph/layout.rs
View File

@ -82,7 +82,7 @@ impl CircuitLayout {
}
/// Renders the given circuit on the given drawing area.
pub fn render<F: Field, ConcreteCircuit: Circuit<F>, DB: DrawingBackend>(
pub fn render<F: Field + From<u64>, ConcreteCircuit: Circuit<F>, DB: DrawingBackend>(
self,
k: u32,
circuit: &ConcreteCircuit,
@ -112,6 +112,9 @@ impl CircuitLayout {
let (cs, selector_polys) = cs.compress_selectors(layout.selectors);
let non_selector_fixed_columns = cs.num_fixed_columns - selector_polys.len();
#[cfg(feature = "unstable-dynamic-lookups")]
let (cs, _tag_polys) = cs.compress_dynamic_table_tags(layout.dynamic_tables_assignments);
// Figure out what order to render the columns in.
// TODO: For now, just render them in the order they were configured.
let total_columns = cs.num_instance_columns + cs.num_advice_columns + cs.num_fixed_columns;