Ligero proofları, FRI tabanlı STARK'lara benzer şekilde Groth16 ile sarılabilir mi?