The technical content top engineers rely on to level up.
6 min read
Random linear combinations के माध्यम से equality checks (constraints) की संख्या को कम करना। $m$ equality checks को सक्षम करने के लिए zero knowledge proof algorithms में random linear combinations एक आम तकनीक है...
4 min read
Inner Product बीजगणित इस लेख में, हम inner products के लिए कुछ उपयोगी बीजगणितीय ट्रिक्स देते हैं जो बाद में range proofs निकालने (और सर्किट्स को inner products के रूप में एनकोड करने) में उपयोगी होंगी। प्रत्येक नियम...
6 min read
Bulletproofs ZKP: Zero Knowledge and Succinct Proofs for Inner Products Bulletproofs ZKPs allow a prover to prove knowledge of an inner product with a logarithmic-sized proof. Bulletproofs do not...
9 min read
Logarithmic sized proofs of commitment In a previous chapter, we showed that multiplying the sums of elements of the vectors $\mathbf{a}$ and $\mathbf{G}$ computes the sum of the outer product terms,...
18 min read
वेक्टर कमिटमेंट के संक्षिप्त प्रमाण यदि हमारे पास एक Pedersen वेक्टर कमिटमेंट $A$ है जिसमें एक वेक्टर $\mathbf{a}$ का कमिटमेंट $A = a_1G_1 + a_2G_2+\dots + a_nG_n$ के रूप में शामिल है, तो हम साबित कर सकते हैं कि हम जानते हैं...
8 min read
Inner Product के लिए एक Zero Knowledge Proof एक inner product argument इस बात का प्रमाण है कि prover ने inner product computation सही ढंग से किया है। यह अध्याय दर्शाता है कि एक zero... का निर्माण कैसे किया जाए।
10 min read
ZK Bulletproofs का परिचय Bulletproofs एक zero knowledge inner product argument है, जो एक prover को एक verifier को यह विश्वास दिलाने में सक्षम बनाता है कि उन्होंने एक inner product की सही गणना की है। अर्थात, ...
22 min read
डायनामिक टाइप्स के स्टोरेज स्लॉट्स (Mappings, Arrays, Strings, Bytes) Solidity में डायनामिक-साइज़ वाले टाइप्स (जिन्हें कभी-कभी कॉम्प्लेक्स टाइप्स भी कहा जाता है) ऐसे डेटा टाइप्स होते हैं जिनका साइज़ वेरिएबल होता है। इनमें mappings शामिल हैं,...
16 min read
Assembly revert inline assembly का उपयोग करके ट्रांजैक्शन को revert करना हाई-लेवल Solidity या स्टेटमेंट का उपयोग करने की तुलना में अधिक गैस-एफिशिएंट हो सकता है। इस गाइड में, हम जानेंगे कि विभिन्न प्रकार के reverts कैसे...
9 min read
Curve StableSwap में get_D() और get_y() यह लेख बीजगणितीय रूप से चरण-दर-चरण दिखाता है कि StableSwap invariant से और के लिए कोड कैसे प्राप्त किए जाते हैं। दिया गया StableSwap Invariant: $$ An^n\sum x_i...
15 min read
OpenZeppelin Plugin के साथ Smart Contract Foundry अपग्रेड्स: स्मार्ट कॉन्ट्रैक्ट को अपग्रेड करना कई चरणों वाली और त्रुटियों की संभावना वाली प्रक्रिया है, इसलिए मानवीय भूल की संभावनाओं को कम करने के लिए, यह उचित है कि एक... का उपयोग किया जाए।
12 min read
UUPS: Universal Upgradeable Proxy Standard (ERC-1822) UUPS पैटर्न एक ऐसा proxy पैटर्न है जिसमें upgrade फ़ंक्शन implementation कॉन्ट्रैक्ट में मौजूद होता है, लेकिन यह implementation एड्रेस को बदल देता है...