fix: table kind should not change over the fse code trailing bits (pr…

…ivacy-scaling-explorations#1345)
cameron1024 · Jun 23, 2024 · 92fcf47 · 92fcf47
1 parent 00cd3e0
commit 92fcf47
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/aggregator/src/aggregation/decoder.rs b/aggregator/src/aggregation/decoder.rs
@@ -2785,6 +2785,13 @@ impl<const L: usize, const R: usize> DecoderConfig<L, R> {
                     ]),
                 );
 
+                // The FSE table kind remains the same.
+                cb.require_equal(
+                    "table_kind remains the same for trailing bits in tag=FseCode",
+                    meta.query_advice(config.fse_decoder.table_kind, Rotation::cur()),
+                    meta.query_advice(config.fse_decoder.table_kind, Rotation::prev()),
+                );
+
                 cb.gate(condition)
             },
         );