قرارداد هوشمند

صفحه نیمه محافظت شده
از ویکیپدیا، دانشنامه آزاد
(برگرفته از قراردادهای هوشمند )
پرش به ناوبری پرش به جستجو

قرارداد هوشمند یک برنامه کامپیوتری یا یک پروتکل تراکنش است که برای اجرای خودکار، کنترل یا مستندسازی رویدادها و اقدامات قانونی مرتبط بر اساس شرایط یک قرارداد یا توافق در نظر گرفته شده است. [1] [2] [3] [4] اهداف قراردادهای هوشمند کاهش نیاز به واسطه‌های قابل اعتماد، هزینه‌های داوری و زیان‌های ناشی از تقلب و همچنین کاهش استثناهای بدخواهانه و تصادفی است. [5] [2] قراردادهای هوشمند معمولاً با ارزهای دیجیتال و قراردادهای هوشمند معرفی شده توسط اتریوم مرتبط هستند.به طور کلی یک بلوک اساسی برای برنامه های مالی غیرمتمرکز (DeFi) و NFT در نظر گرفته می شوند. [6] [7] [8]

از ماشین های فروش به عنوان قدیمی ترین تکه فناوری معادل اجرای قرارداد هوشمند یاد می شود. [3] وایت پیپر اولیه اتریوم توسط ویتالیک بوترین در سال 2014 [9] پروتکل بیت کوین را به عنوان نسخه ضعیف مفهوم قرارداد هوشمند که در ابتدا توسط نیک سابو تعریف شده بود، توصیف می کند و نسخه قوی تری را بر اساس زبان Solidity پیشنهاد می کند که تورینگ است. کامل . از زمان بیت کوین، ارزهای دیجیتال مختلف از زبان های برنامه نویسی پشتیبانی می کنند که امکان قراردادهای هوشمند پیشرفته تری را بین طرف های غیرقابل اعتماد فراهم می کند. [10]قراردادهای هوشمند باید از قراردادهای حقوقی هوشمند متمایز شوند ، که در آن دومی به توافقات قانونی الزام آور سنتی به زبان طبیعی اشاره می کند که شرایط را انتخاب کرده اند که در کدهای قابل خواندن ماشین بیان و اجرا شده اند. [11] [12] [13]

علم اشتقاق لغات

قراردادهای هوشمند برای اولین بار در اوایل دهه 1990 توسط نیک سابو پیشنهاد شد ، که این اصطلاح را ابداع کرد و از آن برای اشاره به "مجموعه ای از وعده ها، مشخص شده به شکل دیجیتال، از جمله پروتکل هایی که در آن طرفین به این وعده ها عمل می کنند" استفاده کرد. [14] [15] در سال 1998، این اصطلاح برای توصیف اشیاء در لایه خدمات مدیریت حقوق سیستم Stanford Infobus ، که بخشی از پروژه کتابخانه دیجیتال استانفورد بود ، استفاده شد . [1]

وضعیت حقوقی قراردادهای هوشمند

یک قرارداد هوشمند لزوماً یک توافق نامه الزام آور معتبر در قانون نیست. [16] برخی از دانشگاهیان حقوق ادعا می کنند که قراردادهای هوشمند توافق نامه های قانونی نیستند، بلکه ابزاری برای انجام تعهدات ناشی از سایر قراردادها هستند [17] مانند ابزارهای فناورانه برای اتوماسیون تعهدات پرداخت [18] یا تعهداتی که شامل انتقال توکن ها یا ارزهای رمزنگاری شده علاوه بر این، سایر محققان استدلال کرده اند که ماهیت ضروری یا اعلامی زبان های برنامه نویسی می تواند بر اعتبار قانونی قراردادهای هوشمند تأثیر بگذارد. [19]

از سال 2015 که بلاک چین اتریوم راه اندازی شد ، [20] اصطلاح «قرارداد هوشمند» به طور خاص تری در رابطه با مفهوم محاسبات با هدف کلی که در یک زنجیره بلوکی یا دفتر کل توزیع شده انجام می شود، به کار رفته است. موسسه ملی استاندارد و فناوری ایالات متحده یک "قرارداد هوشمند" را به عنوان "مجموعه ای از کد و داده ها (که گاهی اوقات به عنوان توابع و وضعیت نامیده می شود) توصیف می کند که با استفاده از تراکنش های امضا شده رمزنگاری شده در شبکه بلاک چین مستقر می شود. [21] در این تفسیر، به عنوان مثال توسط بنیاد اتریوم [9] یا IBM، [22]یک قرارداد هوشمند لزوماً با مفهوم کلاسیک قرارداد مرتبط نیست، بلکه می تواند هر نوع برنامه رایانه ای باشد. یک قرارداد هوشمند همچنین می تواند به عنوان یک رویه ذخیره شده ایمن در نظر گرفته شود ، زیرا اجرای آن و اثرات مدون (مانند انتقال ارزش بین طرفین) به شدت اجرا می شود و نمی توان آن را دستکاری کرد. پس از اینکه تراکنش با جزئیات قرارداد خاص در یک بلاک چین یا دفتر کل توزیع شده ذخیره شد، نمی توان آن را تغییر داد. به این دلیل که اجرای واقعی قراردادها توسط پلتفرم کنترل و ممیزی می شود، نه توسط برنامه های خودسرانه سمت سرور که به پلتفرم متصل می شوند. [23] [24]

بلاروس در سال 2017 با اجرای فرمان توسعه اقتصاد دیجیتال به اولین کشوری تبدیل شد که قراردادهای هوشمند را قانونی کرد. دنیس آلینیکوف، وکیل بلاروسی، نویسنده یک مفهوم حقوقی قرارداد هوشمند است که توسط این فرمان معرفی شده است. [25]

در سال 2018، یک گزارش سنای ایالات متحده می گوید: "در حالی که قراردادهای هوشمند ممکن است جدید به نظر برسد، این مفهوم ریشه در حقوق قراردادهای اساسی دارد. معمولاً سیستم قضایی در مورد اختلافات قراردادی قضاوت می کند و شرایط را اجرا می کند، اما استفاده از روش داوری دیگری نیز معمول است، به خصوص. برای تراکنش‌های بین‌المللی. با قراردادهای هوشمند، یک برنامه قراردادی را که در کد تعبیه شده است، اجرا می‌کند." [26] تعدادی از ایالت های ایالات متحده قوانینی را در مورد استفاده از قراردادهای هوشمند تصویب کرده اند، مانند آریزونا، [27] نوادا، [28] تنسی، [29] و وایومینگ. [ نیازمند منبع ] [30]و در آوریل 2020، مجلس نمایندگان آیووا لایحه ای را تصویب کرد که به طور قانونی قراردادهای هوشمند را در این ایالت به رسمیت می شناسد. [31]

در آوریل 2021، گروه ویژه قضایی بریتانیا (UKJT) قوانین حل و فصل اختلافات دیجیتال (قوانین دیجیتال DR) را برای کمک به حل سریع اختلافات حقوقی بلاک چین و کریپتو در بریتانیا منتشر کرد. [32]

کار می کند

مشابه انتقال ارزش در بلاک چین، استقرار یک قرارداد هوشمند روی بلاک چین با ارسال تراکنش از کیف پول برای بلاک چین انجام می شود. [33] این تراکنش شامل کد کامپایل شده برای قرارداد هوشمند و همچنین یک آدرس گیرنده ویژه است. [33] سپس آن تراکنش باید در بلوکی که به زنجیره بلوکی اضافه می‌شود، گنجانده شود، در این مرحله کد قرارداد هوشمند برای ایجاد وضعیت اولیه قرارداد هوشمند اجرا می‌شود. [33] الگوریتم‌های بیزانسی مقاوم در برابر خطا ، قرارداد هوشمند را به روشی غیرمتمرکز از تلاش برای دستکاری در آن ایمن می‌کند. هنگامی که یک قرارداد هوشمند مستقر شد، نمی توان آن را به روز کرد. [34]قراردادهای هوشمند در یک بلاک چین می توانند حالت دلخواه را ذخیره کرده و محاسبات دلخواه را اجرا کنند. مشتریان نهایی از طریق تراکنش با یک قرارداد هوشمند تعامل دارند. چنین تراکنش هایی با یک قرارداد هوشمند می تواند قراردادهای هوشمند دیگری را فراخوانی کند. این تراکنش ها ممکن است منجر به تغییر وضعیت و ارسال سکه از یک قرارداد هوشمند به قرارداد دیگر یا از یک حساب به حساب دیگر شود. [34]

محبوب ترین بلاک چین برای اجرای قراردادهای هوشمند، اتریوم است . [35] در اتریوم، قراردادهای هوشمند معمولاً در یک زبان برنامه نویسی کامل تورینگ به نام Solidity نوشته می شوند ، [36] و در بایت کدهای سطح پایین کامپایل می شوند تا توسط ماشین مجازی اتریوم اجرا شوند . [37] با توجه به مشکل توقف و سایر مشکلات امنیتی، کامل بودن تورینگ به عنوان یک خطر در نظر گرفته می‌شود و زبان‌هایی مانند Vyper عمداً از آن اجتناب می‌کنند . [38] [39]برخی دیگر از زبان های برنامه نویسی قرارداد هوشمند که Turing-complete را ندارند عبارتند از Simplicity، Scilla، Ivy و Bitcoin Script. [39] با این حال، اندازه‌گیری‌ها با استفاده از عبارات منظم نشان داد که تنها 35.3 درصد از 53757 قرارداد هوشمند اتریوم شامل بازگشت‌ها و حلقه‌ها - ساختارهای مرتبط با مشکل توقف است. [40]

چندین زبان برای فعال کردن تأیید رسمی طراحی شده اند : Bamboo، IELE، Simplicity، Michelson (می توان با Coq تأیید کرد )، [39] Liquidity (کامپایل به Michelson)، Scilla، DAML و Pact. [38]

نمونه های قابل توجهی از پلتفرم های بلاک چین که از قراردادهای هوشمند پشتیبانی می کنند شامل موارد زیر است:
نام شرح
اتریوم یک زبان کامل تورینگ را روی بلاک چین خود پیاده سازی می کند، یک چارچوب قرارداد هوشمند برجسته [41]
بیت کوین یک زبان اسکریپت ناقص تورینگ را ارائه می‌کند که امکان ایجاد قراردادهای هوشمند سفارشی را در بالای بیت‌کوین مانند حساب‌های چند امضایی ، کانال‌های پرداخت، امان‌گذاری، قفل‌های زمانی، معاملات زنجیره‌ای اتمی، اوراکل‌ها یا قرعه‌کشی چند حزبی بدون اپراتور فراهم می‌کند. [42]
زنجیره هوشمند بایننس پلتفرم بلاک چین برای قراردادهای هوشمند
کاردانو یک پلت فرم بلاک چین برای قراردادهای هوشمند، با استفاده از اثبات سهام
سولانا پلتفرم بلاک چین برای قراردادهای هوشمند
بهمن پلتفرم بلاک چین برای قراردادهای هوشمند
ترون پلتفرم بلاک چین برای قراردادهای هوشمند
EOS.IO پلتفرم بلاک چین برای قراردادهای هوشمند
تزوس یک پلتفرم بلاک چین که مجموعه قوانین خود را با حداقل اختلال در شبکه از طریق یک مدل حاکمیت روی زنجیره تغییر می دهد.

فرآیندهای یک بلاک چین به طور کلی قطعی هستند تا از تحمل خطا بیزانس اطمینان حاصل شود. [43] با این وجود، کاربرد قراردادهای هوشمند در دنیای واقعی، مانند قرعه کشی و کازینو ، مستلزم تصادفی مطمئن است. [44] در واقع، فناوری بلاک چین هزینه های انجام یک قرعه کشی را کاهش می دهد و بنابراین برای شرکت کنندگان مفید است. تصادفی بودن در بلاک چین را می‌توان با استفاده از هش‌های بلوکی یا مهرهای زمانی، اوراکل‌ها، طرح‌های تعهد، قراردادهای هوشمند ویژه مانند RANDAO [45] [46] و Quanta، و همچنین توالی‌هایی از تعادل‌های استراتژی ترکیبی Nash پیاده‌سازی کرد. [43]

برنامه های کاربردی

در سال 1998، سابو پیشنهاد کرد که زیرساخت قرارداد هوشمند را می توان با ثبت دارایی های تکراری و اجرای قرارداد با استفاده از زنجیره های هش رمزنگاری و تکرار با تحمل خطای بیزانسی پیاده سازی کرد. [47] Askemos این رویکرد را در سال 2002 [48] [49] با استفاده از Scheme (بعدها SQLite [50] [51] اضافه کرد) به عنوان زبان اسکریپت قرارداد اجرا کرد. [52]

یک پیشنهاد برای استفاده از بیت کوین برای ثبت دارایی های تکراری و اجرای قرارداد « سکه های رنگی » نام دارد. [53] عناوین تکراری برای اشکال بالقوه دلخواه دارایی، همراه با اجرای قرارداد تکراری، در پروژه‌های مختلف اجرا می‌شوند.

از سال 2015 ، UBS در حال آزمایش با "باندهای هوشمند" بود که از بلاک چین بیت کوین [54] استفاده می‌کردند که در آن جریان‌های پرداخت می‌توانستند بطور فرضی کاملاً خودکار شوند و یک ابزار خودپرداخت ایجاد کنند. [55]

آرزوهای وراثت به طور فرضی می توانند به صورت خودکار در هنگام ثبت گواهی فوت با استفاده از قراردادهای هوشمند اجرا شوند. [ به گفته چه کسی؟ ] [56] [57] گواهی تولد همچنین می تواند با قراردادهای هوشمند کار کند. [58] [59]

کریس اسنوک از Inc.com پیشنهاد می کند که قراردادهای هوشمند همچنین می توانند برای انجام معاملات املاک و مستغلات مورد استفاده قرار گیرند و می توانند در زمینه سوابق مالکیت و در ثبت عمومی استفاده شوند. [60] [61] [62] [63] [64]

ست اورانبورگ و لیا پالاگاشویلی استدلال می‌کنند که قراردادهای هوشمند می‌توانند در قراردادهای کاری ، به‌ویژه قراردادهای کار موقت، استفاده شوند که به گفته آنها به نفع کارفرما خواهد بود. [65] [66]

قرارداد هوشمند در فناوری زنجیره بلوک برای روستاهای هوشمند [67]

مسائل امنیتی

یک قرارداد هوشمند مبتنی بر بلاک چین برای همه کاربران بلاک چین قابل مشاهده است. با این حال، این منجر به وضعیتی می شود که در آن اشکالات، از جمله حفره های امنیتی، برای همه قابل مشاهده است، اما ممکن است به سرعت رفع نشوند. [68] چنین حمله‌ای که رفع سریع آن دشوار بود، با موفقیت در The DAO در ژوئن 2016 اجرا شد و تقریباً 50  میلیون دلار اتر را در آن زمان تخلیه کرد، در حالی که توسعه‌دهندگان تلاش کردند به راه‌حلی برسند که اجماع را به دست آورد. [69] برنامه DAO قبل از اینکه هکر بتواند وجوه را حذف کند، یک تأخیر زمانی داشت. یک هارد فورک نرم افزار اتریوم برای پس گرفتن وجوه از مهاجم قبل از انقضای محدودیت زمانی انجام شد. [70] دیگر حملات با مشخصات بالا عبارتند ازحملات کیف پول چند امضایی برابری و حمله زیر جریان/سرریز اعداد صحیح (2018) که مجموعاً بیش از 184  میلیون دلار آمریکا است. [71]

مسائل مربوط به قراردادهای هوشمند اتریوم، به ویژه، شامل ابهامات و ساختارهای آسان اما ناامن در زبان قرارداد آن Solidity، اشکالات کامپایلر، اشکالات ماشین مجازی اتریوم، حملات به شبکه بلاک چین، تغییرناپذیری باگ ها و اینکه هیچ منبع مرکزی مستندسازی وجود ندارد. آسیب پذیری های شناخته شده، حملات و ساختارهای مشکل ساز. [41]

تفاوت با قراردادهای حقوقی هوشمند

قراردادهای حقوقی هوشمند از قراردادهای هوشمند متمایز هستند. همانطور که در بالا ذکر شد، یک قرارداد هوشمند لزوماً به عنوان یک قرارداد از نظر قانونی قابل اجرا نیست. از سوی دیگر، یک قرارداد حقوقی هوشمند دارای تمام عناصر یک قرارداد قانونی قابل اجرا در حوزه قضایی است که در آن قابل اجرا است و می تواند توسط دادگاه یا دادگاه اجرا شود. بنابراین، در حالی که هر قرارداد قانونی هوشمند حاوی برخی از عناصر یک قرارداد هوشمند است، هر قرارداد هوشمند یک قرارداد قانونی هوشمند نخواهد بود. [72]

هیچ تعریف رسمی از قرارداد حقوقی هوشمند در صنعت حقوقی وجود ندارد. [73]

قرارداد ریکاردی نوعی قرارداد حقوقی هوشمند است.

همچنین ببینید

منابع

  1. ^ a b Röscheisen, Martin; بالدونادو، میشل؛ چانگ، کوین؛ گراوانو، لوئیس؛ کچپل، استیون؛ پاپکه، آندریاس (1998). "Stanford InfoBus و لایه های خدمات آن: تقویت اینترنت با پروتکل های مدیریت اطلاعات سطح بالاتر". کتابخانه های دیجیتال در علوم کامپیوتر: رویکرد MeDoc . نکات سخنرانی در علوم کامپیوتر. اسپرینگر. 1392 : 213–230. doi : 10.1007/bfb0052526 . شابک 978-3-540-64493-4.
  2. ^ a b فرایز، مارتین; پی. پاال، بوریس (2019). قراردادهای هوشمند (به آلمانی). مور زیبک. شابک 978-3-16-156911-1. JSTOR  j.ctvn96h9r .
  3. ^ a b Savelyev، Alexander (14 دسامبر 2016). "قانون قرارداد 2.0: قراردادهای "هوشمند" به عنوان آغاز پایان قانون قراردادهای کلاسیک" . شبکه تحقیقات علوم اجتماعی. SSRN 2885241 . 
  4. ^ تاپسکات، دان ؛ تاپسکات، الکس (مه 2016). انقلاب بلاک چین: چگونه فناوری پشت بیت کوین پول، تجارت و جهان را تغییر می دهد. ص 72، 83، 101، 127. شابک 978-0670069972.
  5. سابو، نیک (1997). "دیدگاه رسمی سازی و ایمن سازی روابط در شبکه های عمومی | دوشنبه اول" . دوشنبه اول . doi : 10.5210/fm.v2i9.548 .
  6. ^ ژو، هائوزه؛ میلانی فرد، امین; ماکانجو، آدتوکنبو (27-05-2022). "وضعیت امنیت قراردادهای هوشمند اتریوم: آسیب پذیری ها، اقدامات متقابل و پشتیبانی ابزار" . مجله امنیت سایبری و حریم خصوصی . 2 (2): 358-378. doi : 10.3390/jcp2020019 . ISSN 2624-800X . 
  7. ^ "سؤالات متداول رمزنگاری: قرارداد هوشمند چیست و چگونه کار می کند؟" . رمزارز کار می کند. بازیابی شده در 2022-07-29 .
  8. «همه آنچه باید درباره قراردادهای هوشمند NFT بدانید» . Binance.com _ بایننس _ بازبینی شده در 26 سپتامبر 2022 .
  9. ^ a b "کاغذ سفید · اتریوم/ویکی ویکی · گیت هاب" . GitHub . بایگانی شده از نسخه اصلی در 11 ژانویه 2014.
  10. ^ الحاربی، ماهر؛ ون مورسل، عاد (26 اوت 2017). "قراردادهای هوشمند مبتنی بر بلاک چین: مطالعه نقشه برداری سیستماتیک". علوم کامپیوتر و فناوری اطلاعات : 125–140. arXiv : 1710.06372 . doi : 10.5121/csit.2017.71011 . شابک 9781921987700. S2CID  725413 .
  11. Cannarsa، Michel (1 دسامبر 2018). "تفسیر قراردادها و قراردادهای هوشمند: تفسیر هوشمند یا تفسیر قراردادهای هوشمند؟" . بررسی اروپایی حقوق خصوصی . 26 (6): 773-785. doi : 10.54648/ERPL2018054 . S2CID 188017977 . 
  12. ^ درامر، دانیل؛ نیومن، دیرک (5 اوت 2020). "آیا قانون کد است؟ مسائل قانونی و فنی فعلی و راهکارهایی برای قراردادهای هوشمند مبتنی بر بلاک چین" . مجله فناوری اطلاعات . 35 (4): 337-360. doi : 10.1177/0268396220924669 . ISSN 0268-3962 . S2CID 225409384 .  
  13. فیلاتوا، ناتالیا (1 سپتامبر 2020). "قراردادهای هوشمند از منظر قانون قرارداد: ترسیم استراتژی های نظارتی جدید" . مجله بین المللی حقوق و فناوری اطلاعات . 28 (3): 217-242. doi : 10.1093/ijlit/eaaa015 . ISSN 0967-0769 . 
  14. موریس، دیوید زی (21 ژانویه 2014). "بیت کوین فقط یک ارز دیجیتال نیست، بلکه Napster برای امور مالی است. " ثروت . بازبینی شده در 7 نوامبر 2018 .
  15. شولپن، روبن RWHG (1 اوت 2018). "قراردادهای هوشمند در هلند - دانشگاه تیلبورگ" . uvt.nl . دانشگاه توئنته بازبینی شده در 26 اکتبر 2019 .
  16. ^ CleanApp (21 ژانویه 2019). "اشتباه پایه گذاری کریپتو: چگونه اشتباهات در بلوک پیدایش "قرارداد هوشمند" کل زنجیره را تضعیف می کند . بررسی قانون کریپتو
  17. میک، الیزا، قراردادهای هوشمند: یک مرثیه (7 دسامبر 2019). مجله حقوق قراردادها (2019) جلد 36 قسمت 1 در ص 72
  18. جی سیپلاک، اس لیفت، «قراردادهای هوشمند: روشی هوشمند برای خودکارسازی عملکرد» (2017) 1 جورجیا L & Tech Rev 417
  19. گوورناتوری، گیدو؛ ایدلبرگر، فلوریان؛ میلوسویچ، زوران؛ ریورت، رجیس؛ سارتور، جیووانی؛ خو، ژیوئی (2018). "در مورد قراردادهای قانونی، قراردادهای هوشمند ضروری و اعلامی و سیستم های بلاک چین". هوش مصنوعی و قانون . 26 (4): 33. doi : 10.1007/s10506-018-9223-3 . S2CID 3663005 . 
  20. بوترین، ویتالیک (7 اوت 2015). "اتریوم - در مورد بلاک چین های عمومی و عمومی" . Ethereum.Org _
  21. ^ دی جی یاگا و همکاران، مروری بر فناوری بلاک چین، گزارش مؤسسه ملی استانداردها و فناوری داخلی/بین سازمانی 8202، 2018، ص 54، نقل شده در میک، الیزا، قراردادهای هوشمند: یک مرثیه (7 دسامبر 2019). مجله حقوق قراردادها (2019) جلد 36 قسمت 1 در ص 71
  22. ^ کاچین، کریستین. "معماری پارچه بلاک چین Hyperledger" (PDF) . ibm.com _
  23. ^ Vo, Hoang Tam; کندو، آشیش؛ موهانیا، موکش (2018). "جهت های تحقیق در مدیریت داده های بلاک چین و تجزیه و تحلیل" (PDF) . پیشرفت در فناوری پایگاه داده - گسترش فناوری پایگاه داده (EDBT) . OpenProceedings. 21 : 446. برخی از فناوری های دفتر کل توزیع شده از یک قابلیت اضافی به نام قرارداد هوشمند پشتیبانی می کنند که تا حدودی شبیه به مفهوم رویه ذخیره شده در پایگاه های داده رابطه ای کلاسیک است. قراردادهای هوشمند به فرآیندهای تجاری مشترک در یک شبکه تجاری اجازه می دهد تا استاندارد، خودکار و از طریق برنامه های رایانه ای اجرا شوند تا یکپارچگی دفتر کل افزایش یابد.
  24. ^ هاکل، استیو؛ باتاچاریا، ریتوپارنا؛ وایت، مارتین؛ بلوف، ناتالیا (2016). "اینترنت اشیا، بلاک چین و برنامه های کاربردی اقتصاد مشترک" . Procedia Computer Science . Elsevier BV 98 : 463. doi : 10.1016/j.procs.2016.09.074 . اولاً، این مقدار کل بیت کوین در ورودی های تراکنش باید تعداد کل بیت کوین موجود در خروجی ها را پوشش دهد. این قانون مانند رویه ذخیره شده پایگاه داده عمل می کند، با این تفاوت که دور زدن آن غیرممکن است. ثانیا، تراکنش های بیت کوین از رمزنگاری کلید عمومی-خصوصی استفاده می کنند. این باعث می شود BTC مانند یک پایگاه داده با یک طرح مجوز برای هر ردیف قابل بازرسی عمومی عمل کند.
  25. ماخوفسکی، آندری (22 دسامبر 2017). بلاروس قانون ارزهای دیجیتال را برای جذب سرمایه گذاران خارجی تصویب می کند . رویترز .
  26. فصل 9: ساختن آینده ای امن، یک بلاک چین در یک زمان ، کمیته مشترک اقتصادی سنای ایالات متحده ، مارس 2018.
  27. «آریزونا HB2417 - 2017 - پنجاه و سوم قانونگذار اول منظم» . LegiScan .
  28. Hyman Gayle M، Digesti، Matthew P قانون جدید نوادا اصطلاحات بلاک چین و قراردادهای هوشمند را به رسمیت می شناسد اوت 2017، وکیل نوادا
  29. تام، دانیل (22 سپتامبر 2020). "لایحه قرارداد هوشمند تنسی" (PDF) .
  30. وایومینگ، مجلس قانونگذاری (26 فوریه 2019). "وایومینگ - قرارداد هوشمند" .
  31. «خانه آیووا لایحه‌هایی را برای تسهیل پهنای باند و ارز دیجیتال تصویب می‌کند» . www.thegazette.com . بازیابی شده در 2021-04-15 .
  32. مورگان، هربرت اسمیت فری‌هیلز LLP-چارلی؛ پارکر، کریس؛ لیوینگستون، دوروتی؛ نایش، ونسا؛ Tevendale, Craig (23 آوریل 2021). "داوری اختلافات دیجیتال در قراردادهای هوشمند و انتشار قوانین حل اختلاف دیجیتال از کارگروه قضایی بریتانیا | Lexology" . www.lexology.com . بازیابی شده در 2021-04-25 .
  33. ^ a b c سولورو، کوین; کانا، رندال؛ هوور، دیوید (دسامبر 2019). توسعه قراردادهای هوشمند عملی با Solidity و Ethereum: از اصول تا استقرار . کالیفرنیا، ایالات متحده آمریکا: اوریلی. پ. 73. شابک 978-1-492-04526-7. بازیابی شده در 1 نوامبر 2020 .
  34. ^ a b سرگئی، ایلیا؛ ناگاراج، وایواسواتا; یوهانسن، یعقوب؛ کومار، امریت؛ ترونوف، آنتون؛ هائو، کن چان گوان (10 اکتبر 2019). "برنامه نویسی قرارداد هوشمند ایمن تر با Scilla" . مجموعه مقالات ACM در مورد زبان های برنامه نویسی . 3 (OOPSLA): 1-30. doi : 10.1145/3360611 . ISSN 2475-1421 . 
  35. ^ الحاربی، ماهر؛ ون مورسل، عاد (26 اوت 2017). "قراردادهای هوشمند مبتنی بر بلاک چین: مطالعه نقشه برداری سیستماتیک" . علوم کامپیوتر و فناوری اطلاعات (CS & IT) : 125-140. arXiv : 1710.06372 . doi : 10.5121/csit.2017.71011 . شابک 9781921987700.
  36. ^ وورر، ماکسیمیلیان؛ زدون، اووه (20 مارس 2018). "قراردادهای هوشمند: الگوهای امنیتی در اکوسیستم اتریوم و استحکام" . کارگاه بین المللی 2018 مهندسی نرم افزار مبتنی بر بلاک چین (IWBOSE) : 2-8. doi : 10.1109/IWBOSE.2018.8327565 . شابک 978-1-5386-5986-1. S2CID  4567923 .
  37. ^ پرز، دانیل؛ لیوشیتس، بنجامین (17 اکتبر 2020). «آسیب‌پذیری‌های قرارداد هوشمند: آسیب‌پذیر به معنای سوءاستفاده نیست». arXiv : 1902.06710 [ cs.CR ].
  38. ^ a b Harz، Dominik; Knottenbelt، ویلیام (31 اکتبر 2018). "به سوی قراردادهای هوشمند ایمن تر: بررسی زبان ها و روش های تایید". arXiv : 1809.09805 [ cs.CR ].
  39. ^ a b c Tyurin، AV; Tyuluandin، IV; مالتسف، وی اس. کیریلنکو، IA؛ Berezun، DA (2019). "نمای کلی زبان ها برای برنامه نویسی قرارداد هوشمند ایمن" . مجموعه مقالات موسسه برنامه نویسی سیستم RAS . 31 (3): 157-176. doi : 10.15514/ispras-2019-31(3)-13 . S2CID 203179644 . 
  40. یانسن، مارک؛ هذیلی، فاروق; گویا، رامی؛ قاسم، زیاد (2020). «آیا زبان‌های قرارداد هوشمند باید تورینگ کامل شوند؟». بلاک چین و برنامه های کاربردی پیشرفت در سیستم های هوشمند و محاسبات. انتشارات بین المللی Springer. 1010 : 19-26. doi : 10.1007/978-3-030-23813-1_3 . شابک 978-3-030-23812-4. S2CID  195656195 . S2CID  195656195 .
  41. ^ a b Atzei، Nicola; بارتولتی، ماسیمو؛ Cimoli، Tiziana (2017)، "بررسی حملات به قراردادهای هوشمند اتریوم" (PDF) ، ششمین کنفرانس بین المللی اصول امنیت و اعتماد (POST) ، کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار
  42. آتزی، نیکولا؛ بارتولتی، ماسیمو؛ سیمولی، تیزیانا؛ لنده، استفانو؛ زونینو، روبرتو (2018)، "SoK: آشکار کردن قراردادهای هوشمند بیت کوین" (PDF) ، هفتمین کنفرانس بین المللی اصول امنیت و اعتماد (POST) ، کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار
  43. ^ a b Chatterjee، Krishnendo; گوهرشادی، امیر کفشدار; پوردامقانی، آرش (21 فوریه 2019). "قراردادهای هوشمند احتمالی: تصادفی ایمن در بلاک چین". arXiv : 1902.07986 [ cs.GT ].
  44. ^ چن، تای یوان؛ هوانگ، وی نینگ؛ کو، پو چون؛ چانگ، هائو (6 اوت 2020). "روش ایجاد تصادفی امن در بلاک چین" . بازبینی شده در 28 اوت 2020 .
  45. ^ جیا، ژیفنگ؛ چن، روی؛ لی، جی (2019). "DeLottery: یک سیستم قرعه کشی غیرمتمرکز جدید بر اساس فناوری بلاک چین". مجموعه مقالات دومین کنفرانس بین المللی فناوری و کاربردهای بلاک چین 2019 . ص 20-25. doi : 10.1145/3376044.3376049 . شابک 9781450377430. S2CID  207880557 .
  46. «راندائو/راندائو» . رانداو 10 جولای 2020 . بازیابی شده در 10 ژوئیه 2020 .
  47. نیک سابو (۱۹۹۸). "عناوین املاک ایمن با اختیار مالک" . بایگانی شده از نسخه اصلی در 15 ژانویه 2014 . بازبینی شده در 12 ژانویه 2014 .
  48. Jörg F. Wittenberger (2002). Askemos یک شهرک توزیع شده . مجموعه مقالات کنفرانس بین المللی پیشرفت در زیرساخت برای تجارت الکترونیک، آموزش الکترونیکی، علوم الکترونیک و پزشکی الکترونیک در اینترنت (SSGRR)، L'Aquila.
  49. «مجموعه مقالات کنفرانس بین‌المللی پیشرفت‌ها در زیرساخت‌های کسب و کار الکترونیک، آموزش الکترونیکی، علوم الکترونیک و پزشکی الکترونیک در اینترنت» (PDF) .
  50. مارتین موبیوس (۲۰۰۹). Erstellung eines Archivierungskonzepts für die Speicherung rückverfolgbarer Datenbestände im Askemos-System (پایان نامه). Hochschule Mittweida.
  51. Tom-Steve Watzke (2010). "Entwicklung einer Datenbankschnittstelle als Grundlage für Shop-Systeme unter dem Betriebssystem Askemos" .
  52. RA Markus Heinker (2007). "Beweiswürdigung elektronischer Dokumente im Zivilprozess unter vergleichender Betrachtung von qualifizierten elektronischen Signaturen nach dem Signaturgesetz und dem Askemos-Verfahren" .
  53. هال هادسون (20 نوامبر 2013). "بیت کوین فراتر از پول صرف حرکت می کند . " دانشمند جدید . بازبینی شده در 12 ژانویه 2014 .
  54. راس، روری (12-09-2015). "پول هوشمند: بلاک چین ها آینده اینترنت هستند" . نیوزویک _ بازیابی شده در 2016-05-27 .
  55. ویگان، دیوید (11-06-2015). بانکدار می گوید: «فناوری بیت کوین مشتقات را مختل می کند» . IFR آسیا بازیابی شده در 2016-05-27 .
  56. ^ چگونه فناوری بلاک چین می تواند زندگی ما را تغییر دهد
  57. ^ بلاک چین و هوش مصنوعی می آیند تا این 4 عمودی کسب و کار را از بین ببرند
  58. ^ بلاک چین برای دولت های دیجیتال
  59. ^ چارچوب مبتنی بر بلاک چین برای احراز هویت اسناد
  60. اسنوک، کریس جی. (31 اکتبر 2017). "بلاک چین و هوش مصنوعی در حال از بین بردن این 4 عمودی کسب و کار کوچک هستند. " Inc.com _ بازبینی شده در 25 ژانویه 2022 .
  61. گروه Bitfury و دولت جمهوری جورجیا آزمایشی بلاک چین را گسترش می دهند
  62. ^ A BLOCKCHAIN ​​- دروازه مجلات
  63. ^ تحول دیجیتال: بلاک چین و عناوین سرزمین
  64. اوکراین قرارداد بزرگ بلاک چین را با شرکت فناوری Bitfury آغاز کرد
  65. اورانبورگ، ست؛ پالاگاشویلی، لیا (22 اکتبر 2018). "اقتصاد گیگ، قراردادهای هوشمند، و اختلال در ترتیبات کاری سنتی" . جستجو در کتابخانه الکترونیکی doi : 10.2139/ssrn.3270867 . S2CID 216803648 . SSRN 3270867 . بازبینی شده در 25 ژانویه 2022 .  
  66. ^ یک سیستم غیرمتمرکز مبتنی بر بلاک چین برای مدیریت صحیح قراردادهای کاری موقت
  67. ^ کائور، پارمیندر؛ پرشار، انشو (2022-06-01). "بررسی ادبیات سیستماتیک فناوری بلاک چین برای روستاهای هوشمند" . آرشیو روشهای محاسباتی در مهندسی . 29 (4): 2417-2468. doi : 10.1007/s11831-021-09659-7 . ISSN 1886-1784 . PMC 8549431 . PMID 34720578 .   
  68. پک، ام (28 مه 2016). "صندوق 150 میلیون دلاری اتریوم با بلاک چین باز می شود درست زمانی که محققان خواستار توقف هستند. " طیف IEEE . موسسه مهندسین برق و الکترونیک .
  69. دوپونت، کوین (2017). "تجربیات در حکومت الگوریتمی: تاریخچه و قوم نگاری "DAO"، یک سازمان غیرمتمرکز خودمختار شکست خورده" (PDF) . بایگانی شده از نسخه اصلی (PDF) در 30/07/2017 . بازبینی شده در 29 جولای 2017 .
  70. ^ کوی، پیتر؛ خریف، اولگا (25 اوت 2016). "این شرکت شما در بلاک چین است" . بلومبرگ بیزینس ویک بازیابی شده در 2016-12-05 .
  71. پریثشان، پوراتانی؛ پان، لی؛ یو، جیانگشان؛ لیو، جوزف؛ دوس، آر (2019). "روش های تجزیه و تحلیل امنیتی در مورد آسیب پذیری های قرارداد هوشمند اتریوم: یک نظرسنجی". arXiv : 1908.08605 [ cs.CR ].
  72. ^ کاغذ سفید: قراردادهای هوشمند و دفتر کل توزیع شده - یک دیدگاه حقوقی ، 5.
  73. ^ کاغذ سفید: قراردادهای هوشمند و دفتر کل توزیع شده - یک دیدگاه حقوقی ، 3.