Pot dovezile Ligero să fie învelite în Groth16, similar cu STARK-urile bazate pe FRI?