تخطي إلى المحتوى الرئيسي
أدوات العقود

snark-verifier (Axiom)

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

عرض على ⁦GitHub⁩ (يفتح في علامة تبويب جديدة)

عرض التالي

Anon Aadhaar

نبذة عن ⁦snark-verifier (Axiom)⁩

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.

الوسوم

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

المستودعaxiom-crypto

الحزمةhttps:

معلومات

النوع
دوائر ⁦ZK⁩ والخصوصية
نجوم ⁦GitHub⁩
106
الترخيص
Apache-2.0
مراجعة الإدراج
سبتمبر 2026

أدوات مشابهة

ZK Email

ZK Email

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

SP1 (Succinct)

SP1 (Succinct)

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.

Circom

Circom

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