Intermediate Signals और Sub-Component Circom का मुख्य उद्देश्य Rank 1 Constraint System (R1CS) में कंपाइल करना है, लेकिन इसका द्वितीयक उद्देश्य witness को पॉप्युलेट करना है। अधिकांश circuits के लिए, ...

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

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

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

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

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

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

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

Circomlib में AliasCheck और Num2Bits_strict Circom (या किसी भी ZK सर्किट भाषा) में एक alias बग तब उत्पन्न होता है जब सिग्नल्स का एक बाइनरी ऐरे किसी ऐसे नंबर को एनकोड करता है जो field element की होल्ड करने की क्षमता से बड़ा होता है। हम...

फेक प्रूफ्स के साथ Underconstrained Circom Circuits को हैक करना Circom में ऑपरेटर खतरनाक हो सकता है क्योंकि यह signals को वैल्यू असाइन करता है लेकिन उन्हें constrain नहीं करता है। लेकिन आप वास्तव में कैसे ~~एक्सप्लॉयट~~...

Algebraic Circuits को R1CS (Rank One Constraint System) में बदलना यह लेख समझाता है कि arithmetic constraints के एक सेट को Rank One Constraint System (R1CS) में कैसे बदला जाए। इसका फोकस...

circomlib वॉकथ्रू के साथ Circom भाषा का ट्यूटोरियल। यह ट्यूटोरियल Circom भाषा और इसके उपयोग के तरीके के साथ-साथ आम गलतियों का परिचय देता है। हम ... के एक महत्वपूर्ण हिस्से की भी व्याख्या करेंगे...