Os proofs Ligero podem ser encapsulados em Groth16 de forma semelhante aos STARKs baseados em FRI?