Cross Table Lookup Filters are currently of degree one.
Given that the recursive circuit part supports large degrees (8), and that the CTL verification in transaction proofs represent a minimal fraction of the total proving time, it may be beneficial to allow higher flexibility on the filtering of CTLs, which could lead to additional improvements, like some columns removal.
Cross Table LookupFilters are currently of degree one. Given that the recursive circuit part supports large degrees (8), and that theCTLverification in transaction proofs represent a minimal fraction of the total proving time, it may be beneficial to allow higher flexibility on the filtering ofCTLs, which could lead to additional improvements, like some columns removal.