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