Czy dowody Ligero mogą być opakowane w Groth16 podobnie jak STARKi oparte na FRI?