BigBrotherFei
vip

أنوما تعيد بناء بنية التشفير الخاصة بحساب الخصوصية (مشاركة المعرفة 2)



اليوم نواصل مشاركة بعض المحتوى حول anoma.

في نموذج سيادة الشفافية في blockchain، اختارت Anoma مسارًا أكثر صعوبة ولكنه ضروري - حيث تبني بنية تحتية للخصوصية من خلال التشفير المتجانس بالكامل (FHE) ونموذج تفاعل يركز على النوايا. جوهرها هو خلق نوع جديد من آلات الحالة: البيانات دائمًا في حالة مشفرة، ولكن يمكن التحقق من صحة الحساب. تعتمد هذه القدرة على ثلاثة أعمدة تقنية:

1. طبقة تنفيذ التشفير المتماثل: يقوم بتشغيل حساب Turing-complete في نص مشفر
يستخدم Anoma خطة CKKS لتحقيق التشفير المتجانس بالكامل، مما يسمح بإجراء العمليات مباشرة على النصوص المشفرة. على سبيل المثال، عندما يقوم المستخدم A بتشفير مبلغ التحويل [X]، يقوم المستخدم B بتشفير المبلغ [Y]، فإن عقد التحقق يمكنه تنفيذ عمليات المقارنة [X] > [Y] أو العمليات الحسابية [X] - [Y] = [Z] دون الحاجة إلى فك التشفير. هذا يحل عيب الحلول التقليدية للخصوصية (مثل zk-SNARKs من Zcash) التي يمكنها فقط التحقق ولكن لا تستطيع الحساب. لكسر عنق الزجاجة في أداء FHE، قدم Anoma تسريع GPU لتحويل الأعداد (NTT) وتقنية ضغط النصوص المشفرة النادرة، مما يقلل من تأخير المعاملة الواحدة من مستوى الدقائق إلى مستوى الثواني.

2. آلية نشر النية: ثورة التفاعل الإعلاني
لم يعد المستخدمون يستدعون العقود مباشرة، بل يبثون إعلانات نوايا مقيدة بالخصوصية. على سبيل المثال: "شراء كمية مخفية من ETH بانزلاق ≤1%، عنوان الاستلام مشفر". يقوم الحلول (Solvers) في الشبكة بمطابقة العرض والطلب في حالة مشفرة من خلال حساب متعدد الأطراف الآمن (SMPC). لمنع التلاعب بـ MEV، صممت Anoma آلية تأخير الكشف عن اللعبة: يتعين على الحلول رهن الرموز للمشاركة في المزايدة المغلقة، وسيتم مصادرة من يغش. تحول هذه النموذج DeFi من "نمط الدفع" القائم على التنفيذ النشط إلى "نمط السحب" القائم على الإعلان عن الطلب.

3. خصوصية跨链 من خلال التحقق الموزع
تستخدم طبقة التحقق في Anoma نسخة محسنة من توافق Tendermint PBFT، لكن الابتكار الرئيسي يكمن في تشغيل العقدة للتحقق من آلة افتراضية لإثبات المعرفة الصفرية (zkVM). عند معالجة المعاملات عبر السلاسل (مثل تحويل البيتكوين إلى ETH مع حماية الخصوصية)، تقوم العقدة بإنشاء zkProof للعميل الخفيف للبيتكوين، وتقوم بنقله إلى شبكة Anoma. في هذه العملية، يتحقق المدققون فقط من صحة الإثبات، دون فتح بيانات السلسلة الأصلية، مما يحقق خصوصية قابلة للتحقق عبر السلاسل. مواجهةً لمشكلة عدم دعم نصوص البيتكوين لـ FHE، تعتمد Anoma على خطة إثبات تفاؤلي + فترة تحدي 72 ساعة: إذا تم اكتشاف الاحتيال، يمكن لأي مشارك تقديم zkProof لتحفيز استعادة الأصول.

الممارسة الهندسية والاختراق البيئي
يمكن للمطورين استخدام Taiga SDK لكتابة التطبيقات اللامركزية المعززة للخصوصية. على سبيل المثال، عند بناء بروتوكول إقراض عملات مستقرة خاصة، يمكن التحقق مباشرة من نسبة الضمان المشفرة باستخدام الأمر المتجانس fhe_gt! إذا كانت أكبر من 150%، ومن خلال ماكرو zk_proof! يتم إنشاء إثبات المعرفة الصفرية للسداد. هذه القدرة تخلق حالات استخدام جديدة:

Namada (أول مثال على Anoma الفرعي) ينفذ خزانات الخصوصية متعددة الأصول، وTVL يصل إلى 3.4 مليار دولار

ستقوم Fhenix بدمج الطبقة الثانية من إيثريوم مع الطبقة FHE من Anoma، لمعالجة 120,000 عملية خصوصية يوميًا.
تظهر بيانات شبكة الاختبار أن متوسط TPS لصفقات FHE هو 52، وتأخير السلسلة المتقاطعة يتم التحكم فيه ضمن 90 ثانية. على الرغم من أن الأداء لا يزال مقيدًا بالحساب المتجانس، إلا أن إثبات دمج zkFHE (الذي يقوم بضغط حسابات FHE إلى zk-SNARK) قد تم إدراجه في خارطة الطريق، والهدف هو تحقيق زيادة بمائة ضعف بحلول عام 2026.

طريق التعايش بين الخصوصية والامتثال
شاهد النسخة الأصلية
post-image
post-image
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
  • أعجبني
  • تعليق
  • مشاركة
تعليق
0/400
لا توجد تعليقات
  • تثبيت