Contract tooling

Verifiable UBT

ZK circuits & privacy

يركز على الخصوصية · التحقق

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

يُنشئ إثباتات ⁦zkVM⁩ عودية تتحقق من أن تحديثات حالة شجرة التجزئة الثنائية الموحدة (⁦UBT⁩) وشجرة ميركل باتريشيا تتطابق لكل كتلة إيثيريوم. يتيح التحقق من الحالة بشكل منزوع الثقة للعملاء الخفيفين واسترجاع المعلومات الخاصة.

Related resources

ZK Email

يوفر ⁦ZK Email⁩ دوائر وحزم ⁦SDKs⁩ لإثبات الحقائق حول نصوص البريد الإلكتروني المنقحة على السلسلة. مفيد عندما تريد التحقق من الهوية أو الإيصالات مع الحفاظ على الخصوصية دون كشف (doxxing) صناديق البريد الوارد.

Railgun

إن ⁦Railgun⁩ هو بروتوكول للخصوصية لشبكات إيثيريوم و⁦EVM⁩ يوفر معاملات محمية وتفاعلات التمويل اللامركزي (DeFi) الخاصة مع إثباتات المعرفة الصفرية.

snarkjs

إن ⁦snarkjs⁩ هي مجموعة أدوات JavaScript و ⁦CLI⁩ لإنشاء والتحقق من إثباتات زي كي سنارك (zk-SNARK)، ولتشغيل سير عمل الإثبات الشائع في Node.js والمتصفح.

Noir

إن ⁦Noir⁩ هي لغة مستوحاة من ⁦Rust⁩ لكتابة دوائر المعرفة الصفرية بتركيب وأدوات صديقة للمطورين تحتفظ بها ⁦Aztec⁩.

Circom

إن Circom هي لغة خاصة بالمجال ومُصرّف لكتابة وتصريف الدوائر الحسابية المستخدمة في أنظمة إثبات المعرفة الصفرية.

Aztec

إن Aztec هي منصة مطورين وتجميع إيثيريوم تعطي الأولوية للخصوصية لبناء تطبيقات بخصوصية قابلة للبرمجة وإثباتات المعرفة الصفرية.