Circom

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

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.

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