Sample Sapir circuit and a Next.js frontend to generate the proof.