EspressoSystems/hyperplonk

Build permutation check directly from product check

zhenfeizhang opened this issue · 1 comments

Build permutation check directly from product check

Currently permutation check is built from zero-check, we can build it from product-check APIs instead.
https://github.com/EspressoSystems/hyperplonk/tree/main/poly-iop/src/prod_check