أدوات العقود

snark-verifier (Axiom)

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

التحقق · Solidity · تحسين استهلاك الغاز

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

موارد ذات صلة

ZK Email

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

Self Protocol

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

zkTLS/ TLSNotary

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

Circom

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

snarkjs

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

Semaphore

إن ⁦Semaphore⁩ هو بروتوكول المعرفة الصفرية لإثباتات عضوية المجموعة الخاصة، مما يتيح الإشارات والمصادقة المجهولة دون الكشف عن الهوية.