ولدت براهين المعرفة الصفرية في عام 1985 ، وعلى مدار الأربعين عاما الماضية ، تم السخرية من براهين المعرفة الصفرية باعتبارها تقنية غامضة ل "الرياضيات القمرية" ، لكنه انتقل الآن من المختبر إلى طليعة الاقتصاد الرقمي. إذا نظرنا إلى الوراء في مسار تطوير مسار ZK بأكمله ، هناك استنتاج واضح يمكن تقديمه: لم يعد ZK رقعة خصوصية يمكن الاستغناء عنها ، ولكنها قاعدة ثقة للجيل القادم من الإنترنت. هناك العديد من المشاريع المتعلقة ب ZK التي تم طرحها هذا العام ، وقد يصنفها الأخوان على أنها مشاريع مسار ZK ، لكنني أود أن أقول إنها أكثر تفصيلا مما نعتقد. فيما يتعلق بتوليد البراهين → التحقق من الدفعات ، → دورة حياة التأكيد بواسطة كل سلسلة ، يتم وضع Sunccinct و Boundless في مرحلة توليد الإثبات ، ولكن لا تزال هناك مشكلة هيكلية في هذا المسار ، وهي bottleneck@ZKVProtocol التحقق. zkVerify هو مشروع أطلقته @HorizenLabs ، والذي أطلق أول سلسلة تطبيقات خصوصية على النظام البيئي الأساسي ، و zkVerify هو أول سلسلة تحقق إثبات مخصصة. كيف نقول معنى التحقق من الكفاءة ، تماما مثل مصنع Shenyang Tiexi BMW ، على الرغم من أن...