This work is implementation of Lasso lookup argument inside HyperPlonk backend. The frontend is zcash/halo2 plonkish circuit structure.

Acknowledgements

• Lasso paper (https://eprint.iacr.org/2023/1216.pdf)
• This repo is originally the fork of https://github.com/han0110/plonkish.git . Most part of HyperPlonk, multilinear PCS implementation are based on here.