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

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

یک قرارداد هوشمند یک برنامه کامپیوتری یا یک پروتکل معامله است که در نظر گرفته شده است به طور خودکار رویدادها و اقدامات قانونی مطابق شرایط یک قرارداد یا توافقنامه را اجرا ، کنترل یا مستند کند . [1] [2] [3] [4] اهداف قراردادهای هوشمند کاهش نیاز به واسطه های مورد اعتماد ، داوری و هزینه های اجرایی ، ضررهای کلاهبرداری و همچنین کاهش استثنائات مخرب و تصادفی است. [5] [2]

ماشین های فروش به عنوان قدیمی ترین قطعه فناوری معادل اجرای قرارداد هوشمند ذکر شده است. [3] در سال 2014 کاغذ سفید در مورد cryptocurrency به Ethereum [6] توصیف پروتکل بیت کوین به عنوان یک نسخه ضعیف از مفهوم قرارداد های هوشمند که توسط دانشمند کامپیوتر، وکیل و رمزنگار تعریف نیک زابو . از زمان اتریوم ، ارزهای رمزنگاری شده مختلف از زبان های برنامه نویسی پشتیبانی می کنند که امکان ایجاد قراردادهای هوشمند پیشرفته تر بین طرف های نامعتبر را می دهد. [7] قراردادهای هوشمند باید از قراردادهای حقوقی هوشمند متمایز شوندبه مورد دوم به یک زبان طبیعی سنتی موافقتنامه ای اطلاق می شود که از نظر حقوقی الزام آور است و دارای شرایط خاصی است که در کد قابل خواندن ماشین بیان و اجرا شده است. [8] [9] [10]

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

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

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

یک قرارداد هوشمند لزوماً یک موافقت نامه معتبر از نظر قانونی محسوب نمی شود. برخی از دانشگاهیان حقوقی ادعا می کنند که قراردادهای هوشمند قراردادهای حقوقی نیستند ، بلکه وسیله ای برای انجام تعهدات ناشی از سایر موافقت نامه ها [13] هستند ، مانند ابزارهای تکنولوژیکی برای اتوماسیون تعهدات پرداخت [14] یا تعهداتی که شامل انتقال توکن ها یا ارزهای رمزنگاری شده است. علاوه بر این ، محققان دیگر استدلال کرده اند که ماهیت ضروری یا اعلان کننده زبان های برنامه نویسی می تواند بر اعتبار قانونی قراردادهای هوشمند تأثیر بگذارد. [15]

از زمان راه اندازی بلاک چین اتریوم در سال 2015 ، [16] اصطلاح "قرارداد هوشمند" به طور خاص برای مفهوم محاسبه عمومی استفاده می شود که در بلاک چین یا دفتر کل توزیع شده انجام می شود. موسسه ملی استانداردها و فناوری ایالات متحده یک "قرارداد هوشمند" را "مجموعه ای از کد و داده (که گاهی اوقات به عنوان توابع و حالت نیز نامیده می شود) توصیف می کند که با استفاده از معاملات رمزنگاری شده در شبکه بلاک چین به کار گرفته می شود". [17] در این تفسیر ، برای مثال توسط بنیاد اتریوم [6] یا IBM ، [18]یک قرارداد هوشمند لزوماً با مفهوم کلاسیک قرارداد مرتبط نیست ، اما می تواند هر نوع برنامه کامپیوتری باشد. یک قرارداد هوشمند همچنین می تواند به عنوان یک روش ذخیره شده ایمن در نظر گرفته شود زیرا اجرای آن و اثرات مدون مانند انتقال برخی از ارزش ها بین طرفین به شدت اعمال می شود و نمی توان آنها را دستکاری کرد ، پس از انجام معامله با جزئیات قرارداد در بلاک چین یا دفتر کل توزیع شده. به این به این دلیل است که اجرای واقعی قراردادها توسط پلتفرم کنترل می شود و ممیزی نمی شود ، نه برنامه های دلخواه سرور که به پلت فرم متصل می شوند. [19] [20]

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

در سال 2018 ، یک گزارش سنای آمریکا گفت: "اگرچه ممکن است قراردادهای هوشمند جدید به نظر برسند ، اما این مفهوم ریشه در حقوق پایه قراردادها دارد. معمولاً ، سیستم قضایی به اختلافات قراردادی رسیدگی می کند و شرایط را اجرا می کند ، اما متداول است که روش داوری دیگری نیز وجود داشته باشد ، به ویژه برای معاملات بین المللی. با قراردادهای هوشمند ، یک برنامه قرارداد ساخته شده در کد را اجرا می کند. " [22] تعدادی از ایالات ایالات متحده در مورد استفاده از قراردادهای هوشمند ، قوانینی را تصویب کرده اند ، مانند آریزونا ، [23] نوادا ، [24] تنسی ، [25] و وایومینگ. [ منبع مورد نیاز ] [26]و در آوریل 2020 ، مجلس نمایندگان آیووا لایحه ای را تصویب کرد که به طور قانونی مخاطبین هوشمند در این ایالت را به رسمیت می شناسد. [27]

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

کارها

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

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

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

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

فرآیندهای روی بلاک چین به طور کلی قطعی هستند تا از تحمل خطای بیزانس اطمینان حاصل شود. [39] با این وجود ، استفاده از قراردادهای هوشمند مانند قرعه کشی ها و کازینوها در جهان واقعی به تصادفی ایمن نیاز دارد. [40] در حقیقت ، فناوری بلاک چین هزینه های انجام قرعه کشی را کاهش می دهد و بنابراین برای شرکت کنندگان مفید است. تصادفی بودن بلاکچین را می توان با استفاده از هش های بلوکی یا برچسب های زمانی ، اوراکل ، طرح های تعهد ، قراردادهای هوشمند ویژه مانند RANDAO [41] [42] و Quanta و نیز توالی هایی از استراتژی های مختلط تعادل نش ، پیاده سازی کرد . [39]

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

در سال 1998 ، Szabo پیشنهاد کرد که زیرساخت قرارداد هوشمند را می توان با ثبت دارایی های تکراری و اجرای قرارداد با استفاده از زنجیره های هش رمزنگاری و تکرار مقاوم در برابر خطای بیزانس پیاده سازی کرد . [43] آسکموس این رویکرد را در سال 2002 [44] [45] با استفاده از Scheme (بعداً اضافه کردن SQLite [46] [47] ) به عنوان زبان اسکریپت قرارداد ، پیاده کرد . [48]

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

از سال 2015 ، UBS در حال آزمایش "اوراق قرضه هوشمند" بود که از بلاک چین بیت کوین [50] استفاده می کرد و در آن جریان های پرداخت می توانستند به صورت فرضی کاملاً خودکار شوند و یک ابزار خودپرداز ایجاد کرد. [51]

خواسته های وراثت می تواند به صورت فرضی به طور خودکار پس از ثبت گواهی فوت با استفاده از قراردادهای هوشمند اجرا شود. [52] [53] شناسنامه ها همچنین می توانند با قراردادهای هوشمند همکاری کنند. [54] [55]

همچنین می توان از قراردادهای هوشمند برای رسیدگی به معاملات املاک و مستغلات [56] (یعنی از طریق Propy ، ...) [57] [58] استفاده کرد و راه حل های بلاک چین نیز در زمینه سوابق عنوان و ثبت عمومی در حال گسترش است . [59] [60] [61] [62] [63]

همچنین می توان از قراردادهای هوشمند در قراردادهای کاری ، به ویژه قراردادهای کار موقت استفاده کرد که مزایایی را برای کارفرما و کارمند ارائه می دهد. [64] [65]

مسائل امنیتی

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

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

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

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

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

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

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

منابع

  1. ^ a b Röscheisen ، مارتین ؛ بالدونادو ، میشل ؛ چانگ ، کوین ؛ گراوانو ، لوئیس ؛ کچپل ، استیون ؛ پائپکه ، آندریاس (1998). "استنفورد InfoBus و لایه های خدمات آن: افزایش اینترنت با پروتکل های مدیریت اطلاعات سطح بالاتر". کتابخانه های دیجیتال در علوم کامپیوتر: رویکرد MeDoc . نکات سخنرانی در علوم کامپیوتر. اسپرینگر 1392 : 213–230. doi : 10.1007/bfb0052526 . شابک 978-3-540-64493-4به
  2. ^ a b فرایس ، مارتین ؛ P. Paal، Boris (2019). قراردادهای هوشمند (به زبان آلمانی). مور سیبک. شابک 978-3-16-156911-1به JSTOR  j.ctvn96h9r .
  3. ^ a b Savelyev، Alexander (14 دسامبر 2016). "حقوق قرارداد 2.0: قراردادهای" هوشمند "به عنوان آغاز پایان قرارداد قراردادی کلاسیک". شبکه تحقیقات علوم اجتماعی SSRN 2885241 .  مجله استناد نیاز دارد |journal=( کمک )
  4. ^ تاپسکات ، دان ؛ تاپسکات ، الکس (مه 2016). انقلاب بلاکچین: چگونه فناوری پشت بیت کوین پول ، تجارت و جهان را تغییر می دهد صص 72 ، 83 ، 101 ، 127. شابک 978-0670069972به
  5. ^ سازو ، نیک (1997). "نمای رسمی سازی و تأمین روابط در شبکه های عمومی | اولین دوشنبه" . firstmonday.org .
  6. ^ a b "مقاله سفید · ethereum/wiki Wiki · GitHub" . بایگانی شده از نسخه اصلی در 11 ژانویه 2014.
  7. ^ الهاربی ، ماهر ؛ ون مورسل ، عاد (26 آگوست 2017). "قراردادهای هوشمند مبتنی بر بلاک چین: یک مطالعه نقشه برداری سیستماتیک". علوم رایانه و فناوری اطلاعات : 125-140. arXiv : 1710.06372 . doi : 10.5121/csit.2017.71011 . شابک 9781921987700به S2CID  725413 .
  8. ^ Cannarsa، Michel (1 دسامبر 2018). "تفسیر قراردادها و قراردادهای هوشمند: تفسیر هوشمند یا تفسیر قراردادهای هوشمند؟" به نقد و بررسی اروپا حقوق خصوصی . 26 (6).
  9. ^ درامر ، دانیل ؛ نویمان ، دیرک (5 آگوست 2020). "آیا قانون کد است؟ مسائل حقوقی و فنی در حال حاضر و راهکارهای درمانی برای قراردادهای هوشمند با قابلیت بلاک چین" . مجله فناوری اطلاعات . 35 (4): 337-360. doi : 10.1177/0268396220924669 . ISSN 0268-3962 . S2CID 225409384 .  
  10. ^ فیلاتووا ، ناتالیا (1 سپتامبر 2020). "قراردادهای هوشمند از دیدگاه حقوق قرارداد: ترسیم استراتژی های نظارتی جدید" . مجله بین المللی حقوق و فناوری اطلاعات . 28 (3): 217–242. doi : 10.1093/ijlit/eaaa015 . ISSN 0967-0769 . 
  11. Mor موریس ، دیوید Z. (21 ژانویه 2014). "بیت کوین فقط ارز دیجیتال نیست. این Napster برای امور مالی است" . فورچون . بازبینی شده در 7 نوامبر 2018 .
  12. ^ Schulpen ، Ruben RWHG (1 اوت 2018). "قراردادهای هوشمند در هلند - دانشگاه تیلبرگ" . uvt.nl . دانشگاه توئنته . بازبینی شده در 26 اکتبر 2019 .
  13. ^ MIK، الیزا، قراردادها هوشمند: مرثیه ای (7 دسامبر 2019). مجله حقوق قراردادها (2019) دوره 36 قسمت 1 در صفحه 72
  14. ^ J Cieplak ، S Leefatt ، "Smart Contracts: A Smart Way to Automate Performance" (2017) 1 Georgia L & Tech Rev 417
  15. ^ Governatori، Guido؛ ایدلبرگر ، فلوریان ؛ میلوسویچ ، زوران ؛ ریورت ، رجیس ؛ سارتور ، جیووانی ؛ شو ، شیوی (2018). "در مورد قراردادهای حقوقی ، قراردادهای هوشمند ضروری و اعلامی و سیستم های بلاک چین". هوش مصنوعی و حقوق . 26 (4): 33. doi : 10.1007/s10506-018-9223-3 . S2CID 3663005 . 
  16. ^ بوترین ، ویتالیک (7 اوت 2015). "اتریوم - در بلاک چین عمومی و عمومی" . اتریوم Org .
  17. ^ DJ Yaga و همکاران ، مرور فناوری بلاکچین ، م Nationalسسه ملی استاندارد و فناوری داخلی/بین سازمانی 8202 ، 2018 ، ص 54 ، به نقل از Mik، Eliza، Smart Contracts: A Requiem (7 دسامبر 2019). مجله حقوق قرارداد (2019) دوره 36 قسمت 1 در صفحه 71
  18. ^ کاچین ، مسیحی. "معماری پارچه بلاک چین هایپرلجر" (PDF) . ibm.com .
  19. ^ وو ، هانگ تام ؛ کوندو ، آشیش ؛ Mohania، Mukesh (2018). "دستورالعمل های تحقیق در مدیریت و تجزیه و تحلیل داده های بلاک چین" (PDF) . پیشرفت در فناوری پایگاه داده - گسترش فناوری پایگاه داده (EDBT) . مراحل باز 21 : 446. برخی از فناوری های دفتر کل توزیع شده از قابلیت اضافی به نام قرارداد هوشمند پشتیبانی می کنند که تا حدی شبیه به مفهوم روش ذخیره شده در پایگاه های داده کلاسیک رابطه است. قراردادهای هوشمند اجازه می دهد تا فرایندهای تجاری مشترک در یک شبکه تجاری استاندارد ، خودکار شده و از طریق برنامه های کامپیوتری برای افزایش یکپارچگی دفتر کل اعمال شوند.
  20. ^ هاکل ، استیو ؛ باتاچاریا ، ریتوپارنا ؛ وایت ، مارتین ؛ بلوف ، ناتالیا (2016). "اینترنت اشیا ، بلاک چین و برنامه های اقتصاد مشترک" . رویه علوم کامپیوتر . Elsevier BV 98 : 463. doi : 10.1016/j.procs.2016.09.074 . در مرحله اول ، مقدار کل BTC در ورودی های یک تراکنش باید تعداد کل BTC در خروجی ها را پوشش دهد. این قانون مشابه روش ذخیره شده در پایگاه داده عمل می کند ، با این تفاوت که دور زدن آن غیرممکن است. ثانیاً ، در معاملات BTC از رمزنگاری کلید خصوصی-عمومی استفاده می شود. این باعث می شود که BTC مانند یک پایگاه داده با طرح مجوز عمومی برای هر ردیف عمل کند.
  21. ^ Makhovsky، آندری (2017 دسامبر 22). "بلاروس برای جذب سرمایه گذاران خارجی قانون ارزهای رمزپایه را تصویب کرد" . رویترز .
  22. ^ فصل 9: ایجاد آینده ای امن ، یک بلاک چین در یک زمان ، کمیته مشترک اقتصادی سنای آمریکا ، مارس 2018.
  23. ^ "آریزونا HB2417 - 2017 - پنجاه و سوم 1 مجلس قانونگذاری به طور منظم" . LegiScan .
  24. ^ Hyman Gayle M، Digesti، Matthew P New Nevada قوانین تشخیص بلاکچین و اصطلاحات قرارداد هوشمند آگوست 2017 ، وکیل نوادا
  25. ^ تام، دانیل (22 سپتامبر 2020). "قرارداد هوشمند بیل تنسی" (PDF) .
  26. W وایومینگ ، قانونگذار (26 فوریه 2019). "وایومینگ - قرارداد هوشمند" .
  27. ^ "خانه آیووا لایحه ای را برای تسهیل پهنای باند و ارزهای رمزنگاری شده تصویب می کند" . www.thegazette.com . بازیابی شده 2021-04-15 .
  28. ^ مورگان ، هربرت اسمیت Freehills LLP-Charlie ؛ پارکر ، کریس ؛ لیوینگستون ، دوروتی ؛ نایش ، ونسا ؛ تواندال ، کریگ. "داوری اختلافات دیجیتالی در قراردادهای هوشمند و انتشار قوانین حل اختلاف دیجیتال از نیروی کار حوزه قضایی انگلستان | Lexology" . www.lexology.com . بازیابی شده 2021-04-25 .
  29. ^ a b c Soloro، Kevin؛ کانا ، رندال ؛ هوور ، دیوید (دسامبر 2019). توسعه قرارداد هوشمند با استحکام و اتریوم: از مبانی تا استقرار . کالیفرنیا ، ایالات متحده: اورلی. پ. 73. شابک 978-1-492-04526-7به بازیابی 1 نوامبر 2020 .
  30. ^ a b سرگئی ، ایلیا ؛ ناگاراج ، وایواسواتا ؛ یوهانسن ، یعقوب ؛ کومار ، آمریت ؛ ترونوف ، آنتون ؛ هائو ، کن چان گوان (10 اکتبر 2019). "برنامه نویسی قرارداد امن تر با اسکیلا" . مجموعه مقالات ACM در زبان های برنامه نویسی . 3 (OOPSLA): 1-30. doi : 10.1145/3360611 . ISSN 2475-1421 . 
  31. ^ الهاربی ، ماهر ؛ ون مورسل ، عاد (26 آگوست 2017). "قراردادهای هوشمند مبتنی بر بلاک چین: یک مطالعه نقشه برداری سیستماتیک" . علوم رایانه و فناوری اطلاعات (CS & IT) : 125-140. arXiv : 1710.06372 . doi : 10.5121/csit.2017.71011 . شابک 9781921987700به
  32. ^ وورر ، ماکسیمیلیان ؛ زدون ، اووه (20 مارس 2018). "قراردادهای هوشمند: الگوهای امنیتی در اکوسیستم اتریوم و استحکام" . کارگاه بین المللی 2018 در زمینه مهندسی نرم افزارهای مبتنی بر بلاک چین (IWBOSE) : 2-8. doi : 10.1109/IWBOSE.2018.8327565 . شابک 978-1-5386-5986-1به S2CID  4567923 .
  33. ^ پرز ، دانیال ؛ لیویشیتس ، بنیامین (17 اکتبر 2020). "آسیب پذیری های قرارداد هوشمند: آسیب پذیر به سادگی مورد بهره برداری قرار نمی گیرد". arXiv : 1902.06710 [ cs.CR ].
  34. ^ a b Harz، Dominik؛ Knottenbelt ، ویلیام (31 اکتبر 2018). "به سوی قراردادهای هوشمندتر ایمن: بررسی زبانها و روشهای تأیید". arXiv : 1809.09805 [ cs.CR ].
  35. ^ a b c Tyurin، AV؛ Tyuluandin ، IV ؛ مالتسف ، VS ؛ Kirilenko ، IA ؛ برزون ، DA (2019). "مروری بر زبانها برای برنامه نویسی قرارداد هوشمند ایمن" . مجموعه مقالات موسسه برنامه نویسی سیستم RAS . 31 (3): 157-176. doi : 10.15514/ispras-2019-31 (3) -13 . S2CID 203179644 . 
  36. ^ یانسن ، مارک ؛ هدیلی ، فاروک ؛ گویا ، رامی ؛ قاسم ، زیاد (2020). "آیا زبانهای قرارداد هوشمند نیاز به کامل شدن تورینگ دارند؟". blockchain و برنامه های کاربردی . پیشرفت در سیستم های هوشمند و محاسبات. انتشارات بین المللی اسپرینگر 1010 : 19-26. doi : 10.1007/978-3-030-23813-1_3 . شابک 978-3-030-23812-4به S2CID  195656195 .
  37. ^ آتزه ، نیکولا ؛ بارتولتی ، ماسیمو ؛ سیمولی ، تیزیانا ؛ لنده ، استفانو ؛ زونینو ، روبرتو (2018) ، "SoK: باز کردن قراردادهای هوشمند بیت کوین" (PDF) ، هفتمین کنفرانس بین المللی اصول امنیت و اعتماد (POST) ، کنفرانس های مشترک اروپایی در زمینه نظریه و عمل نرم افزار
  38. ^ a b Atzei، Nicola؛ بارتولتی ، ماسیمو ؛ Cimoli ، Tiziana (2017) ، "بررسی حملات به قراردادهای هوشمند اتریوم" (PDF) ، ششمین کنفرانس بین المللی اصول امنیت و اعتماد (POST) ، کنفرانس های مشترک اروپایی در زمینه نظریه و عملکرد نرم افزار
  39. ^ a b Chatterjee ، Krishnendu ؛ گوهرشادی ، امیر کفشدار؛ پوردامغانی ، آرش (21 فوریه 2019). "قراردادهای هوشمند احتمالی: تصادفی امن در بلاک چین". arXiv : 1902.07986 [ cs.GT ].
  40. ^ چن ، تای یوان ؛ هوانگ ، وی نینگ ؛ کو ، پو-چون ؛ چونگ ، هائو (6 آگوست 2020). "روش ایجاد تصادفی امن در بلاک چین" . بازیابی شده در 28 آگوست 2020 .
  41. ^ جیا ، ژیفنگ ؛ چن ، روی ؛ لی ، جی (2019). "DeLottery: یک سیستم جدید قرعه کشی غیر متمرکز بر اساس فناوری بلاک چین". مجموعه مقالات دومین کنفرانس بین المللی فناوری و کاربردهای بلاک چین 2019 . صص 20-25. doi : 10.1145/3376044.3376049 . شابک 9781450377430به S2CID  207880557 .
  42. ^ "randao/randao" . راندو 10 جولای 2020 . بازبینی شده در 10 جولای 2020 .
  43. ^ نیک زابو (1998). "عناوین املاک را با اختیار مالک تضمین کنید" . بایگانی شده از نسخه اصلی در 15 ژانویه 2014 . بازبینی شده در 12 ژانویه 2014 .
  44. ^ یورگ F. Wittenberger (2002). آسکموس یک شهرک توزیع شده است . مجموعه مقالات کنفرانس بین المللی پیشرفت در زیرساخت های تجارت الکترونیک ، آموزش الکترونیکی ، علوم الکترونیکی و پزشکی الکترونیکی در اینترنت (SSGRR) ، آکویلا.
  45. ^ "مجموعه مقالات کنفرانس بین المللی پیشرفت در زیرساخت های تجارت الکترونیک ، آموزش الکترونیکی ، علوم الکترونیکی و پزشکی الکترونیکی در اینترنت" (PDF) .
  46. ^ مارتین موبیوس (2009). "Erstellung eines Archivierungskonzepts für die Speicherung rückverfolgbarer Datenbestände im Askemos-System" . مجله استناد نیاز دارد |journal=( کمک )
  47. ^ تام استیو Watzke (2010). "Entwicklung einer Datenbankschnittstelle als Grundlage für Shop-Systeme unter dem Betriebssystem Askemos" . مجله استناد نیاز دارد |journal=( کمک )
  48. ^ RA مارکوس Heinker (2007). "Beweiswürdigung elektronischer Dokumente im Zivilprozess unter vergleichender Betrachtung von qualifizierten elektronischen Signaturen nach dem Signaturgesetz und dem Askemos-Verfahren" .
  49. ^ هال Hodson (20 نوامبر 2013). "بیت کوین فراتر از پول صرف می شود" . دانشمند جدید . بازبینی شده در 12 ژانویه 2014 .
  50. ^ راس ، روری (12/09/2015). "پول هوشمند: بلاک چین ها آینده اینترنت هستند" . نیوزویک . بازیابی شده در تاریخ 2016-05-27 .
  51. ^ ویگان، دیوید (2015/06/11). بانکدار می گوید: "فناوری بیت کوین مشتقات را مختل می کند" . IFR آسیا . بازیابی شده در تاریخ 2016-05-27 .
  52. ^ چگونه فناوری بلاک چین می تواند زندگی ما را تغییر دهد
  53. ^ بلاک چین و هوش مصنوعی در حال نابودی این 4 عمودی تجاری هستند
  54. ^ بلاک چین برای دولت های دیجیتال
  55. ^ چارچوب مبتنی بر Blockchain برای تأیید سند
  56. ^ بلاک چین و هوش مصنوعی در حال نابودی این 4 عمودی تجاری هستند
  57. ^ ماموریت پروپی برای تغییر صنعت املاک
  58. ^ پروپی اولین معامله املاک ثبت شده در بلاک چین را تکمیل می کند
  59. ^ بلاک چین و هوش مصنوعی در حال نابودی این 4 عمودی تجاری هستند
  60. ^ گروه Bitfury و دولت جمهوری گرجستان خلبان بلاک چین را گسترش می دهند
  61. ^ A BLOCKCHAIN ​​- Journals Gateway
  62. ^ تحول دیجیتالی: بلاک چین و عنوان سرزمین
  63. ^ اوکراین یک قرارداد بزرگ بلاک چین با شرکت فناوری Bitfury آغاز کرد
  64. ^ Gig Economy ، قراردادهای هوشمند و اختلال در ترتیبات کار سنتی
  65. ^ یک سیستم غیرمتمرکز مبتنی بر بلاک چین برای رسیدگی مناسب به قراردادهای کار موقت
  66. ^ پک، M. (2016 مه 28). "صندوق سرمایه گذاری 150 میلیون دلاری اتریوم با بلاک چین درست زمانی که محققان خواستار توقف هستند ، باز می شود" . طیف IEEE . موسسه مهندسان برق و الکترونیک .
  67. ^ DuPont ، Quinn (2017). "آزمایش هایی در حکمرانی الگوریتمی: تاریخ و قوم نگاری" DAO "، یک سازمان خودگردان غیر متمرکز ناموفق" (PDF) . بایگانی شده از نسخه اصلی (PDF) در 2017-07-30 . بازبینی شده در 29 جولای 2017 .
  68. ^ کوی ، پیتر ؛ خریف ، اولگا (25 آگوست 2016). "این شرکت شما در بلاک چین است" . بلومبرگ تجارت . بازیابی شده 2016-12-05 .
  69. ^ پریتیشان ، پوراتانی ؛ پان ، لی ؛ یو ، جیانگشان ؛ لیو ، جوزف ؛ Doss، R. (2019). "روش های تجزیه و تحلیل امنیتی در آسیب پذیری های قرارداد هوشمند اتریوم: یک نظرسنجی". arXiv : 1908.08605 [ cs.CR ].
  70. ^ کاغذ سفید: قراردادهای هوشمند و دفتر توزیع شده - دیدگاه حقوقی ، 5.
  71. ^ کاغذ سفید: قراردادهای هوشمند و دفتر توزیع شده - دیدگاه حقوقی ، 3.