براهين ZK تحدث ثورة في عالم العملات المشفرة وتضخم الغرور. الجميع يدعي أن لديهم نظام الإثبات الحقيقي الوحيد، لكن التطبيقات هي الجزء المهم، والبراهين أصبحت الآن سلعة. أيضا: إذا بدأ دليل Zk الجديد لشركة ب 'h' أو 'hyper'، فقد تخلوا عن إلههم القديم من أجل التحقق من المجموع

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

حسنا، كفى استعارات. تمثل SNARKs البرامج ككثيرات حدود. يستخدم التحقق من المجموع كثيرات حدود متعددة المتغيرات، مثل P(x,y) = x^2+2y. والأكثر ارتباكا، أن أسلوب التسمية "h" و"hyper" يأتي من كثيرات الحدود التي تشكل مكعبا فائقا بوليا. طريقة متقنة للقول إن كل متغير هو 0 أو 1.

فكر في الأمر مثل الحواسيب: الحواسيب تعمل بشكل ثنائي وليس على أساس 10 لأن بعض العمليات الشائعة تكون أكثر كفاءة عند تقسيمها بت ببت بدلا من رقم برقم. يقوم Sum-Check بشيء مشابه جدا للبرامج التي يثبت أنها راضية.

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

هذا القيد يحدك على خوادم كبيرة يجب على الجميع إرسال بياناتهم إليها لإثباتها. ليست من النوع الكبير منها. هو مفيد لتشغيل مكبس نفايات ضخم (أعني، الجمع المركزي)، لكنه يفشل في خصوصية العميل، وهذا هو المكان الذي يبحث عنه السوق (في الوقت الحالي)

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