কন্ট্রাক্ট টুলিং

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 অনচেইনে রিডাক্টেড ইমেইল ট্রান্সক্রিপ্ট সম্পর্কে তথ্য প্রমাণ করার জন্য সার্কিট এবং SDK প্রদান করে। ইনবক্সের তথ্য ফাঁস না করে যখন আপনি গোপনীয়তা বজায় রেখে পরিচয় বা রসিদ যাচাই করতে চান, তখন এটি কার্যকর।

Self Protocol

Self Protocol ওপেন আইডেন্টিটি এবং প্রুফ প্রিমিটিভ প্রদান করে যা নির্মাতারা এম্বেড করতে পারে যখন তাদের ওয়ালেট বা ক্রেডেনশিয়ালের সাথে যুক্ত গোপনীয়তা-রক্ষাকারী যাচাইকরণ ফ্লো-এর প্রয়োজন হয়।

zkTLS/ TLSNotary

zkTLS / TLSNotary হলো MPC-এর মাধ্যমে TLS সেশনের বৈশিষ্ট্যগুলো প্রমাণ করার একটি ওপেন প্রোটোকল, যাতে যাচাইকারীরা সম্পূর্ণ প্লেইনটেক্সট না দেখেই ট্রান্সক্রিপ্টগুলোর ওপর আস্থা রাখতে পারে।

Circom

Circom হলো শূন্য-জ্ঞান প্রমাণ সিস্টেমে ব্যবহৃত গাণিতিক সার্কিট লেখা এবং কম্পাইল করার জন্য একটি ডোমেইন-স্পেসিফিক ল্যাঙ্গুয়েজ এবং কম্পাইলার।

snarkjs

snarkjs হলো zkSNARK প্রমাণ তৈরি এবং যাচাই করার জন্য এবং Node.js ও ব্রাউজারে সাধারণ প্রুভিং ওয়ার্কফ্লো চালানোর জন্য একটি JavaScript এবং CLI টুলকিট।

Semaphore

Semaphore হলো প্রাইভেট গ্রুপ মেম্বারশিপ প্রমাণের জন্য একটি জিরো-নলেজ প্রোটোকল, যা পরিচয় প্রকাশ না করেই বেনামী সিগন্যালিং এবং প্রমাণীকরণ সক্ষম করে।