Ligero 证明可以像基于 FRI 的 STARKs 一样被包装在 Groth16 中吗?