तेज़ोस के लिए माइकल्सन स्मार्ट कॉन्ट्रैक्ट

मैं तेज़ोस ब्लॉकचेन के लिए सभी स्तरों पर स्मार्ट कॉन्ट्रैक्ट विकसित और सत्यापित करता हूँ। माइकल्सन एक निम्न-स्तरीय स्टैक भाषा है जिसे तेज़ोस वर्चुअल मशीन वास्तव में निष्पादित करती है, और इसे औपचारिक सत्यापन के लिए अनुकूलित किया गया है। जब गैस, स्टोरेज और स्टैक ऑपरेशनों पर सटीक नियंत्रण की आवश्यकता होती है, तो मैं सीधे माइकल्सन में कॉन्ट्रैक्ट लिखता हूँ, और जब उसी बाइटकोड के लिए तेज़ और अधिक पठनीय मार्ग अधिक महत्वपूर्ण होता है, तो उच्च-स्तरीय LIGO और SmartPy भाषाओं का उपयोग करता हूँ। जिस भी छोर से हम शुरू करते हैं, मैं संकलित माइकल्सन को पढ़ता और पार्स करता हूँ ताकि आप जान सकें कि नेटवर्क में वास्तव में क्या जाता है।

आपको क्या मिलता है: एक कार्यशील कॉन्ट्रैक्ट जिसमें एक विचारशील स्टोरेज योजना और प्रवेश बिंदु होते हैं; सही तरीके से लागू FA2 और FA1.2 टोकन मानक; मॉड्यूलर और प्रॉपर्टी परीक्षण; गैस और स्टोरेज लागत की समीक्षा; प्रत्येक प्रवेश बिंदु, विफलता शाखा और अनुमति जांच का विवरण देने वाली एक रिपोर्ट। मैं मुख्यनेट लॉन्च से पहले सैंडबॉक्स और घोस्टनेट पर परीक्षण करता हूँ और आपके टीम के लिए पुनः तैनाती के बिना मुझे दस्तावेज़ीकरण और अपडेट चरणों का विवरण देता हूँ।

मैं तैयार किए गए कॉन्ट्रैक्ट्स का भी ऑडिट करता हूँ: मैं एक स्टोरेज मैप बनाता हूँ, प्रत्येक प्रवेश बिंदु का पता लगाता हूँ, पुनः प्रवेश, पूर्णांक ओवरफ्लो, टूटी हुई पहुंच नियंत्रण और असुरक्षित बाहरी कॉल की तलाश करता हूँ, और सुधारों के साथ प्राथमिकता दी गई निष्कर्षों की सूची प्रदान करता हूँ। मुझे एक विशिष्टता या वर्तमान कोड भेजें — मैं कार्य की सीमा, एक निश्चित मूल्य और समयसीमा के साथ प्रतिक्रिया दूंगा।