Có thể bọc các chứng minh Ligero trong Groth16 tương tự như các STARK dựa trên FRI không?