¿Se pueden envolver las pruebas Ligero en Groth16 de manera similar a los STARKs basados en FRI?