This repository implements a recursive proof generator that converts a Stwo-Cairo proof into a smaller Stwo-Plonk proof, leveraging the fact that Stwo-Plonk proof has much fewer columns than ...

A research prototype exploring Plonk + GKR integration for recursive proof compression (open problem). The goal: design a sensible IR that can be compiled to a Plonk/HyperPlonk backend with deferred ...