أدوات العقود

Halo2

دوائر ⁦ZK⁩ والخصوصية

يركز على الخصوصية · قابلية التوسع · تجربة المطور · التحقق

تفرع (fork) مُعاد تصميمه من ⁦PSE⁩ لنظام إثبات ⁦Halo2 PLONK⁩ الخاص بـ ⁦Zcash⁩، ويتميز بخلفية ⁦KZG⁩ مع متحقق ⁦Solidity⁩ للتحقق الاقتصادي من الطبقة الأولى (⁦L1⁩)، ودعم منحنيات إهليلجية متعددة، وبنية أمامية/خلفية منفصلة.

موارد ذات صلة

ZK Email

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

zkTLS/ TLSNotary

إن ⁦zkTLS⁩ / ⁦TLSNotary⁩ هو بروتوكول مفتوح لإثبات خصائص جلسات ⁦TLS⁩ باستخدام ⁦MPC⁩ بحيث يمكن للمتحققين الوثوق بالنصوص دون رؤية النص العادي الكامل.

ZKPassport

التحقق من الهوية الخاصة باستخدام إثباتات المعرفة الصفرية. تحقق من العمر، أو البلد، أو إثبات الشخصية دون الكشف عن أي معلومات شخصية. تصميم يركز على الأجهزة المحمولة أولاً مع حزمة ⁦SDK⁩ للتكامل وعقود التسجيل على السلسلة.

Self Protocol

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

Circom

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

snarkjs

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