I proof Ligero possono essere incapsulati in Groth16 in modo simile agli STARK basati su FRI?