کنٹریکٹ ٹولنگ

SP1 (Succinct)

⁦ZK⁩ سرکٹس اور رازداری

تصدیق · توسیع پذیری · لیئر ۲ (l2)

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⁩ فراہم کرتا ہے۔ یہ اس وقت مفید ہے جب آپ ان باکسز کو ظاہر کیے بغیر رازداری کو محفوظ رکھنے والی شناخت یا رسید کی جانچ چاہتے ہوں۔

Self Protocol

⁦Self Protocol⁩ کھلی شناخت اور ثبوت کے پرائمیٹوز فراہم کرتا ہے جنہیں بلڈرز اس وقت شامل کر سکتے ہیں جب انہیں والیٹس یا اسناد سے منسلک رازداری کو محفوظ رکھنے والے تصدیقی فلو کی ضرورت ہو۔

zkTLS/ TLSNotary

⁦zkTLS / TLSNotary⁩ ⁦MPC⁩ کے ساتھ ⁦TLS⁩ سیشنز کی خصوصیات کو ثابت کرنے کے لیے ایک اوپن پروٹوکول ہے تاکہ تصدیق کنندگان مکمل سادہ متن دیکھے بغیر ٹرانسکرپٹس پر اعتماد کر سکیں۔

Circom

Circom صفر علم ثبوت سسٹمز میں استعمال ہونے والے ریاضیاتی سرکٹس کو لکھنے اور کمپائلنگ کے لیے ایک ڈومین کے لیے مخصوص زبان اور کمپائلر ہے۔

snarkjs

⁦snarkjs⁩ ⁦zkSNARK⁩ ثبوت بنانے اور ان کی تصدیق کرنے، اور ⁦Node.js⁩ اور براؤزر میں عام ثبوت کے ورک فلوز چلانے کے لیے ایک ⁦JavaScript⁩ اور ⁦CLI⁩ ٹول کٹ ہے۔

Semaphore

⁦Semaphore⁩ نجی گروپ کی رکنیت کے ثبوتوں کے لیے ایک صفر علم پروٹوکول ہے، جو شناخت ظاہر کیے بغیر گمنام سگنلنگ اور تصدیق کو قابل بناتا ہے۔