Currently, we have implemented PlonkUp protocol with a single table. This protocol supports constraints of the form
$x \in T$. Extend the protocol to support constraints $(x_1, \dots, x_k) \in T$.
[ ] PlonkUp protocol updated and tested
[ ] Symbolic DSL updated and tested
[ ] PlonkUp verifier algorithm on Cardano updated and tested (zkfold-cardano)
Currently, we have implemented PlonkUp protocol with a single table. This protocol supports constraints of the form $x \in T$. Extend the protocol to support constraints $(x_1, \dots, x_k) \in T$.
zkfold-cardano)