يسعدني أن أرى أن Jordy Baylina هناك يطلب معيارا مشتركا - أمان 128 بت. أشعر بأنني مضطر للإضافة ، على الرغم من ذلك: لا يهم إلا إذا كان يمكن التحقق منه رياضيا ، أي غير موثوق به! الإعداد الموثوق به ، بالنسبة لي ، هو في الأساس أمان 80 بت.

على سبيل المثال ، بالتأكيد ، من المكلف كسرها ، وربما لم يقم أحد بتكسيرها ، ولكن إذا كان لديهم ، فلن تتمكن من معرفة ذلك. … حتى ذلك اليوم الذي تستيقظ فيه وتكتشف أن كل أصل وكل وصول لكل مستخدم لكل تطبيق على النظام الأساسي الخاص بك يخضع لسيطرة العدو.

و "الإعداد العالمي الموثوق به" أو أيا كان ما يسمونه هو في الأساس أمان 90 بت. بالتأكيد ، من الأغلى بالنسبة لشخص ما أن يكسر ، لكن ما زلت لا تستطيع معرفة ما إذا كان قد فعل ذلك ، حتى اليوم الذي تستيقظ فيه على سيناريو كارثة أكبر.

بالنسبة لي ، هناك خط مشرق بسيط: هل يمكن لعالم رياضيات شاب لامع لديه كتاب مدرسي وجهاز كمبيوتر التحقق بشكل مستقل من الدليل؟ تفشل جميع أنظمة إثبات الإعداد الموثوق بها ، بما في ذلك Groth16 الشهير ، في هذا الاختبار. لا يستطيع عالم الرياضيات التحقق مما إذا كانت البراهين مزورة.