Certora Require, Assert, और Satisfy पिछले अध्याय में, हमने सीखा कि स्पेसिफिकेशन CVL में लिखा गया कोड का एक हिस्सा होता है जो किसी स्मार्ट कॉन्ट्रैक्ट के अपेक्षित व्यवहार का वर्णन करता है। एक...

Starknet पर ERC-20 Token Starknet पर ERC-20 tokens उसी तरह काम करते हैं जैसे Ethereum पर करते हैं। वास्तव में, STRK (Starknet का fee token) स्वयं एक ERC-20 token है; protocol में कोई विशेष "native" token नहीं है...

Cairo में Constructors एक constructor एक one-time-call function है जिसे contract deployment के दौरान state variables को initialize करने, contract setup कार्य करने, cross-contract interactions करने और... के लिए execute किया जाता है।

Cairo में Function Visibility Cairo में Solidity की तरह "internal" और "pure" modifiers (या इस मामले में कोई अन्य modifiers) नहीं होते हैं। याद रखें कि किसी ब्लॉक को के साथ मार्क करने से Cairo को यह निर्देश मिलता है कि वह शामिल करे...

Cairo भाषा का परिचय Cairo एक प्रोग्रामिंग भाषा है जिसे प्रमाणित और सत्यापित करने योग्य कंप्यूटेशन के लिए डिज़ाइन किया गया है, विशेष रूप से Starknet जैसे zero-knowledge सिस्टम के संदर्भ में, जो एक Layer 2...

Cairo में Access Control: Access control यह निर्धारित करता है कि कौन विशिष्ट functions को call कर सकता है या contract के व्यवहार को संशोधित कर सकता है। यह लेख समझाता है कि Cairo macro का उपयोग करके access control को कैसे लागू करता है। ...की एक समीक्षा

Cairo Components भाग 1 Cairo में Components, Solidity में abstract contracts की तरह व्यवहार करते हैं। वे storage, events, और functions को परिभाषित कर सकते हैं और उनके साथ काम कर सकते हैं, लेकिन उन्हें अपने आप deploy नहीं किया जा सकता है। यह...

एक बेसिक कॉन्ट्रैक्ट की संरचना यह लेख बताता है कि Starknet के लिए एक डिप्लॉय करने योग्य Cairo कॉन्ट्रैक्ट कैसे बनाया जाए। एक साधारण रूपरेखा से शुरू करते हुए, हम एक कार्यशील कॉन्ट्रैक्ट बनाने के लिए धीरे-धीरे इसमें फीचर्स जोड़ेंगे...

Components Part 2: OpenZeppelin ERC-20 ट्यूटोरियल Component Part 1 में, हमने सीखा कि एक सिंगल फाइल के भीतर एक component कैसे बनाया और उपयोग किया जाता है। हमने बिल्कुल शुरुआत से एक बनाया और इसके स्टोरेज, इवेंट्स, और... को इंटीग्रेट किया।

Cairo Storage Variable Types Starknet में, Contract Storage वह स्थायी मेमोरी है जहाँ आपके स्मार्ट कॉन्ट्रैक्ट की स्टेट रहती है। किसी फ़ंक्शन के अंदर डिक्लेयर किए गए वेरिएबल्स के विपरीत, जो ... के बाद गायब हो जाते हैं...

Cairo में Integers: Cairo उन integer sizes की पूरी रेंज प्रदान नहीं करता है जो Solidity में पाई जाती हैं। जबकि Solidity 256 तक 8 bits के प्रत्येक गुणज के लिए integer types प्रदान करता है, Cairo केवल... को सपोर्ट करता है।

टाइप कास्टिंग Cairo में टाइप कास्टिंग वैल्यूज़ को एक डेटा टाइप से दूसरे डेटा टाइप में परिवर्तित करने की प्रक्रिया है। यह तब आवश्यक हो जाता है जब Cairo के सख्त टाइप सिस्टम के साथ काम किया जाता है, जहाँ स्पष्ट टाइप मैचिंग...