Recursive SNARKs based on Plonk and Halo
Plonky is a prototype implementation of recursive arguments. It is loosely based on PLONK, with a few customizations:
For more details, see Fast recursive arguments based on Plonk and Halo.
This code has not been thoroughly reviewed or tested, and should not be used in any production systems.