Selection Sort का ZK Proof रुचि की अधिकांश गणनाएं आमतौर पर “stateful” होती हैं — यानी, अंतिम परिणाम प्राप्त करने के लिए उन्हें चरणों की एक श्रृंखला से होकर गुजरना पड़ता है। कभी-कभी, हमें यह दिखाने की आवश्यकता नहीं होती...

ZKVM कैसे काम करता है एक Zero-Knowledge Virtual Machine (ZKVM) एक ऐसी virtual machine है जो एक ZK-proof बना सकती है, जो यह सत्यापित करता है कि इसने machine instructions के एक सेट को सही ढंग से execute किया है। यह हमें एक...

ZK में 32-Bit एम्यूलेशन ZK में डिफ़ॉल्ट डेटाटाइप फ़ील्ड एलिमेंट है, जहाँ सारा अंकगणित एक बड़ी अभाज्य संख्या के मॉड्यूलो पर किया जाता है। हालाँकि, अधिकांश "वास्तविक" कंप्यूटेशन 32, 64, या 256-bit का उपयोग करके की जाती है...

ZK में Stateful Computations का परिचय पॉवर्स, फैक्टोरियल्स, या Fibonacci सीक्वेंस की गणना जैसे इटरेटिव कंप्यूटेशन्स करते समय, हमें एक निश्चित... के बाद "कंप्यूटेशन को रोकने" की आवश्यकता होती है।

Circom में MD5 Hash इस ट्यूटोरियल में, हम hash को कंप्यूट करने और Circom में यह कंस्ट्रैन करने के लिए कि इसे सही ढंग से कंप्यूट किया गया था, Circom में MD5 hash को इम्प्लीमेंट करेंगे। हालांकि MD5 hash फंक्शन नहीं है...

Circom में Conditional Statements: Circom if-statements के उपयोग को लेकर बहुत सख्त है। निम्नलिखित नियमों का पालन किया जाना चाहिए: Signals का उपयोग किसी if-statement के व्यवहार को बदलने के लिए नहीं किया जा सकता है। एक signal...

Quin Selector Quin Selector एक डिज़ाइन पैटर्न है जो हमें signals के एक array के लिए एक signal को index के रूप में उपयोग करने की अनुमति देता है। पूर्व-आवश्यकता के रूप में, हम यह मान कर चलते हैं कि पाठक ने Conditional... वाला अध्याय पढ़ लिया है।

Permutation Argument एक permutation argument इस बात का प्रमाण है कि दो सूचियों में समान तत्व हैं, लेकिन संभवतः एक अलग क्रम में। उदाहरण के लिए, का एक permutation है और इसके विपरीत भी। Permutation...

Circom में एक Array के दो Items को स्वैप करना यह अध्याय दिखाता है कि signals की एक लिस्ट में दो signals को कैसे स्वैप किया जाए। यह एक sorting algorithm के लिए एक महत्वपूर्ण subroutine है। अधिक सामान्य रूप से, lists एक...

ZK में Stack Data Structure की मॉडलिंग करना यह ट्यूटोरियल दिखाता है कि Circom में stack कैसे बनाया जाता है। सावधान रहें — यह अध्याय लंबा है। हालाँकि, stacks के बारे में ZK proofs बनाने की रणनीति होगी...

Circom टेम्पलेट पैरामीटर्स, वेरिएबल्स, लूप्स, If स्टेटमेंट्स, Assert यह अध्याय आवश्यक सिंटैक्स को कवर करता है, जिन्हें आप अधिकांश Circom प्रोग्राम्स में देखेंगे। Circom की मदद से, हम एक Rank 1... को परिभाषित करने में सक्षम हैं।

एक Loop में Circom Components: Circom components को सीधे एक loop में instantiate करने की अनुमति नहीं देता है। उदाहरण के लिए, निम्नलिखित कोड को compile करने पर नीचे दी गई error प्राप्त होती है। इसका workaround यह है कि...