لقد تحققنا من أمان بروتوكول Fast Reed–Solomon Interactive Proof (FRI) - وهو حجر الأساس في براهين المعرفة الصفرية الحديثة الشفافة على طريقة STARK - من خلال صياغة "البراهين الموجزة والجبر الخطي" لإيفانز-أنجيريس مع غاوس.