The technical content top engineers rely on to level up.
29 min read
Algebraic Circuits को R1CS (Rank One Constraint System) में बदलना यह लेख समझाता है कि arithmetic constraints के एक सेट को Rank One Constraint System (R1CS) में कैसे बदला जाए। इसका फोकस...
22 min read
प्रोग्रामर्स के लिए प्रारंभिक सेट थ्योरी। एक और सेट थ्योरी ट्यूटोरियल क्यों? इस लेख के लक्षित दर्शक ऐसे लोग हैं जिन्हें abstract math की तब तक परवाह नहीं होती, जब तक कि वे इसका कोई सीधा यूज़-केस न देख लें...
11 min read
उदाहरण द्वारा Homomorphisms: दो groups के बीच एक homomorphism तब मौजूद होता है यदि दोनों groups के बीच एक structure preserving map मौजूद हो। मान लीजिए कि हमारे पास दो algebraic data structures $(A,\square)$ और $(B,...$
3 min read
Trusted Setup एक Trusted Setup वह तंत्र है जिसका उपयोग ZK-SNARKs किसी गुप्त मान पर पॉलीनोमियल का मूल्यांकन करने के लिए करते हैं। ध्यान दें कि एक पॉलीनोमियल $f(x)$ का मूल्यांकन ... के इनर प्रोडक्ट की गणना करके किया जा सकता है।
17 min read
Quadratic Arithmetic Programs एक quadratic arithmetic program एक arithmetic circuit है, विशेष रूप से एक Rank 1 Constraint System (R1CS) जिसे polynomials के एक सेट के रूप में दर्शाया जाता है। इसे Lagrange का उपयोग करके प्राप्त किया जाता है...
16 min read
Foundry में Invariant Testing का परिचय इस लेख में, हम invariants पर चर्चा करेंगे और यह जानेंगे कि Foundry टेस्ट सूट का उपयोग करके Solidity स्मार्ट कॉन्ट्रैक्ट्स पर invariant टेस्ट कैसे किया जाता है। Invariant टेस्टिंग...
6 min read
Solidity Mutation Testing म्यूटेशन टेस्टिंग टेस्ट सूट (test suite) की गुणवत्ता जांचने का एक तरीका है, जिसमें जानबूझकर कोड में बग (bugs) डाले जाते हैं और यह सुनिश्चित किया जाता है कि टेस्ट उस बग को पकड़ लें। इस प्रकार के बग...
6 min read
Ethereum प्रीकंपाइल्ड कॉन्ट्रैक्ट्स Ethereum प्रीकंपाइल्स, Ethereum प्रोटोकॉल में निर्मित स्मार्ट कॉन्ट्रैक्ट्स की तरह व्यवहार करते हैं। नौ प्रीकंपाइल्स addresses 0x01 से 0x09 में मौजूद हैं। प्रीकंपाइल्स की उपयोगिता आती है...
11 min read
ERC721 Enumerable कैसे काम करता है एक Enumerable ERC721 एक ऐसा ERC721 है जिसमें अतिरिक्त कार्यक्षमता होती है, जो किसी smart contract को एक address के स्वामित्व वाले सभी NFTs को सूचीबद्ध करने में सक्षम बनाती है। यह लेख बताता है कि functions कैसे काम करते हैं और कैसे...
7 min read
Aave V3 और Compound V2 का ब्याज दर मॉडल। TradFi (traditional finance) में ब्याज दरें मुख्य रूप से केंद्रीय बैंकों द्वारा निर्धारित की जाती हैं और बाज़ार के कारकों से प्रभावित होती हैं। इसके विपरीत, DeFi ब्याज...
3 min read
Fallback Extension Pattern fallback-extension pattern 24 KB की smart contract साइज़ लिमिट से बचने का एक सरल तरीका है। मान लीजिए कि हमारे primary contract में functions हैं और हम जोड़ना चाहते हैं...
6 min read
Proxies के लिए EIP 1967 Storage Slots EIP 1967 इस बात का मानक है कि proxy कॉन्ट्रैक्ट्स को execute करने के लिए आवश्यक जानकारी को कहाँ स्टोर किया जाए। दोनों UUPS (Universal Upgradeable Proxy Standard) और Transparent...