नेटिव Solana: प्रोग्राम एंट्री और एग्जीक्यूशन इस पूरी सीरीज़ के दौरान, हमने Solana प्रोग्राम बनाने के लिए Anchor फ्रेमवर्क का उपयोग किया है। यह ट्यूटोरियल आपको सिखाता है कि इन्हें नेटिव Rust में बिना... के कैसे लिखा जाए।

Switchboard On-chain प्रोग्राम सीधे off-chain डेटा को एक्सेस नहीं कर सकते हैं। वे एसेट की कीमतों, इवेंट के परिणामों, या API रिस्पॉन्स जैसी जानकारी लाने के लिए oracles पर निर्भर करते हैं। इन oracles के बिना,...

Preserved Block और Invariant Verification में इसकी भूमिका Invariant एक ऐसी विशेषता है जिसे स्मार्ट कॉन्ट्रैक्ट के डिप्लॉय होने के बाद और इसके पूरे निष्पादन के दौरान हमेशा सत्य रहना चाहिए। पहली नज़र में,...

ERC-721 में SafeMint और SafeTransfer नियम परिचय यह अध्याय OpenZeppelin के ERC-721 CVL स्पेसिफिकेशन के हमारे कोड वॉकथ्रू का चौथा भाग (4/5) है और औपचारिक रूप से सत्यापित करने पर केंद्रित है...

Rules और Invariants में “requireInvariant" का उपयोग: अब तक, हमने या तो विशिष्ट व्यवहारों को सत्यापित करने के लिए एक rule लिखा है या उन गुणों को सत्यापित करने के लिए एक invariant लिखा है जो पूरे... के दौरान हमेशा सत्य रहने चाहिए।

Ghost और Hook का उपयोग करके Invariant को Verify करना: किसी भी सही ERC20 implementation में, सभी अकाउंट बैलेंस का योग हमेशा total token supply के बराबर होना चाहिए। यह property हमेशा सत्य रहनी चाहिए...

ERC-721 के लिए आंशिक रूप से पैरामेट्रिक नियमों का परिचय। यह अध्याय OpenZeppelin के ERC-721 CVL स्पेसिफिकेशन के कोड वॉकथ्रू का अंतिम भाग (5/5) है, जो निम्नलिखित को औपचारिक रूप से सत्यापित करता है...

Invariants में Ghosts को सीमित करना। पिछले अध्याय में, हमने देखा कि कैसे अनियंत्रित ghost variables, false positives का कारण बन सकते हैं। हमने यह भी सीखा कि कैसे एक statement का उपयोग प्रभावी रूप से सीमित करने के लिए किया जा सकता है...

CVL में लूप्स: Path Explosion और Loop Unrolling लूप्स सबसे आम प्रोग्रामिंग कंस्ट्रक्ट्स में से एक हैं, लेकिन formal verification में इनका विश्लेषण करना अभी भी चुनौतीपूर्ण बना हुआ है। जबकि Solidity में एक लूप...

ERC-721 के लिए Invariants का परिचय पिछले अध्यायों में, हमने जाना कि CVL invariants कैसे काम करते हैं: ऐसे गुण जिन्हें पूरे कॉन्ट्रैक्ट निष्पादन के दौरान कायम रहना चाहिए। Invariants ... में पूर्व-शर्तों के रूप में कार्य कर सकते हैं...

Certora में Invariants का परिचय अब तक, हमने व्यक्तिगत methods या methods के अनुक्रमों के व्यवहार को सत्यापित करने पर ध्यान केंद्रित किया है — यह सुनिश्चित करते हुए कि एक विशिष्ट function call या calls का सेट,...

ERC-721 के लिए Mint और Burn के नियम परिचय ERC-721 non-fungible tokens के लिए Ethereum मानक है, जिसका व्यापक रूप से डिजिटल संपत्ति का प्रतिनिधित्व करने के लिए उपयोग किया जाता है। संपत्ति के किसी भी रूप की तरह, यह आपूर्ति के इर्द-गिर्द घूमता है...