اتریوم اغلب نه تنها به عنوان یک شبکه ارز دیجیتال، بلکه به عنوان یک کامپیوتر جهانی توصیف میشود. در حالی که بیتکوین مفهوم دفتر کل غیرمتمرکز برای ردیابی ارزش را معرفی کرد، اتریوم این چشمانداز را گسترش داد تا شامل یک پلتفرم غیرمتمرکز برای محاسبات عمومی شود. در قلب این نوآوری، ماشین مجازی اتریوم (EVM) قرار دارد. این موتور قدرتمند مسئول تعریف قوانین شبکه و اجرای کدی است که برنامههای غیرمتمرکز را قدرت میبخشد. EVM به عنوان محیط زمان اجرا برای قراردادهای هوشمند عمل میکند و کد قابل خواندن توسط انسان را به دستورالعملهای ماشینی ترجمه میکند که شبکه میتواند پردازش و تأیید کند.
EVM مؤلفهای است که اتریوم را از یک شبکه پرداخت ساده متمایز میکند. این ماشین بلاکچین را به یک زیرساخت قابل برنامهریزی تبدیل میکند که توسعهدهندگان میتوانند سیستمهای پیچیده را بدون نظارت مرکزی بسازند. برخلاف یک کامپیوتر فیزیکی که روی میز قرار دارد، EVM یک موجودیت مجازی است. این ماشین همزمان روی هزاران کامپیوتر یا گره در سراسر جهان وجود دارد. این طبیعت توزیعشده تضمین میکند که سیستم به یک سرور یا شرکت واحد وابسته نباشد. اگر یک گره از کار بیفتد، شبکه بدون وقفه به کار خود ادامه میدهد و دوام و پایداری دادههایی که نگه میدارد را حفظ میکند.
معماری ماشین مجازی
معماری EVM به گونهای طراحی شده که یک محیط «sandboxed» باشد. این یک ویژگی امنیتی حیاتی برای یک شبکه غیرمتمرکز است. هنگامی که کد داخل EVM اجرا میشود، کاملاً از بقیه سیستم کامپیوتر میزبان ایزوله است. قرارداد هوشمند نمیتواند به سیستم فایل، شبکه یا سایر فرآیندهای روی گرهای که آن را اجرا میکند دسترسی داشته باشد. این ایزولهسازی تضمین میکند که حتی اگر یک برنامهنویس مخرب کد مضر مستقر کند، نمیتواند به سختافزار زیرین یا زیرساخت شبکه گستردهتر آسیب بزند. sandbox یک مرز امن ایجاد میکند که کد غیرقابل اعتماد میتواند توسط غریبهها بدون خطر برای اعتبارسنج اجرا شود.
این ماشین مجازی همچنین «Turing-complete» است. در اصطلاحات علوم کامپیوتر، این به معنای آن است که EVM میتواند به طور نظری هر محاسبه ریاضی یا برنامه کامپیوتری را اجرا کند، به شرطی که منابع کافی داشته باشد. این قابلیت آن را از زبانهای اسکریپتینگ محدودتر استفادهشده در بلاکچینهای قبلی مانند بیتکوین متمایز میکند. در حالی که زبان بیتکوین عمداً برای دلایل امنیتی به منطق ساده محدود شده بود، طراحی اتریوم پیچیدگی را میپذیرد. این طراحی اجازه حلقهها، دروازههای منطقی پیچیده و الگوریتمهای پیچیده را میدهد. این انعطافپذیری همان چیزی است که اکوسیستم گسترده برنامههای امروزی را از پروتکلهای مالی تا منطق بازیها فعال میکند.
تفسیر بایتکد و دستورالعملها
EVM زبانهای برنامهنویسی سطح بالا را مستقیماً درک نمیکند. توسعهدهندگان معمولاً قراردادهای هوشمند را در زبانهایی مانند Solidity مینویسند که برای خوانایی توسط انسان طراحی شدهاند. با این حال، ماشین به مجموعه دستورالعملهای بنیادیتری نیاز دارد. قبل از استقرار یک قرارداد هوشمند در شبکه، باید به «bytecode» کامپایل شود. بایتکد یک زبان ماشینی سطح پایین است که شامل توالی دستورالعملهایی است که EVM به طور کارآمد تفسیر میکند.
هنگامی که یک قرارداد هوشمند مستقر میشود، این بایتکد روی بلاکچین در آدرس خاصی ذخیره میشود. این بایتکد بخشی از رکورد دائمی شبکه میشود. برای تعامل با قرارداد، یک کاربر یا قرارداد دیگر تراکنشی به آن آدرس ارسال میکند. این تراکنش EVM را بیدار میکند تا بایتکد مرتبط با آن آدرس را پیدا کند و اجرای دستورالعملها را یکی یکی آغاز کند. ماشین از طریق کد حرکت میکند، محاسبات انجام میدهد، داده ذخیره میکند یا توکنها را طبق منطق از پیش تعریفشده در بایتکد کامپایلشده ارسال میکند.
مکانیسم قراردادهای هوشمند
قراردادهای هوشمند برنامههای نرمافزاری هستند که روی لایه اجرای EVM اجرا میشوند. آنها به عنوان توافقات خوداجرا عمل میکنند که شرایط مستقیماً در کد نوشته شدهاند. یک بار مستقر شوند، این قراردادها غیرقابل تغییر هستند، به این معنا که کد آنها نمیتواند تغییر کند. این غیرقابل تغییر بودن از فناوری بلاکچین زیرین ناشی میشود. یک بار که شبکه بر وضعیت کامپیوتر توافق کند و قرارداد را ثبت کند، به یک جزء دائمی سیستم تبدیل میشود. این امر درجه بالایی از اطمینان به کاربران میدهد که قوانین بازی در میانه تعامل تغییر نخواهد کرد.
این برنامهها تعاملات «بدون اعتماد» را امکانپذیر میکنند. در محاسبات سنتی، اغلب باید به مدیر سرور یا شرکتی اعتماد کنید که کد را صادقانه اجرا کند. در مدل EVM، اعتبار اجرا را هر کسی در شبکه میتواند تأیید کند. نیازی به اعتماد به طرف مقابل در تراکنش یا واسطه نیست. فقط باید به خود کد و اجماع عمومی شبکه اعتماد کنید. حذف واسطهها راننده اصلی پذیرش برنامههای غیرمتمرکز در امور مالی و مدیریت زنجیره تأمین است.
اجرای خودکار و منطق
اجرای یک قرارداد هوشمند مانند یک دستور «if-then» دیجیتال عمل میکند. منطق قطعی است، به این معنا که با ورودی یکسان، EVM همیشه خروجی دقیقاً یکسانی تولید میکند. برای مثال، یک قرارداد میتواند برنامهریزی شود تا資金 را تا تاریخ خاصی نگه دارد. اگر کاربری قبل از آن تاریخ سعی در برداشت کند، EVM شرط را بررسی میکند، میبیند برآورده نشده و تراکنش را رد میکند. اگر تاریخ گذشته باشد، شرط «if» برآورده میشود و عمل «then» انتشار資金 را فعال میکند.
این خودکارسازی نیاز به مداخله دستی را حذف میکند. در تنظیم سنتی، وکیلی یا افسر بانکی ممکن است تاریخها و امضاها را قبل از انتشار資金 تأیید کند. در اتریوم، EVM به عنوان قاضی بیطرف عمل میکند. به طور کورکورانه دستورالعملهای بایتکد را بدون偏ش یا احساس دنبال میکند. این بیطرفی تضمین میکند که همه شرکتکنندگان دقیقاً طبق قوانین تعریفشده در قرارداد، صرفنظر از هویت یا وضعیت خارج از شبکهشان، رفتار شوند.
شفافیت در کد و وضعیت
شفافیت ویژگی تعریفکننده دیگری از لایه اجرای EVM است. از آنجایی که بایتکد روی یک دفتر کل عمومی ذخیره میشود، هر کسی میتواند منطق برنامه را بررسی کند. در حالی که خواندن بایتکد خام دشوار است، کد منبع اغلب تأیید و منتشر میشود و به کاربران اجازه میدهد برنامه را قبل از استفاده ممیزی کنند. این در تضاد شدید با مدل «Web 2.0» است که کد سمت سرور جعبه سیاه پنهان از کاربران است. در اتریوم، منطق داخلی یک پروتکل وامدهی یا بازی برای بررسی عمومی باز است.
علاوه بر این، تاریخچه هر برنامه کاملاً شفاف است. EVM وضعیت هر قرارداد را ردیابی میکند، از جمله موجودی فعلی و ذخیرهسازی دادههای داخلی آن. هر کسی میتواند تاریخچه تعاملات با یک قرارداد خاص را از زمان ایجاد تا لحظه حال ردیابی کند. این قابلیت ممیزی فرهنگ پاسخگویی را ایجاد میکند. اگر قراردادی وثیقه وام را نگه دارد، مقدار دقیق و داراییهای دیجیتال خاص نگهداشتهشده برای کل جهان قابل مشاهده است و روی بلاکچین بدون نیاز به اجازه از بانک قابل تأیید است.
اندازهگیری گس و مدیریت منابع
یکی از حیاتیترین مؤلفههای لایه اجرای EVM مفهوم «گس» است. از آنجایی که EVM یک منبع اشتراکی است که روی هزاران کامپیوتر توزیع شده، باید مکانیسمی برای جیرهبندی قدرت محاسباتی وجود داشته باشد. بدون هزینه مرتبط با اجرا، یک کاربر مخرب میتواند برنامهای با حلقه بینهایت مستقر کند که برای همیشه اجرا شود، کل شبکه را مسدود کند و مانع استفاده دیگران شود. گس این مشکل را با اختصاص هزینه به هر عمل حل میکند.
گس واحد اندازهگیری است که تلاش محاسباتی لازم برای اجرای یک دستور خاص را نشان میدهد. عملیات ساده، مانند جمع دو عدد، مقدار کمی گس هزینه دارد. عملیات پیچیده، مانند ذخیره دائمی داده روی بلاکچین یا تأیید امضای رمزنگاری، به طور قابل توجهی بیشتر هزینه دارد. هنگامی که کاربر تراکنشی را آغاز میکند، باید برای گس لازم برای اجرای درخواستش پرداخت کند. این پرداخت با Ether (ETH)، ارز دیجیتال بومی شبکه، انجام میشود.
اقتصاد اجرا
سیستم گس بازاری داخلی برای منابع محاسباتی ایجاد میکند. کاربران همراه تراکنش خود کارمزد گس ارسال میکنند و عملاً برای فضای بلاک پیشنهاد میدهند. ماینرها یا اعتبارسنجها که گرههای اجرای EVM را اداره میکنند، تراکنشهای با کارمزد بالاتر را اولویتبندی میکنند. این طراحی اقتصادی حملات اسپم را جلوگیری میکند زیرا حمله به شبکه به طور ممنوعه گران میشود. یک حملهکننده که بخواهد شبکه را مسدود کند باید برای هر ثانیه زمان محاسباتی که مصرف میکند پول واقعی پرداخت کند.
این سیستم اندازهگیری همچنین کارایی را اعمال میکند. توسعهدهندگان تشویق میشوند کد بهینه بنویسند زیرا کد ناکارآمد هزینه بیشتری برای اجرا دارد. اگر قرارداد هوشمند بد نوشته شده و مراحل محاسباتی غیرضروری نیاز داشته باشد، کاربران برای تعامل با آن کارمزد گس بالاتری پرداخت میکنند. با گذشت زمان، نیروهای بازار توسعهدهندگان را به سمت ایجاد بایتکد لاغر و کارآمد سوق میدهد که وظایف را با حداقل تلاش محاسباتی ممکن انجام دهد.
محدودیتها و حفاظت شبکه
EVM محدودیتی بر مقدار گس قابل استفاده در یک بلاک واحد اعمال میکند. این محدودیت گس بلاک تضمین میکند که گرهها بتوانند بلاکها را در چارچوب زمانی معقول پردازش کنند و شبکه همگام بماند. اگر تراکنشی بیش از حداکثر مجاز گس نیاز داشته باشد، شکست میخورد. این سقف سخت بر اجرا مانع از توقف شبکه به دلیل بارهای محاسباتی بیش از حد سنگین میشود. تضمین میکند که کامپیوتر جهانی پاسخگو بماند و بلاکهای جدید در فواصل منظم تولید شوند.
علاوه بر این، اگر کاربر تراکنشی ارسال کند اما گس کافی برای پوشش اجرای کامل کد ارائه ندهد، EVM کد را اجرا میکند تا گس تمام شود. در آن نقطه، ماشین اجرا را متوقف میکند و هر تغییری در وضعیت را بازمیگرداند. کاربر همچنان برای کار انجامشده تا آن نقطه هزینه پرداخت میکند، اما تراکنش عملاً لغو میشود. این امر اعتبارسنجها را که کار را انجام دادهاند حفاظت میکند، در حالی که تضمین میکند محاسبات جزئی یا شکستخورده وضعیت دفتر کل را فاسد نکند.
اجرای تراکنش و انتقالهای وضعیت
EVM را میتوان به عنوان یک ماشین وضعیت در نظر گرفت. در هر لحظه، شبکه اتریوم «وضعیت» خاصی دارد. این وضعیت شامل موجودیهای فعلی همه حسابها، کد همه قراردادهای هوشمند و ذخیرهسازی داخلی آن قراردادها است. هنگامی که تراکنشی اجرا میشود، EVM شبکه را از یک وضعیت به وضعیت بعدی منتقل میکند. این انتقال به طور دقیق توسط قوانین پروتکل و منطق بایتکد در حال اجرا تعریف شده است.
هنگامی که تراکنشی آغاز میشود، EVM امضا را برای اطمینان از مالکیت قانونی حساب تأیید میکند. سپس بررسی میکند که فرستنده ETH کافی برای پوشش ارزش تراکنش و حداکثر کارمزد گس داشته باشد. یک بار این بررسیها گذرانده شود، EVM اجرای عملیات در تراکنش را آغاز میکند. این ممکن است شامل انتقال ETH از یک حساب به حساب دیگر باشد که ورودیهای موجودی در وضعیت را بهروزرسانی میکند. یا ممکن است شامل تعامل با قرارداد هوشمند باشد که ذخیرهسازی داخلی آن قرارداد را بهروزرسانی میکند.
قطعیت این اجرا توسط مکانیسم اجماع تضمین میشود. یک بار که بلاکی از تراکنشها تأیید و به بلاکچین اضافه شود، انتقال وضعیت تأیید میشود. از آنجایی که تاریخچه بلاکچین غیرقابل تغییر است، رکورد این اجرا نمیتواند پاک شود. تغییر وضعیت دائمی میشود و به عنوان اثبات غیرقابل انکاری عمل میکند که تراکنش رخ داده و کد دقیقاً طبق برنامهریزی اجرا شده است.
| مؤلفه | عملکرد | مزیت |
|---|---|---|
| Bytecode | دستورالعملهای ماشینی | خواندن کارآمد ماشینی |
| Gas | اندازهگیری تلاش | جلوگیری از حلقههای اسپم |
| Sandbox | ایزوله کردن کد | حفاظت از امنیت گره |
سازگاری EVM و گسترش اکوسیستم
طراحی ماشین مجازی اتریوم چنان محکم بوده که به استانداردی در صنعت بلاکچین گسترده تبدیل شده است. بسیاری از شبکههای رقیب معماری EVM را برای اطمینان از سازگاری با اکوسیستم عظیم ابزارها و برنامههای ساختهشده برای اتریوم اتخاذ کردهاند. زنجیرههایی مانند BNB Smart Chain، Polygon و Avalanche «EVM-compatible» هستند، به این معنا که میتوانند دقیقاً همان بایتکد اتریوم را اجرا کنند.
این سازگاری یک مزیت استراتژیک است. توسعهدهندگانی که یاد میگیرند قراردادهای هوشمند برای اتریوم بنویسند، میتوانند برنامههای خود را به راحتی روی این شبکههای دیگر بدون بازنویسی کد مستقر کنند. آنها میتوانند از همان ابزارهای توسعه، چارچوبهای تست و مستندات استفاده کنند. برای کاربران، این به معنای سازگاری رابط و رفتار برنامهها در بلاکچینهای مختلف است. یک صرافی غیرمتمرکز یا کیف پول که روی اتریوم کار میکند اغلب میتواند این شبکههای دیگر را با تغییرات حداقلی پشتیبانی کند.
مقیاسپذیری از طریق راهحلهای لایه ۲
محدودیتهای شبکه اصلی اتریوم، به ویژه در مورد سرعت تراکنش و هزینه، منجر به توسعه راهحلهای مقیاسپذیری لایه ۲ شده است. فناوریهایی مانند Optimism و Arbitrum از استاندارد EVM برای پردازش تراکنشها خارج از زنجیره اصلی استفاده میکنند. آنها محاسبات را در محیط سازگار اجرا میکنند اما نتایج نهایی را روی اتریوم تسویه میکنند. این رویکرد توان کل اکوسیستم را افزایش میدهد در حالی که به امنیت شبکه اصلی تکیه دارد.
این راهحلهای لایه ۲ اغلب از «rollups» استفاده میکنند که تراکنشهای زیادی را در یک دسته واحد بستهبندی میکنند. EVM روی زنجیره اصلی فقط نیاز به تأیید اثبات این دسته دارد نه اجرای هر تراکنش به طور جداگانه. این امر هزینه گس را برای کاربران به طور قابل توجهی کاهش میدهد. این انعطافپذیری مدل EVM را نشان میدهد که نه تنها به عنوان موتور اجرای مستقیم، بلکه به عنوان لایه تسویه برای محیطهای محاسباتی خارجی عمل میکند.
تکامل استاندارد
EVM فناوری ایستا نیست. از طریق فرآیند اجماع جامعه و ارتقاها به طور مداوم تکامل مییابد. پیشنهادها برای بهبودها بحث و اجرا میشوند تا ماشین را کارآمدتر، امنتر و توانمندتر کنند. انتقال به اثبات سهام با Ethereum 2.0 نقطه عطف عمدهای بود که مکانیسم اجماع ایمنکننده EVM را تغییر داد، هرچند لایه اجرای خود عمدتاً سازگار با نسخههای قبلی باقی ماند تا سازگاری عقبگرد را تضمین کند.
ارتقاهای آینده به چالشهای باقیمانده مانند نفخ وضعیت و پیچیدگی تأییدپذیری میپردازند. مفاهیمی مانند «sharding» در حال بررسی هستند تا شبکه بتواند تراکنشهای متعدد را به طور موازی پردازش کند، نه متوالی. این امر عملاً EVM را به چندین نمونه هماهنگ تقسیم میکند و ظرفیت آن را به طور چشمگیری افزایش میدهد. با成熟 این فناوریها، EVM موقعیت خود را به عنوان سیستم عامل استاندارد وب غیرمتمرکز تثبیت میکند.
نتیجهگیری
ماشین مجازی اتریوم تغییر اساسی در نحوه تفکر ما درباره زیرساخت دیجیتال ایجاد میکند. با جداسازی قدرت محاسباتی از سرورهای متمرکز و توزیع آن روی شبکه جهانی گرهها، EVM پلتفرمی ایجاد میکند که باز، شفاف و مقاوم در برابر سانسور است. این ماشین ذخیرهسازی منفعل دفتر کل را به یک موتور فعال تبدیل میکند که قادر به اجرای منطق پیچیده و مدیریت توافقات دیجیتال بدون واسطههاست. از طریق استفاده از بایتکد، اندازهگیری دقیق گس و اجرای sandboxed، سیستم تضمین میکند که این کامپیوتر اشتراکی حتی در محیط بدون اعتماد امن و عملی باقی بماند.
تأثیر EVM فراتر از خود شبکه اتریوم گسترش مییابد. پذیرش آن به عنوان استاندارد صنعت توسط بلاکچینها و راهحلهای مقیاسپذیری متعدد، تابآوری و کاربرد طراحی آن را برجسته میکند. چه قدرتدهنده پروتکلهای مالی غیرمتمرکز، مدیریت هویتهای دیجیتال یا فعالکننده اشکال جدید مالکیت هنر دیجیتال، EVM لایه اجرای قابل اعتماد لازم برای Web3 را فراهم میکند. با ادامه مقیاسپذیری و تکامل فناوری، وعده دموکراتیکسازی بیشتر دسترسی به منابع مالی و محاسباتی در مقیاس جهانی را میدهد.
EVM موتور نامرئی است که تضمین میکند توافقات دیجیتال به طور عادلانه، شفاف و بدون نیاز به اعتماد انسانی اجرا شوند.