diff --git a/halo2_proofs/src/plonk/keygen.rs b/halo2_proofs/src/plonk/keygen.rs
index e3ec0fbc..2ad7be88 100644
--- a/halo2_proofs/src/plonk/keygen.rs
+++ b/halo2_proofs/src/plonk/keygen.rs
@@ -244,6 +244,15 @@ where
             .map(|poly| domain.lagrange_from_vec(poly)),
     );
 
+    #[cfg(feature = "unstable-dynamic-lookups")]
+    let (cs, dynamic_table_polys) = cs.compress_dynamic_table_tags(assembly.dynamic_tables);
+    #[cfg(feature = "unstable-dynamic-lookups")]
+    fixed.extend(
+        dynamic_table_polys
+            .into_iter()
+            .map(|poly| domain.lagrange_from_vec(poly)),
+    );
+
     let permutation_vk = assembly
         .permutation
         .build_vk(params, &domain, &cs.permutation);
@@ -307,6 +316,15 @@ where
             .map(|poly| vk.domain.lagrange_from_vec(poly)),
     );
 
+    #[cfg(feature = "unstable-dynamic-lookups")]
+    let (cs, dynamic_table_polys) = cs.compress_dynamic_table_tags(assembly.dynamic_tables);
+    #[cfg(feature = "unstable-dynamic-lookups")]
+    fixed.extend(
+        dynamic_table_polys
+            .into_iter()
+            .map(|poly| vk.domain.lagrange_from_vec(poly)),
+    );
+
     let fixed_polys: Vec<_> = fixed
         .iter()
         .map(|poly| vk.domain.lagrange_to_coeff(poly.clone()))