We recently started a mini-series on recursive #ZK #SNARKs, incrementally verifiable computation (#IVC), #FoldingSchemes and #Nova on our blog.

The second article from the series is now live! In it, we talk about Halo and accumulation.

https://medium.com/veridise/intro-to-nova-zk-folding-schemes-halo-and-accumulation-fec7aeaa666f