وقت ZK-STARKs: ظهر ورقة ZK-STARK البيضاء في عام 2018 (بالإضافة إلى مكون أساسي يُسمى FRI). في ذلك الوقت، كنا نرى بالفعل أن ZK SNARKs القائمة على المنحنيات الإهليلجية يمكنها حل مشكلة الخصوصية للبلوكتشين، وكان يبدو أنها كل ما كان يأمله العالم فيه. إذًا، لماذا بناء جديد تمامًا؟ ما الذي كان في مقدمة اهتماماتنا؟ كانت المزايا الرئيسية لـ ZK-STARKs هي التالية: • الشفافية (الحرف T في STARK) — وهذا يعني عدم الحاجة إلى "نفايات سامة" كما هو مطلوب في الطقوس الخاصة بـ SNARKs. وهذا مهم جدًا للثقة. للتوضيح — لا توجد عملية إعداد موثوقة، لذا يمكن الثقة في ZK-STARKs الشفافة حتى لو استخدمها دارث فيدر. • الأمان ما بعد الكمي — في عام 2018، لم يكن الكثير يتحدثوا عن التهديد الكمي وكيف يمكنه تدمير التشفير القائم على المنحنيات الإهليلجية. لكن ZK-STARKs آمنة ما بعد الكمي، بل وتتطلب فقط وجود دالة تجزئة آمنة. وقد تبين أن هذا مهم في عصرنا الحالي من الذكاء الفائق وتهديداته للفرضيات القياسية للصعوبة مثل تلك التي تقوم عليها RSA وDH وECDSA وبناءات قائمة على الشبكات إلخ. • مستقل عن الحقل — تطلبت ZK-SNARKs الخاصة بـ Zcash هياكل جبرية محددة جدًا (حقول منتهية) وكبيرة جدًا. من ناحية أخرى، تعمل STARKs على جميع الحقول المنتهية تقريبًا، بما في ذلك الحقول الثنائية والحقول الأولية الصغيرة، وهو ما يُحسّن وقت الحساب الكفء. لغير المتخصصين في الرياضيات، هذا يعني سرعة ومقياسًا أكبر بكثير. على سبيل المثال، قمنا بقياس حسابات حقل M31 (المستخدمة من قبل أحدث وأفضل مُثبت STARK لدينا، S-two) لتكون أسرع بـ 100 مرة من الحسابات التي استخدمناها في مُثبت الجيل الأول الذي كان يتطلب حقلًا بطول 256 بت (!). • القابلية للتوسع — حقيقة أنها تعمل على أي حقل، بالإضافة إلى عدم الحاجة إلى إعداد موثوق، تعني أننا لم نضطر إلى تغيير أي شيء في المُحقق على السلسلة حتى مع توسيع حجم العمليات التي نتعامل معها مرارًا وتكرارًا. باختصار — كانت الشفافية والأمان ما بعد الكمي والكفاءة والقابلية للتوسع هي المزايا الكبيرة التي قدمتها ZK-STARKs للعالم في عام 2018. وحتى الآن، أصبحت المعيار الذهبي للقياس الآمن والخصوصية باستخدام ZK. النهاية