ब्लॉकचेन पर आधारित स्मार्ट अनुबंध: वे कैसे काम करते हैं और उन्होंने बिचौलियों की जगह क्यों ले ली
2016 में, कुछ लोगों ने मिलकर 'द डीएओ' नामक एक स्मार्ट कॉन्ट्रैक्ट में 150 मिलियन डॉलर का निवेश किया। इसे एक विकेन्द्रीकृत वेंचर फंड के रूप में स्थापित किया गया था। इसमें कोई प्रबंधक, कोई बोर्ड नहीं था, बस कोड ही तय करता कि पैसा कहाँ जाएगा। छह सप्ताह बाद, एक हैकर ने उस कोड में खामी ढूंढ निकाली और 60 मिलियन डॉलर निकाल लिए। कॉन्ट्रैक्ट ठीक उसी तरह निष्पादित हुआ जैसा लिखा गया था। समस्या यह थी कि जो लिखा गया था वह रचनाकारों की मंशा से अलग था।
वह कहानी स्मार्ट कॉन्ट्रैक्ट्स के बारे में सब कुछ एक ही बार में समेट लेती है: इसकी शक्ति, इसका जोखिम और यह वास्तविकता कि "कोड ही कानून है" सुनने में तो अच्छा लगता है, लेकिन कोड में कोई गड़बड़ी होने पर बात बिगड़ जाती है। उस शुरुआती असफलता के बावजूद, स्मार्ट कॉन्ट्रैक्ट्स ने 100 अरब डॉलर से अधिक का उद्योग खड़ा कर दिया। DeFi, NFT, DAO, स्टेबलकॉइन, टोकन लॉन्च, ये सब उसी विचार पर आधारित हैं जिसे निक स्ज़ाबो ने 1994 में कागज पर उकेरा था।
यह लेख बताता है कि स्मार्ट कॉन्ट्रैक्ट वास्तव में क्या हैं, वे आंतरिक रूप से कैसे काम करते हैं, उनका उपयोग आज कहां किया जाता है, और उनमें क्या गड़बड़ी हो सकती है।
स्मार्ट कॉन्ट्रैक्ट क्या है?
स्मार्ट कॉन्ट्रैक्ट एक ऐसा प्रोग्राम है जो ब्लॉकचेन पर स्टोर होता है और पूर्व निर्धारित शर्तों के पूरा होने पर अपने आप चलने लगता है। इसमें किसी इंसान को बटन दबाने की जरूरत नहीं होती। किसी वकील को इसकी समीक्षा करने की जरूरत नहीं होती। किसी बैंक को इसे मंजूरी देने की जरूरत नहीं होती। कॉन्ट्रैक्ट खुद जांचता है कि शर्तें पूरी हुई हैं या नहीं, और अगर पूरी हो जाती हैं, तो वह उसे लागू कर देता है।
इसे समझने का सबसे सरल तरीका एक वेंडिंग मशीन का उदाहरण है। आप उसमें 2 डॉलर डालते हैं, बटन दबाते हैं, और मशीन आपको सोडा दे देती है। लेन-देन स्वचालित, भरोसेमंद और अंतिम होता है। कोका-कोला का कोई भी कर्मचारी आपको व्यक्तिगत रूप से सोडा नहीं देता। स्मार्ट कॉन्ट्रैक्ट भी यही काम करते हैं, लेकिन वित्तीय लेन-देन, स्वामित्व हस्तांतरण, मतदान, बीमा भुगतान और हजारों अन्य उपयोगों के लिए।
कंप्यूटर वैज्ञानिक और कानूनी विद्वान निक स्ज़ाबो ने 1994 में इस अवधारणा को प्रस्तुत किया था। लेकिन इसे क्रियान्वित करने की तकनीक 2015 में एथेरियम के लॉन्च होने तक मौजूद नहीं थी। बिटकॉइन में एक बुनियादी स्क्रिप्टिंग भाषा है जो सरल स्थितियों को संभाल सकती है, लेकिन एथेरियम ने एक ट्यूरिंग-पूर्ण प्रोग्रामिंग भाषा (सॉलिडिटी) पेश की है जो डेवलपर्स को जटिल तर्क को सीधे ब्लॉकचेन पर लिखने की अनुमति देती है।
जब कोई कहता है कि एक स्मार्ट कॉन्ट्रैक्ट "एथेरियम पर डिप्लॉय" हो गया है, तो इसका मतलब है कि कोड को एथेरियम ब्लॉकचेन पर स्थायी रूप से लिख दिया गया है। एथेरियम नेटवर्क पर मौजूद हर नोड इसकी एक कॉपी स्टोर करता है। हर नोड इसे एग्जीक्यूट कर सकता है। कोड सभी के लिए उपलब्ध है। और एक बार डिप्लॉय होने के बाद, कोड को बदला नहीं जा सकता (अपग्रेड करने योग्य कॉन्ट्रैक्ट पैटर्न के कुछ अपवादों को छोड़कर, जिनमें भरोसे से जुड़ी अपनी मान्यताएं होती हैं)।
एक ठोस उदाहरण लीजिए: मान लीजिए आप और मैं शर्त लगाते हैं कि 31 दिसंबर 2026 को बिटकॉइन की कीमत 80,000 डॉलर से ऊपर होगी या नहीं। हम दोनों एक-एक ETH एक स्मार्ट कॉन्ट्रैक्ट में भेजते हैं। कॉन्ट्रैक्ट को इस तरह प्रोग्राम किया गया है कि वह उस तारीख को बिटकॉइन की कीमत (चेनलिंक जैसे ऑरेकल का उपयोग करके) की जाँच करे और विजेता को स्वचालित रूप से 2 ETH भेज दे। इसमें किसी सट्टेबाज की ज़रूरत नहीं है। हम दोनों के बीच किसी भरोसे की आवश्यकता नहीं है। कॉन्ट्रैक्ट पैसे को अपने पास रखता है और बिना किसी मानवीय हस्तक्षेप के भुगतान कर देता है।
ब्लॉकचेन पर स्मार्ट कॉन्ट्रैक्ट कैसे काम करते हैं
प्रत्येक स्मार्ट कॉन्ट्रैक्ट ब्लॉकचेन नेटवर्क पर एक विशिष्ट पते पर मौजूद होता है, ठीक उसी तरह जैसे एक वॉलेट। लेकिन इसमें किसी व्यक्ति के पैसे रखने के बजाय, कोड और स्थिति (डेटा) रखी जाती है।
जब आप किसी स्मार्ट कॉन्ट्रैक्ट के साथ इंटरैक्ट करते हैं, तो आप उसके पते पर निर्देश सहित एक लेनदेन भेजते हैं: "मैं 1 ETH को USDC में बदलना चाहता/चाहती हूँ" या "मैं कोलैटरल जमा करना चाहता/चाहती हूँ और उसके बदले उधार लेना चाहता/चाहती हूँ।" कॉन्ट्रैक्ट आपका लेनदेन प्राप्त करता है, अपनी आंतरिक कार्यप्रणाली को संचालित करता है और उसी ब्लॉक के भीतर आउटपुट उत्पन्न करता है।
एथेरियम पर निष्पादन के लिए गैस की आवश्यकता होती है। अधिक जटिल प्रक्रियाओं में अधिक गैस खर्च होती है। एक साधारण टोकन हस्तांतरण में 21,000 गैस यूनिट लग सकती हैं। कई चरणों वाली DeFi प्रक्रिया में 300,000 से अधिक गैस यूनिट लग सकती हैं। गणना करने वाले वैलिडेटर्स को क्षतिपूर्ति देने के लिए आप नेटवर्क की मूल मुद्रा (उदाहरण के लिए, एथेरियम पर ETH) में गैस शुल्क का भुगतान करते हैं।
एथेरियम वर्चुअल मशीन की भूमिका
एथेरियम वर्चुअल मशीन (ईवीएम) वह रनटाइम वातावरण है जहां स्मार्ट कॉन्ट्रैक्ट्स चलते हैं। इसे एक वैश्विक कंप्यूटर की तरह समझें। प्रत्येक एथेरियम नोड ईवीएम चलाता है, और प्रत्येक नोड समान परिणाम प्राप्त करने के लिए स्वतंत्र रूप से समान स्मार्ट कॉन्ट्रैक्ट कोड को निष्पादित करता है। यह अतिरेक ही स्मार्ट कॉन्ट्रैक्ट्स को भरोसेमंद बनाता है: कोई भी नोड आउटपुट को नकली नहीं बना सकता क्योंकि अन्य सभी नोड विसंगति को पकड़ लेंगे।
स्मार्ट कॉन्ट्रैक्ट सॉलिडिटी (सबसे लोकप्रिय) या वाइपर जैसी उच्च-स्तरीय भाषाओं में लिखे जाते हैं, फिर उन्हें बाइटकोड में संकलित किया जाता है जिसे ईवीएम समझता है। अन्य ब्लॉकचेन के अपने वर्चुअल मशीन होते हैं: ट्रॉन टीवीएम (ईवीएम के साथ संगत) का उपयोग करता है, सोलाना अपने स्वयं के रनटाइम का उपयोग करता है, और कार्डानो प्लूटस का उपयोग करता है।
ओरेकल समस्या
स्मार्ट कॉन्ट्रैक्ट केवल ब्लॉकचेन पर मौजूद डेटा ही देख सकते हैं। वे इंटरनेट ब्राउज़ नहीं कर सकते, शेयर की कीमत नहीं देख सकते या मौसम रिपोर्ट नहीं पढ़ सकते। यदि किसी कॉन्ट्रैक्ट को बाहरी डेटा की आवश्यकता होती है (जैसे हमारे बेट उदाहरण के लिए बीटीसी की कीमत), तो वह एक ऑरेकल पर निर्भर करता है, जो वास्तविक दुनिया का डेटा ब्लॉकचेन में फीड करता है।
चेनलिंक प्रमुख ऑरेकल नेटवर्क है, जो दर्जनों ब्लॉकचेन में स्मार्ट कॉन्ट्रैक्ट्स को मूल्य फ़ीड, यादृच्छिकता और बाहरी एपीआई डेटा प्रदान करता है। ऑरेकल की सटीकता और विश्वसनीयता अत्यंत महत्वपूर्ण है: एक दोषपूर्ण मूल्य फ़ीड लाखों डॉलर के गलत लिक्विडेशन या भुगतान का कारण बन सकता है। ऑरेकल में हेरफेर कई प्रमुख डीएफआई हमलों का मुख्य कारण रहा है।
2026 में स्मार्ट कॉन्ट्रैक्ट के उपयोग के उदाहरण
स्मार्ट कॉन्ट्रैक्ट्स के शुरुआती प्रचार में यह दावा किया गया था कि वे रियल एस्टेट से लेकर बीमा तक हर चीज में वकीलों, बैंकों और नोटरियों की जगह ले लेंगे। 2026 की वास्तविकता अधिक केंद्रित है लेकिन फिर भी बहुत बड़ी है:
विकेंद्रीकृत वित्त (DeFi)
DeFi स्मार्ट कॉन्ट्रैक्ट का अब तक का सबसे बड़ा उपयोग क्षेत्र है। 100 अरब डॉलर से अधिक के कुल मूल्य वाली यह पूरी श्रेणी स्मार्ट कॉन्ट्रैक्ट पर आधारित है।
| DeFi श्रेणी | स्मार्ट कॉन्ट्रैक्ट क्या करता है | उदाहरण प्रोटोकॉल |
|---|---|---|
| उधार देना/उधार लेना | गिरवी रखी गई संपत्ति को अपने पास रखता है, ब्याज की गणना करता है, परिसमापन शुरू करता है | Aave, Compound, MakerDAO |
| विकेंद्रीकृत एक्सचेंज | लिक्विडिटी पूल का प्रबंधन करता है, टोकन स्वैप निष्पादित करता है, शुल्क वितरित करता है। | यूनिस्वैप, कर्व, सुशीस्वैप |
| स्टेबलकॉइन्स | संपार्श्विक प्रबंधन और एल्गोरिथम नियमों के माध्यम से पेग को बनाए रखता है | डीएआई, फ्रैक्स, एलयूएसडी |
| संजात | मार्जिन का प्रबंधन करता है, वायदा अनुबंधों का निपटान करता है, भुगतान संभालता है। | dYdX, GMX, Synthetix |
| उपज समुच्चयकर्ता | अधिकतम रिटर्न प्राप्त करने के लिए प्रोटोकॉल के बीच स्वचालित रूप से धनराशि स्थानांतरित करता है। | ईयरन फाइनेंस, बीफी |
जब भी आप Uniswap पर टोकन स्वैप करते हैं, एक स्मार्ट कॉन्ट्रैक्ट लिक्विडिटी पूल अनुपात से कीमत की गणना करता है, 0.3% शुल्क काटता है और टोकन आपके वॉलेट में ट्रांसफर कर देता है। कोई ऑर्डर बुक नहीं, कोई मैचिंग इंजन नहीं, कोई एक्सचेंज कर्मचारी नहीं। बस हजारों कंप्यूटरों पर एक साथ चलने वाला कोड।
DeFi स्मार्ट कॉन्ट्रैक्ट्स की सबसे दिलचस्प बात इनकी संयोजन क्षमता है। कॉन्ट्रैक्ट्स दूसरे कॉन्ट्रैक्ट्स को कॉल कर सकते हैं। एक ही ट्रांजैक्शन Aave से उधार ले सकता है, Uniswap पर स्वैप कर सकता है और यील्ड फार्म में डिपॉजिट कर सकता है, सब कुछ एटॉमिक रूप से। अगर कोई भी चरण विफल हो जाता है, तो पूरा ट्रांजैक्शन रद्द हो जाता है। लेगो की तरह बिल्डिंग बनाने का यह तरीका ही वह है जिसे लोग "मनी लेगो" कहते हैं। यह शक्तिशाली तो है, लेकिन इसका मतलब यह भी है कि किसी एक व्यापक रूप से उपयोग किए जाने वाले कॉन्ट्रैक्ट में कोई बग पूरे इकोसिस्टम में फैल सकता है।
एनएफटी और डिजिटल स्वामित्व
प्रत्येक NFT एक स्मार्ट कॉन्ट्रैक्ट है। ERC-721 मानक यह परिभाषित करता है कि एथेरियम पर अद्वितीय टोकन कैसे बनाए, स्थानांतरित और सत्यापित किए जाते हैं। जब आप OpenSea पर एक NFT खरीदते हैं, तो एक स्मार्ट कॉन्ट्रैक्ट स्वामित्व के हस्तांतरण और भुगतान को एक ही लेनदेन में संभालता है: या तो दोनों होते हैं या कुछ भी नहीं होता। एस्क्रो की आवश्यकता नहीं है।
डीएओ और शासन
विकेंद्रीकृत स्वायत्त संगठन (डीएओ) मतदान, कोष और प्रस्तावों के क्रियान्वयन को प्रबंधित करने के लिए स्मार्ट अनुबंधों का उपयोग करते हैं। जब कोई डीएओ विकास अनुदान के लिए 500 ईटीएच आवंटित करने के लिए मतदान करता है, तो स्मार्ट अनुबंध आवश्यक सीमा पार करते ही स्वचालित रूप से धनराशि जारी कर देता है। बोर्ड का कोई भी सदस्य चेक नहीं लिखता है।
आपूर्ति श्रृंखला और सत्यापन
ब्रांड कारखाने से लेकर उपभोक्ता तक उत्पादों की ट्रैकिंग के लिए स्मार्ट कॉन्ट्रैक्ट का उपयोग करते हैं। आपूर्ति श्रृंखला का प्रत्येक चरण ब्लॉकचेन पर दर्ज किया जाता है, जिससे छेड़छाड़-रहित रिकॉर्ड बनता है। यह सार्वजनिक क्रिप्टोकरेंसी की तुलना में उद्यम ब्लॉकचेन अनुप्रयोगों में अधिक आम है, लेकिन वॉलमार्ट और माएर्स्क जैसी कंपनियों ने ब्लॉकचेन नेटवर्क पर आपूर्ति श्रृंखला पायलट प्रोजेक्ट चलाए हैं।
बीमा
पैरामीट्रिक बीमा अनुबंध मापनीय घटनाओं के आधार पर स्वचालित रूप से भुगतान शुरू कर देते हैं। फसल बीमा का एक स्मार्ट अनुबंध किसी किसान को स्वचालित रूप से भुगतान कर सकता है यदि वर्षा का डेटा (एक ऑरेकल द्वारा प्रदान किया गया) एक निश्चित सीमा से नीचे गिर जाता है। कोई दावा प्रक्रिया नहीं। कोई समायोजनकर्ता नहीं। अनुमोदन के लिए हफ्तों तक इंतजार करने की आवश्यकता नहीं।
स्मार्ट कॉन्ट्रैक्ट्स के जोखिम और सीमाएं
बग और खामियों
स्मार्ट कॉन्ट्रैक्ट कोड एक बार डिप्लॉय हो जाने के बाद अपरिवर्तनीय हो जाता है। अगर इसमें कोई बग आ जाए, तो इसे किसी सामान्य ऐप की तरह ठीक नहीं किया जा सकता। हैकर्स ने कोडिंग की गलतियों का फायदा उठाकर अरबों डॉलर चुरा लिए हैं। DAO हैक (2016 में $60 मिलियन), वर्महोल ब्रिज एक्सप्लॉइट (2022 में $320 मिलियन) और यूलर फाइनेंस हैक (2023 में $197 मिलियन) सभी स्मार्ट कॉन्ट्रैक्ट की कमजोरियों के कारण हुए थे। कोड ऑडिट मददगार होते हैं, लेकिन सुरक्षा की गारंटी नहीं देते। ऑडिट किए गए कॉन्ट्रैक्ट्स का भी दुरुपयोग हुआ है।
गैस की लागत और नेटवर्क में भीड़भाड़
व्यस्त समय में एथेरियम मेननेट पर जटिल स्मार्ट कॉन्ट्रैक्ट इंटरैक्शन में गैस की लागत 5-50 डॉलर तक हो सकती है। लेयर-2 नेटवर्क इसे कुछ सेंट तक कम कर देते हैं, लेकिन L1 पर लागत की बाधा अभी भी बनी रहती है। कुछ ऑपरेशन (जैसे नया कॉन्ट्रैक्ट डिप्लॉय करना या मल्टी-स्टेप डीएफआई रणनीतियों के साथ इंटरैक्ट करना) लाखों गैस यूनिट्स की खपत कर सकते हैं।
अपरिवर्तनीयता के दोनों पहलू हैं
स्मार्ट कॉन्ट्रैक्ट्स को बदला नहीं जा सकता, यह एक खूबी (कोई नियमों में छेड़छाड़ नहीं कर सकता) और एक खामी (कोई गलतियों को ठीक नहीं कर सकता) दोनों है। कुछ कॉन्ट्रैक्ट्स "प्रॉक्सी पैटर्न" का उपयोग करते हैं जो अपग्रेड की अनुमति देते हैं, लेकिन इससे विश्वास का सवाल उठता है: अपग्रेड को कौन नियंत्रित करता है? यदि कोई टीम कॉन्ट्रैक्ट को बदल सकती है, तो सैद्धांतिक रूप से वे इसे अपने फायदे के लिए बदल सकते हैं। वास्तविक अपरिवर्तनीयता का अर्थ है कोड को उसकी मौजूदा स्थिति में, खामियों सहित, स्वीकार करना।
कानूनी अस्पष्ट क्षेत्र
अधिकांश देशों में स्मार्ट कॉन्ट्रैक्ट कानूनी अर्थों में "अनुबंध" नहीं होते हैं। एक पारंपरिक अनुबंध में प्रस्ताव, स्वीकृति, प्रतिफल और आपसी सहमति आवश्यक होती है। स्मार्ट कॉन्ट्रैक्ट केवल कोड होता है जो ट्रिगर होने पर निष्पादित होता है। यदि इसमें कोई खराबी आती है और आपको नुकसान होता है, तो कौन जिम्मेदार होगा? डेवलपर? प्रोटोकॉल का DAO? या वह ऑडिटर जिसने त्रुटि को नज़रअंदाज़ कर दिया? अदालतें अभी भी इन सवालों पर विचार कर रही हैं।
कुछ क्षेत्राधिकार अन्य क्षेत्रों की तुलना में इस मामले में अधिक आगे हैं। अमेरिका के टेनेसी राज्य ने 2018 में एक कानून पारित किया जिसमें स्मार्ट अनुबंधों को कानूनी रूप से लागू करने योग्य माना गया। व्योमिंग में भी इसी तरह का कानून है। यूके विधि आयोग ने 2021 में एक रिपोर्ट प्रकाशित की जिसमें यह निष्कर्ष निकाला गया कि मौजूदा अंग्रेजी अनुबंध कानून स्मार्ट अनुबंधों को स्वीकार कर सकता है। लेकिन अभी तक वैश्विक सहमति नहीं बन पाई है, और स्मार्ट अनुबंधों से जुड़े सीमा पार विवाद कानूनी रूप से एक जटिल समस्या हैं।
व्यवहारिक दृष्टि से: यदि वास्तविक दांव-पेच शामिल हों तो स्मार्ट कॉन्ट्रैक्ट को कानूनी समझौते के विकल्प के रूप में न मानें। इसे निष्पादन परत के रूप में उपयोग करें, और यदि आपको अदालत में इसे लागू करवाना हो तो इसे पारंपरिक कानूनी ढांचे के साथ जोड़ें।
उनकी गुणवत्ता उनके इनपुट पर निर्भर करती है।
एक त्रुटिपूर्ण ऑरेकल पर निर्भर एक उत्तम रूप से लिखा गया स्मार्ट कॉन्ट्रैक्ट भी गलत परिणाम देता है। गलत इनपुट से गलत आउटपुट ही मिलता है। यदि चेनलिंक का प्राइस फीड एक ब्लॉक के लिए भी गलत ETH मूल्य प्रदान करता है, तो एक लेंडिंग प्रोटोकॉल उपयोगकर्ताओं के लाखों पोजिशन को गलत तरीके से लिक्विडेट कर सकता है। स्मार्ट कॉन्ट्रैक्ट में "स्मार्ट" शब्द स्व-निष्पादन को संदर्भित करता है, न कि बुद्धिमत्ता को।
कौन से ब्लॉकचेन स्मार्ट कॉन्ट्रैक्ट्स को सपोर्ट करते हैं?
सभी ब्लॉकचेन स्मार्ट कॉन्ट्रैक्ट नहीं चला सकते। बिटकॉइन की स्क्रिप्टिंग भाषा जानबूझकर सीमित रखी गई है। स्मार्ट कॉन्ट्रैक्ट यहाँ मौजूद होते हैं:
| ब्लॉकचेन | स्मार्ट अनुबंध भाषा | उल्लेखनीय विशेषता |
|---|---|---|
| Ethereum | सॉलिडिटी, वाइपर | सबसे बड़ा इकोसिस्टम, सबसे अधिक DeFi |
| सोलाना | जंग | उच्च उत्पादन क्षमता, कम शुल्क |
| हिमस्खलन | सॉलिडिटी (ईवीएम संगत) | सबनेट आर्किटेक्चर |
| कार्डानो | प्लूटस, मार्लो | औपचारिक सत्यापन पर ध्यान केंद्रित |
| ट्रोन | सॉलिडिटी (ईवीएम संगत) | स्टेबलकॉइन ट्रांसफर |
| पोल्का डॉट | स्याही! (रस्ट-आधारित) | क्रॉस-चेन इंटरऑपरेबिलिटी |
| आर्बिट्रम, बेस, ऑप्टिमिज़्म | सॉलिडिटी (ईवीएम एल2) | सस्ते एथेरियम स्मार्ट अनुबंध |
एथेरियम आज भी सबसे प्रभावशाली ब्लॉकचेन बना हुआ है। इलेक्ट्रिक कैपिटल की डेवलपर रिपोर्ट के अनुसार, एथेरियम में अन्य सभी ब्लॉकचेन की तुलना में कहीं अधिक सक्रिय स्मार्ट कॉन्ट्रैक्ट डेवलपर हैं। EVM कम्पैटिबिलिटी उद्योग का डिफ़ॉल्ट मानक बन गई है। यदि कोई नया ब्लॉकचेन डेवलपर चाहता है, तो वह लगभग हमेशा सॉलिडिटी को सपोर्ट करता है। यही कारण है कि एवलांच, पॉलीगॉन, आर्बिट्रम और ट्रॉन जैसी सभी ब्लॉकचेन EVM-कम्पैटिबल वर्चुअल मशीन चलाती हैं।
सोलाना इसका अपवाद है, जो सॉलिडिटी के बजाय रस्ट का उपयोग करता है। इससे इसे प्रदर्शन के मामले में फायदे मिलते हैं (सोलाना प्रोग्राम हार्डवेयर के करीब चलते हैं) लेकिन इसका मतलब यह है कि डेवलपर्स को एक अलग स्टैक सीखना होगा। कार्डानो ने हास्केल-आधारित स्मार्ट कॉन्ट्रैक्ट्स के साथ एक अलग दृष्टिकोण अपनाया, जो औपचारिक सत्यापन पर केंद्रित है, इस विचार के साथ कि गणितीय रूप से सिद्ध कोड में कम बग होते हैं। व्यवहार में, कार्डानो का डीएफआई इकोसिस्टम एथेरियम की तुलना में धीमी गति से विकसित हुआ है, जिसका आंशिक कारण डेवलपर्स के लिए सीखने की प्रक्रिया का कठिन होना है।
