MATT फ्रेमवर्क और OP_CHECKCONTRACTVERIFY से बिटकॉइन कॉन्ट्रैक्ट्स में स्टेटफुलिटी
Cointelegraph Research बताता है कि MATT प्रस्ताव और नया OP_CHECKCONTRACTVERIFY ऑपकोड कैसे बिटकॉइन को ट्रांज़ैक्शन के बीच कॉन्ट्रैक्ट स्टेट ले जाने में सक्षम बनाते हैं।
अंग्रेज़ी से अनुवादित। मूल लेख पढ़ें
मुख्य बातें
- MATT (Merkleize All The Things) एक स्टेटफुल कॉन्ट्रैक्ट फ्रेमवर्क प्रस्तावित करता है जो OP_CHECKCONTRACTVERIFY पर आधारित है।
- OP_CHECKCONTRACTVERIFY यह सत्यापित कर सकता है कि एक Taproot आउटपुट कुंजी को विशिष्ट कॉन्ट्रैक्ट स्टेट डेटा के साथ ट्यून किया गया है।
- OP_CHECKCONTRACTVERIFY को OP_CAT के साथ मिलाकर ऑन‑चेन Merkle प्रूफ़ और फ्रॉड‑प्रूफ़ मैकेनिज़्म बनाये जा सकते हैं।
Cointelegraph Research ने बिटकॉइन कोवेनेंट्स पर अपनी श्रृंखला का पाँचवाँ भाग जारी किया, जिसमें MATT (Merkleize All The Things) नामक नया फ्रेमवर्क और OP_CHECKCONTRACTVERIFY (OP_CCV) ऑपकोड का विवरण दिया गया। यह प्रस्ताव बिटकॉइन को कई ट्रांज़ैक्शन में बदलते कॉन्ट्रैक्ट स्टेट ले जाने की क्षमता देता है, जो मानक बिटकॉइन स्क्रिप्ट्स में नहीं है क्योंकि प्रत्येक ट्रांज़ैक्शन अलग‑अलग मूल्यांकन होता है।
BTC / USD
MATT टैप्रूट कुंजियों में स्टेट कैसे एम्बेड करता है
MATT टैप्रूट की मौजूदा ट्यून मैकेनिज़्म पर आधारित है, जहाँ टैप्रूट आउटपुट की पब्लिक कुंजी Q को Q = P + t·G के रूप में निकाला जाता है, जहाँ P आंतरिक कुंजी है और t डेटा का टैग्ड हैश है जिसे कमिट किया जाना है। केवल स्क्रिप्ट ट्री के Merkle रूट को कमिट करने के बजाय, MATT प्रस्तावित करता है कि कॉन्ट्रैक्ट स्टेट को भी ट्यून में एम्बेड किया जाए। स्टेट को हैश करके ट्यून में शामिल किया जाता है, जिससे अगला आउटपुट नया स्टेट ले जा सके, जो खर्च के समय पुनः गणना किया जाता है।
OP_CHECKCONTRACTVERIFY स्टेट ट्रांज़िशन को लागू करता है
MATT का मुख्य प्रिमिटिव OP_CHECKCONTRACTVERIFY है। रिपोर्ट के अनुसार, OP_CCV स्क्रिप्ट को यह सत्यापित करने देता है कि टैप्रूट इनपुट या आउटपुट कुंजी को विशेष स्टेट डेटा के साथ ट्यून किया गया है। ऑपकोड का स्टैक फॉर्मेट <data> <index> <pk> <taptree> <mode> OP_CHECKCONTRACTVERIFY है, जिसमें तीन ऑपरेशनल मोड हैं: डिफ़ॉल्ट (पूरा इनपुट वैल्यू निर्दिष्ट आउटपुट में जाता है), डिडक्ट (केवल आउटपुट राशि जाती है, बाकी अन्य आउटपुट के लिए बचती है), और इग्नोर (राशि प्रतिबंधों के बिना सत्यापन)। ये मोड वैल्यू को संरक्षित रखते हुए अलग‑अलग फ़ी इनपुट की अनुमति देते हैं, जिससे पहले के कोवेनेंट डिज़ाइनों जैसे OP_CTV या SIGHASH_ANYPREVOUT में देखी गई फंड‑बर्न समस्याएँ नहीं होतीं।
OP_CAT से एक्सप्रेसिविटी का विस्तार
जब OP_CHECKCONTRACTVERIFY को OP_CAT के साथ जोड़ा जाता है, तो फ्रेमवर्क ऑन‑चेन Merkle प्रूफ़ बना और सत्यापित कर सकता है। टैप्रूट आउटपुट से दो Merkle ट्री जुड़े होते हैं: मानक स्क्रिप्ट ट्री और एक अलग स्टेट ट्री जो मध्यवर्ती गणना चरणों को संग्रहीत करता है। OP_CAT बाइट स्ट्रिंग्स को जोड़ता है, जिससे स्क्रिप्ट वर्तमान स्टेट के लिए Merkle प्रूफ़ को पुनः बनाकर नया रूट गणना कर सके, और फिर OP_CCV का उपयोग करके अगले आउटपुट को उस नए रूट पर कमिट करने के लिए मजबूर किया जा सके। यह डिज़ाइन फ्रॉड‑प्रूफ़ सिस्टम का समर्थन करता है, जो ऑप्टिमिस्टिक रोलअप्स के समान है, जहाँ अधिकांश गणना ऑफ‑चेन होती है और केवल विवादित चरणों को ऑन‑चेन पोस्ट करके सत्यापित किया जाता है।
आगे क्या देखना है
MATT के अगले कदमों में औपचारिक BIP प्रस्ताव और Bitcoin Core में OP_CHECKCONTRACTVERIFY इम्प्लीमेंटेशन्स का कम्युनिटी टेस्टिंग शामिल होगा। बिटकॉइन डेवलपर मेलिंग लिस्ट और किसी भी टेस्ट‑नेट डिप्लॉयमेंट पर नज़र रखें, जो स्टेटफुल कॉन्ट्रैक्ट्स, फ्रॉड‑प्रूफ़ वॉल्ट्स या श्रृंखला में उजागर किए गए अन्य उपयोग मामलों को दर्शाते हों।


चर्चा 0