Kunnen Ligero-bewijzen worden gewikkeld in Groth16, vergelijkbaar met FRI-gebaseerde STARKs?