Research on plonkit and Eigen Labs' zkit (plonk verifier contract size too big)