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

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

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

Quadratic Constraints Circom Constraints एक Rank 1 Constraint System में प्रति constraint signals के बीच अधिकतम एक multiplication होता है। इसे "quadratic" constraint कहा जाता है। कोई भी constraint जिसमें...

Indicate Then Constrain यदि हम यह कहना चाहते हैं कि “ 5 या 6 के बराबर हो सकता है” तो हम बस निम्नलिखित कंस्ट्रेंट का उपयोग कर सकते हैं: हालाँकि, मान लीजिए कि हम यह कहना चाहते हैं कि “ 5 से कम है या 17 से अधिक है।” इसमें...

Hello World Circom परिचय यह अध्याय Circom कोड और Rank 1 Constraint System (R1CS), जिसमें यह कंपाइल होता है, के बीच के संबंध को दर्शाता है। R1CSs को समझना अत्यंत महत्वपूर्ण है ताकि समझा जा सके...

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

Compute Then Constrain "Compute then constrain" ZK circuits में एक डिज़ाइन पैटर्न है जहाँ किसी एल्गोरिदम के सही आउटपुट की गणना पहले बिना constraints के की जाती है। इसके बाद समाधान की शुद्धता को...

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

Circom में Symbolic Variables एक symbolic variable Circom में वह वेरिएबल होता है जिसे किसी signal से वैल्यू असाइन की गई होती है। जब किसी signal को किसी वेरिएबल में असाइन किया जाता है (जिससे वह एक symbolic...

पब्लिक और प्राइवेट इनपुट Circom में एक पब्लिक इनपुट, witness में एक ऐसा सिग्नल होता है जिसे verifier के सामने प्रकट किया जाएगा। उदाहरण के लिए, मान लीजिए कि हम एक ऐसा ZK प्रूफ बनाना चाहते हैं जो यह बताता है: “हम इनपुट जानते हैं...

Circom के साथ ZK Circuits का परिचय Circom एक प्रोग्रामिंग भाषा है जिसका उपयोग Rank 1 Constraint Systems (R1CS) बनाने और R1CS के witness vector को पॉप्युलेट करने के लिए किया जाता है। R1CS फॉर्मेट रुचि का विषय है...