هل يمكن تغليف إثباتات ليجيرو في Groth16 بطريقة مشابهة لبطاقات STARK المبنية على FRI؟