Using Nova in a single chain IVC scheme to fold instances of BLS aggregate signature verification in R1CS
Full background and in-depth explainer here: https://hackmd.io/@NicolasRamsrud/rye7Dju92
Requires:
Circuits and witness generator from: https://github.com/Nramsrud/Circom-eth-proof-of-consensus