Можно ли обернуть доказательства Ligero в Groth16, аналогично STARK'ам на основе FRI?