Browse all Zero Knowledge articles.
8 min read
Number Theoretic Transform (NTT) The Number Theoretic Transform (NTT) is an algorithm for evaluating a polynomial in a finite field on n values in O(n log n) time. Normally, evaluating a polynomial...
11 min read
Using Convolution Theorem to Prove Equivalence Between Multiplication in Coefficient Form and Point Form At the beginning of this series, we argued that the multiplication of two polynomials of...
16 min read
Starknet के Contract Deployment Model को समझना। Ethereum पर, आप एक ही transaction में एक contract deploy करते हैं। Starknet एक अलग दृष्टिकोण अपनाता है: deployment को दो अलग-अलग transactions में विभाजित किया गया है,...
10 min read
इकाई के मूलों की लंबकोणीयता एक प्राथमिक $k$-वें इकाई के मूल द्वारा उत्पन्न $k$-वें इकाई के मूलों की घातों का योग या तो शून्य होता है या $k$ होता है। हम इस गुण को मूलों की लंबकोणीयता... कहते हैं।
13 min read
sBPF assembly का उपयोग करके Solana Instruction inputs को पढ़ना। पिछले ट्यूटोरियल में, हमने sBPF memory layout का परिचय दिया था और program execution के दौरान प्रत्येक register के उद्देश्य को समझाया था। इसमें...
12 min read
sBPF मेमोरी लेआउट और रजिस्टर कन्वेंशन्स यह ट्यूटोरियल Solana BPF (sBPF) मेमोरी लेआउट और इसके वर्चुअल मशीन रजिस्टरों की भूमिकाओं का परिचय देता है। हम उन कन्वेंशन्स को प्रदर्शित करेंगे कि कैसे...
7 min read
Storage Mappings के साथ Sstore Hooks का उपयोग करना परिचय: "Introduction to Storage Hooks And Ghosts" अध्याय में, हमने सरल storage variables के साथ storage hooks और ghosts पर चर्चा की थी। हमने दिखाया था कि...
9 min read
CVL में सशर्त कथन और Solady तथा Solmate के कुछ हिस्सों का औपचारिक सत्यापन परिचय कुछ कॉन्ट्रैक्ट व्यवहार (प्रॉपर्टीज़) स्वाभाविक रूप से सशर्त होते हैं, और CVL में if/else जैसे कंस्ट्रक्ट्स का उपयोग करना...
5 min read
Overflow और Mathint CVL में, प्रकार असीमित पूर्णांकों का प्रतिनिधित्व करता है, जो Solidity के निश्चित-आकार वाले प्रकारों जैसे कि . के विपरीत है। यह overflow या underflow के बिना अंकगणितीय संचालन करता है, जो ... के आधार पर तर्क करने की अनुमति देता है
10 min read
Implication Operator का परिचय Implication operator का उपयोग अक्सर statement के विकल्प के रूप में किया जाता है क्योंकि यह अधिक स्पष्ट होता है। निम्नलिखित उदाहरण पर विचार करें: एक function जो दो unsigned...
17 min read
Cairo भाषा का परिचय Cairo एक प्रोग्रामिंग भाषा है जिसे प्रमाणित और सत्यापित करने योग्य कंप्यूटेशन के लिए डिज़ाइन किया गया है, विशेष रूप से Starknet जैसे zero-knowledge सिस्टम के संदर्भ में, जो एक Layer 2...
4 min read
इकाई के मूलों का दृश्य निरूपण यह गुण कि यदि $\omega$ इकाई का $k$-वाँ मूल है, तो $\omega^i$ और $\omega^{i+k/2}$ योगात्मक प्रतिलोम हैं, थोड़ा अमूर्त लग सकता है — यह...