Using Nova in a multi-instance IVC scheme to parallelize folding of BLS aggregate signature verification instances 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
Parallel prover from: https://github.com/Nramsrud/Parallel-Nova
Tooling from: https://github.com/Nramsrud/Nova-Scotia