This repo contains the implementation of the sum-check protocol verification within a Halo2 Circuit
MIT LicenseMIT