Voidaanko Ligero-proofit kääriä Groth16:een samalla tavalla kuin FRI-pohjaiset STARKITit?