उदाहरण द्वारा Homomorphisms: दो groups के बीच एक homomorphism तब मौजूद होता है यदि दोनों groups के बीच एक structure preserving map मौजूद हो। मान लीजिए कि हमारे पास दो algebraic data structures $(A,\square)$ और $(B,...$

R1CS से Zero Knowledge Proof बनाना: Rank 1 Constraint System के रूप में एन्कोड किए गए arithmetic circuit के दिए जाने पर, witness होने का ZK-proof बनाना संभव है, भले ही यह संक्षिप्त न हो....

Python, Solidity, और EVM में Bilinear Pairings कभी-कभी इन्हें bilinear mappings भी कहा जाता है, bilinear pairings हमें तीन संख्याओं, $a$, $b$, और $c$ को लेने की अनुमति देते हैं, जहाँ $ab = c$ होता है, और उन्हें एन्क्रिप्ट करके...

ZK के लिए Arithmetic Circuits: zero-knowledge proofs के संदर्भ में, एक arithmetic circuit समीकरणों की एक प्रणाली है जो NP में किसी समस्या को मॉडल करती है। P vs NP पर हमारे लेख का एक मुख्य बिंदु यह है कि कोई भी...

Ethereum प्रीकंपाइल्ड कॉन्ट्रैक्ट्स Ethereum प्रीकंपाइल्स, Ethereum प्रोटोकॉल में निर्मित स्मार्ट कॉन्ट्रैक्ट्स की तरह व्यवहार करते हैं। नौ प्रीकंपाइल्स addresses 0x01 से 0x09 में मौजूद हैं। प्रीकंपाइल्स की उपयोगिता आती है...

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

Noir और Nextjs के साथ ZK-addition-dapp ! Noir और Next.js के साथ बनाया गया ZK Dapp Game हम additions को सत्यापित करने के लिए डिज़ाइन किए गए एक बुनियादी zk-dapp का चरण-दर-चरण अन्वेषण प्रदर्शित करेंगे। यह एप्लिकेशन...

Zero knowledge प्रोग्रामिंग भाषाएँ !Zero knowledge proof moon math Zero knowledge proof moon math Zero knowledge proofs यह प्रदर्शित करते हैं कि आपने inputs का खुलासा किए बिना किसी computation को सही ढंग से निष्पादित किया है...