As provas do Ligero podem ser encapsuladas em Groth16 de forma semelhante aos STARKs baseados em FRI?