The technical content top engineers rely on to level up.
14 min read
Elliptic Curve Point Addition यह लेख बताता है कि वास्तविक संख्याओं पर elliptic curve addition कैसे काम करता है। Cryptography में finite fields पर elliptic curves का उपयोग किया जाता है, लेकिन elliptic curves को... आसान होता है।
9 min read
R1CS से Zero Knowledge Proof बनाना: Rank 1 Constraint System के रूप में एन्कोड किए गए arithmetic circuit के दिए जाने पर, witness होने का ZK-proof बनाना संभव है, भले ही यह संक्षिप्त न हो....
12 min read
प्रोग्रामर्स के लिए प्रारंभिक Group Theory !Group Theory Hero Image यह लेख algebraic groups के कई उदाहरण प्रदान करता है ताकि आप उनके लिए एक अंतर्ज्ञान विकसित कर सकें। Group एक सेट होता है जिसमें: एक...
18 min read
Groth16 की व्याख्या: Groth16 एल्गोरिदम एक प्रूवर को एक ट्रस्टेड सेटअप में प्राप्त इलिप्टिक कर्व पॉइंट्स पर एक क्वाड्रेटिक अरिथमेटिक प्रोग्राम की गणना करने में सक्षम बनाता है, जिसे वेरिफायर द्वारा बहुत तेज़ी से जांचा जा सकता है। यह...
30 min read
P vs NP और zero knowledge proofs में इसका अनुप्रयोग। P = NP समस्या यह पूछती है: "यदि हम तेज़ी से यह सत्यापित कर सकते हैं कि किसी समस्या का समाधान सही है, तो क्या हम तेज़ी से उस समाधान की गणना भी कर सकते हैं?" अधिकांश शोधकर्ता...
30 min read
ZK Proofs के लिए फाइनाइट फील्ड्स और मॉड्यूलर अंकगणित यह लेख एक श्रृंखला में तीसरा है। हम zero-knowledge proofs के लिए सर्किट्स के संदर्भ में फाइनाइट फील्ड्स को प्रस्तुत करते हैं। पिछले अध्याय P vs... हैं।
10 min read
एक Trusted Setup पर Quadratic Arithmetic Program का मूल्यांकन एक trusted setup पर Quadratic Arithmetic Program (QAP) का मूल्यांकन एक prover को यह प्रदर्शित करने में सक्षम बनाता है कि एक QAP संतुष्ट है, बिना...
15 min read
Python, Solidity, और EVM में Bilinear Pairings कभी-कभी इन्हें bilinear mappings भी कहा जाता है, bilinear pairings हमें तीन संख्याओं, $a$, $b$, और $c$ को लेने की अनुमति देते हैं, जहाँ $ab = c$ होता है, और उन्हें एन्क्रिप्ट करके...
25 min read
ZK के लिए Arithmetic Circuits: zero-knowledge proofs के संदर्भ में, एक arithmetic circuit समीकरणों की एक प्रणाली है जो NP में किसी समस्या को मॉडल करती है। P vs NP पर हमारे लेख का एक मुख्य बिंदु यह है कि कोई भी...
12 min read
Abstract Algebra Abstract Algebra उन sets का अध्ययन है जिन पर एक या अधिक operators लागू होते हैं। हमारे उद्देश्यों के लिए, हम केवल उन sets पर ध्यान देते हैं जहाँ operator एक binary operator होता है। एक ऐसे set को देखते हुए जिसमें...
18 min read
फ़ाइनाइट फ़ील्ड्स पर एलिप्टिक कर्व्स फ़ाइनाइट फ़ील्ड्स में एलिप्टिक कर्व्स कैसे दिखते हैं? स्मूथ एलिप्टिक कर्व्स की कल्पना करना आसान है, लेकिन एक फ़ाइनाइट फ़ील्ड पर एलिप्टिक कर्व्स कैसे दिखते हैं? यह...
4 min read
Python में एक Finite Field पर R1CS से Quadratic Arithmetic Program। R1CS से QAP में रूपांतरण को कम अमूर्त बनाने के लिए, आइए एक वास्तविक उदाहरण का उपयोग करें। मान लीजिए कि हम अंकगणित को एनकोड कर रहे हैं...