Les preuves Ligero peuvent-elles être encapsulées dans Groth16 de manière similaire aux STARKs basés sur FRI ?