Können Ligero-Beweise ähnlich wie FRI-basierte STARKs in Groth16 eingewickelt werden?