عندما تعرفت للمرة الأولى على @0xMiden، لاحظت تفصيلًا واحدًا:
أنه لا يصر على «نقل كل شيء إلى السلسلة».
في تصميم @0xMiden، يحدث التنفيذ على العميل، والسلسلة فقط تقوم بالتحقق. بعبارة أخرى، لم تعد السلسلة عاملة مجتهدة، بل هي حكم.
هذا الهيكل مناسب بشكل طبيعي لإثباتات المعرفة الصفرية، ويجعل الخصوصية ليست خيارًا إضافيًا، بل قدرة افتراضية. أنت تثبت أنك فعلت الشيء بشكل صحيح، لكنك لست مضطرًا للكشف عن كيفية القيام بذلك.
من الناحية الحدسية التقنية، هذا النموذج أكثر أناقة بكثير من مجرد تراكم القوة الحاسوبية. @0xMiden يحل مشكلة الهيكل النظامي، وليس مشكلة المعلمات.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
عندما تعرفت للمرة الأولى على @0xMiden، لاحظت تفصيلًا واحدًا:
أنه لا يصر على «نقل كل شيء إلى السلسلة».
في تصميم @0xMiden، يحدث التنفيذ على العميل، والسلسلة فقط تقوم بالتحقق.
بعبارة أخرى، لم تعد السلسلة عاملة مجتهدة، بل هي حكم.
هذا الهيكل مناسب بشكل طبيعي لإثباتات المعرفة الصفرية، ويجعل الخصوصية ليست خيارًا إضافيًا، بل قدرة افتراضية.
أنت تثبت أنك فعلت الشيء بشكل صحيح، لكنك لست مضطرًا للكشف عن كيفية القيام بذلك.
من الناحية الحدسية التقنية، هذا النموذج أكثر أناقة بكثير من مجرد تراكم القوة الحاسوبية.
@0xMiden يحل مشكلة الهيكل النظامي، وليس مشكلة المعلمات.