أدوات العقود

SP1 (Succinct)

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

التحقق · قابلية التوسع · طبقة 2

succinctlabs/sp1 https://crates.io/crates/sp1-primitives

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program 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⁩ هو بروتوكول المعرفة الصفرية لإثباتات عضوية المجموعة الخاصة، مما يتيح الإشارات والمصادقة المجهولة دون الكشف عن الهوية.