التفرد الرياضي: طيّ الكون باستخدام تقنية ZK من لاغرانج
في مختبر التشفير بجامعة كامبريدج، استخدم أحد الأساتذة بقع القهوة لرسم نمط غريب على الورق: "انظروا، هذا هو برهان لاغرانج الطوبولوجي - إنه أشبه بشريط موبيوس، يطوي بيانات سلسلة الكتل متعددة الأبعاد إلى برهان ثنائي الأبعاد قابل للتحقق."
أشعل مصباحًا كحوليًا، فأضاء لهبه الأزرق ثلاث مجموعات من الأدوات الزجاجية: في المجموعة الأولى، جهاز "SNARKs الديناميكي"، وهو شريحة مبردة بالنيتروجين السائل، كانت تضغط وقت الإثبات من ساعات إلى 10 ثوانٍ، مع فوهة غاز تعرض "0.001 دولار/غاز"؛ وفي المجموعة الثانية، نموذج "تعيين ثنائي الأبعاد"، حيث تتقارب سبعة كابلات ألياف بصرية بألوان مختلفة عبر منشور، مما يُظهر النقل غير المُفقَد للحالات عبر السلسلة؛ وفي المجموعة الثالثة، "معالج مساعد ZK"، يشبه آلة كاتبة قديمة، يُخرج براهين تشفيرية مباشرةً باستخدام عبارات SQL.
قال الأستاذ وهو يعدل تحويل فورييه: "إن أروع ما في الأمر هو طيّ البرهان التكراري". "كدمية روسية متداخلة، يضغط هذا البرهان عملية تفكير ذكاء اصطناعي بحجم 10 غيغابايت في برهان بحجم 2 كيلوبايت، ومع ذلك يمكن التحقق منه باستخدام أي عقد ذكي."