Currently in Lasso - DecomposableTable trait returns MultilinearPolynomial in subtable_polys function. This is not supposed to be - because the offline memory checking verifier should be able to compute subtable polynomial in random point in logarithmic time. Instead of MultilinearPolynomial, return polynomial expression that represents short MLE of the subtable.
Currently in Lasso -
DecomposableTabletrait returnsMultilinearPolynomialinsubtable_polysfunction. This is not supposed to be - because the offline memory checking verifier should be able to compute subtable polynomial in random point in logarithmic time. Instead ofMultilinearPolynomial, return polynomial expression that represents short MLE of the subtable.