Contract tooling

Halo2

ZK circuits & privacy

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

privacy-scaling-explorations/halo2(250 ☆)

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

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 هي منصة مطورين وتجميع إيثيريوم تعطي الأولوية للخصوصية لبناء تطبيقات بخصوصية قابلة للبرمجة وإثباتات المعرفة الصفرية.