مرکزی مواد پر جائیں
کنٹریکٹ ٹولنگ

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⁩ اسٹارز
۱۰۶
لائسنس
Apache-2.0
لسٹنگ کا جائزہ لیا گیا
ستمبر ۲۰۲۶

ملتے جلتے ٹولز

ZK Email

ZK Email

⁦ZK Email⁩ آن چین ریڈیکٹڈ ای میل ٹرانسکرپٹس کے بارے میں حقائق ثابت کرنے کے لیے سرکٹس اور ⁦SDKs⁩ فراہم کرتا ہے۔ یہ اس وقت مفید ہے جب آپ ان باکسز کو ظاہر کیے بغیر رازداری کو محفوظ رکھنے والی شناخت یا رسید کی جانچ چاہتے ہوں۔

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 صفر علم ثبوت سسٹمز میں استعمال ہونے والے ریاضیاتی سرکٹس کو لکھنے اور کمپائلنگ کے لیے ایک ڈومین کے لیے مخصوص زبان اور کمپائلر ہے۔