قام فريق التحقق الرسمي @NethermindSec ، بدعم من @ethereumfndn خلال جولة منح ZK لعام 2024 ، بتطوير الحلاوة الطحينية: بنية تحتية للتحقق الرسمي من دوائر Halo2 zk في عام @leanprover. استخدمنا الحلاوة الطحينية للكشف عن خطأ فادح في دائرة Scroll zk في العالم الحقيقي. 🧵 1/