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

معماری جدید تراکنش برای اتریوم

در 6 سپتامبر، ویتالیک بوترین چشم‌اندازی بلندمدت ارائه داد برای اینکه چگونه اتریوم می‌تواند مدل تراکنش خود را بازسازماندهی کند تا پردازش موازی را بهبود دهد، تأییدهای تکراری را کاهش دهد و راه‌های جدیدی برای انتزاع حساب و آمادگی پساکوانتومی فراهم کند. پیشنهاد حول تقسیم تراکنش‌ها به دو بخش مجزا می‌چرخد: عملیات و وابستگی‌ها، به‌طوری که شبکه‌ها، کلاینت‌ها و ممپول‌ها بتوانند موارد مهم را به‌صورت مستقل و کارآمدتر اعتبارسنجی کنند.

عملیات در برابر وابستگی‌ها: ایدهٔ محوری

بوترین بازطراحی را حول دو مفهوم تکمیلی مطرح می‌کند. «عملیات» همان اقدامات تغییردهندهٔ وضعیت هستند: انتقال ETH یا توکن‌های ERC-20، فراخوانی قراردادهایی که حافظه را تغییر می‌دهند، و سایر اثراتی که وضعیت زنجیره را به‌روز می‌کنند. «وابستگی‌ها» شرایطی هستند که باید قبل از اجرای ایمن آن عملیات برقرار باشند: امضاها، اثبات‌های مرکلی یا اثبات‌های وضعیت، بررسی‌های اعتبار صفر-دانشی، و هرگونه محدودیت مجوز یا پیش‌شرط دیگر.

امروزه تراکنش‌های اتریوم مجوزدهی، پرداخت هزینه و اجرا را در یک جریان واحد بسته‌بندی می‌کنند. نودها یک امضا را بررسی، توانایی پرداخت هزینه را تأیید و سپس تراکنش را اجرا می‌کنند. اما بسیاری از آن بررسی‌ها — به‌ویژه بررسی‌های محض رمزنگاری — به وضعیت نهایی وابسته نیستند و می‌توانند به‌صورت مستقل یا پیش‌از‌زمان بررسی شوند. با جدا کردن صریح این دو مؤلفه، اتریوم می‌تواند اعتبارسنجی را موازی کند، کارهای تکراری را فشرده کند و مسیرهای ارزان‌تری برای عملیات قابل‌پیش‌بینی فراهم آورد.

مثال‌های کاربردی

• اعتبارسنجی امضا: یک امضای رمزنگاری به‌طور معمول مستقل از اثرات سایر تراکنش‌ها است و می‌توان آن را به‌صورت جداگانه بررسی کرد.
• اثبات‌های وضعیت: اثبات‌های مرکلی یا سایر بررسی‌های اعتبار غیر وابسته به وضعیت را می‌توان یک‌بار معتبر دانست و دوباره استفاده کرد.
• بررسی‌های وابسته به وضعیت: شرایطی که به مانده حساب یا اسلات ذخیره وابسته‌اند هنوز باید ترتیب و تعارض‌های احتمالی را در نظر بگیرند.

EIP-8141: قاب‌بندی تراکنش‌ها و ساختار برنامه‌پذیر

یک گام ملموس به‌سوی این چشم‌انداز، EIP-8141 است، پیشنهادی در مراحل پیش‌نویس که یک فرمت تراکنش جدید به نام تراکنش فریم را تعریف می‌کند. به‌جای یک پاکت یکنواخت، یک تراکنش فریم یک دنباله از فریم‌ها است. هر فریم می‌تواند نقش خاصی ایفا کند: اعتبارسنجی مجوز، اعلام پرداخت‌کنندهٔ کارمزد، یا اجرای یک عملیات کاربری. این ساختار ماژولار با تقسیم عملیات/وابستگی‌ها هم‌راستا است و انتزاع حساب را منعطف‌تر می‌کند.

ویژگی‌های کلیدی پیشنهادی در EIP-8141 عبارت‌اند از:

• قواعد برنامه‌پذیر اعتبارسنجی و کارمزد: کد حساب می‌تواند تعیین کند چگونه مجوز اثبات شود و چگونه گس پرداخت می‌شود، که امکان هزینه‌های حمایت‌شده یا پرداخت با توکن‌های ERC-20 را می‌دهد.
• پشتیبانی از انتزاع حساب: حساب‌های متعلق به کاربران خارجی (EOA) می‌توانند مدل‌های مجوزی غنی‌تری کسب کنند بدون نیاز به استقرار قراردادهای یکسان در سراسر شبکه‌ها.
• قابلیت همکاری در میان زنجیره‌های سازگار با EVM: تراکنش‌های فریم ساختاری حداقلی و قابل‌حمل فراهم می‌کنند که زنجیره‌های مختلف می‌توانند آن را اتخاذ کنند درحالی‌که پیش‌کامپایل‌ها یا منطق تأیید خاص خود را اعمال می‌کنند.

چگونگی نگاشت فریم‌ها به وابستگی‌ها و عملیات

فریم‌های اعتبارسنجی وابستگی‌های محض را مدیریت می‌کنند — امضاها و اثبات‌های ایستا — در حالی که فریم‌های اجرایی عملیات تغییردهندهٔ وضعیت را انجام می‌دهند. یک تراکنش می‌تواند همچنین پرچم‌هایی را شامل شود که هر فراخوان را به‌عنوان یک وابستگی محض، یک اعتبارسنجی وابسته به وضعیت، یا یک عملیات علامت‌گذاری می‌کنند. تراکنش هنوز اطلاعات مبدا، نانس و سایر متادیتای استاندارد را حمل می‌کند، اما سازمان‌دهی داخلی امکان مدیریت تفکیکی توسط ممپول‌ها و اعتباردهنده‌ها را فراهم می‌کند.

چرا این برای مقیاس و هزینه‌ها مهم است

جدا کردن وابستگی‌ها از عملیات چندین مزیت عملی برای مقیاس اتریوم و کارآمدی هزینه تراکنش باز می‌کند:

• اعتبارسنجی موازی: بررسی‌های مستقل را می‌توان در میان پردازنده‌ها یا ماشین‌ها توزیع کرد تا چندین اعتبارسنجی به‌صورت هم‌زمان اجرا شوند.
• کاهش تکرار: وابستگی‌های محض ممکن است دیگر نیازی به تکرار توسط هر اعتباردهنده در زمان اجرا نداشته باشند.
• تمایز کارمزد: تراکنش‌های قابل‌پیش‌بینی و قابل‌تحلیل ایستا می‌توانند ارزان‌تر باشند چون کار زمان‌اجرا کمتری نیاز دارند؛ فراخوان‌های قراردادی پویا و غیرقابل‌پیش‌بینی همچنان پشتیبانی می‌شوند اما ممکن است گس بالاتری منعکس‌کننده هزینهٔ منابعشان داشته باشند.

بوترین برآورد می‌کند — به‌عنوان یک ارزیابی آگاهانه نه یک اندازه‌گیری سخت شبکه‌ای — که بیش از 90٪ از فعالیت اتریوم از نظر حجم می‌تواند در قالب‌های ساده‌تر و کم‌پویا جای بگیرد. اگر این درست باشد، شبکه می‌تواند با ارائه قالب‌های ارزان‌تر برای حالت رایج، بدون محدود کردن قراردادهای هوشمند پیچیده، به کارایی دست یابد.

STARKهای بازگشتی: فشرده‌سازی کار اعتبارسنجی

فراتر از EIP-8141، بوترین در مورد استفاده از STARKهای بازگشتی (Scalable Transparent ARguments of Knowledge) برای تجمیع و فشرده‌سازی بررسی‌های وابستگی صحبت کرد. در این مدل، وابستگی‌های محض که در ممپول اعتبارسنجی می‌شوند — مانند امضاها و اثبات‌های اعتبار — در یک اثبات بازگشتی واحد تجمیع می‌شوند. اعتباردهنده‌ها سپس به‌جای بازاجرای هر بررسی اصلی، STARK بازگشتی را اعتبارسنجی می‌کنند که می‌تواند چرخه‌های CPU را ذخیره کند و داده‌های اعتبارسنجی درون‌زنجیره را کاهش دهد.

چه تغییراتی STARKها ایجاد می‌کنند و چه چالش‌هایی باقی می‌ماند

STARKها به یک طرف اجازه می‌دهند که ثابت کند یک محاسبه به‌درستی انجام شده است؛ STARKهای بازگشتی می‌توانند ثابت کنند که مجموعه‌ای از اثبات‌ها همگی معتبرند. وقتی روی وابستگی‌های تراکنش اعمال شوند، ممپول یک اثبات تجمیعی می‌سازد که نشان می‌دهد همهٔ بررسی‌های وابستگی گذرانده شده‌اند. اعتباردهنده‌ها یک اثبات فشرده را قبل از اجرای عملیات اعتبارسنجی می‌کنند.

با این حال، این موضوع پرسش‌های پژوهشی و مهندسی را مطرح می‌کند که باید قبل از استفاده در شبکه اصلی حل شوند:

• هزینه و تأخیر تولید اثبات: ایجاد اثبات‌های بازگشتی امروزه محاسباتی سنگین است و ممکن است نیاز به ابزارهای تخصصی و هماهنگی داشته باشد.
• هماهنگی و مشوق‌های ممپول: چه کسی اثبات‌های تجمیعی را می‌سازد و چگونه این اثبات‌ها منتشر و پاداش‌دهی می‌شوند؟
• دسترس‌پذیری داده و امنیت: اطمینان از اینکه اثبات‌های تجمیعی درست، غیرقابل‌سانسور و مقاوم در برابر تلاش‌های تجمیع مخدوش هستند.

در حالی که این رویکرد می‌تواند بارهای تایید درون‌زنجیره را نیز کاهش دهد، چنین کاهش‌هایی در مشخصهٔ فعلی EIP-8141 گنجانده نشده‌اند و به پیشنهادات و اجماع اضافی نیاز خواهند داشت.

آمادگی پساکوانتومی و تکامل امضاها

یک انگیزهٔ عملی برای طراحی ماژولار تراکنش، رمزنگاری مقاوم در برابر کوانتوم است. امضاهای مقاوم در برابر کوانتوم معمولاً بزرگ‌تر و هزینه‌برتر برای اعتبارسنجی نسبت به امضاهای ECDSA فعلی هستند. مدل مجوزدهی انعطاف‌پذیر EIP-8141 اجازه می‌دهد حساب‌ها بدون نیاز به جایگزینی استاندارد امضای شبکه‌ای، از روش‌های امضای جایگزین استفاده کنند. همراه با تجمیع اثبات‌های بازگشتی، شبکه‌ها می‌توانند هزینه‌های اعتبارسنجی را با فشرده‌سازی تعداد زیادی بررسی سنگین به اثبات‌های خلاصه کاهش دهند.

این موضوع EIP-8141 را به مسیر بلندمدت جذابی برای گسترش گزینه‌های مجوزدهی — شامل طرح‌های پساکوانتومی بالقوه — تبدیل می‌کند در حالی که سربار اعتبارسنجی را مدیریت می‌کند.

نانس‌های کلیددار: حذف گلوگاه ترتیبی

نانس‌های ترتیبی اتریوم از بازپخش جلوگیری و اجرای مرتب از یک حساب واحد را تضمین می‌کنند، اما آن‌ها همچنین یک گلوگاه در توان عملیاتی ایجاد می‌کنند. اگر یک تراکنش معلق در نانس N گیر کند، تراکنش‌های بعدی در N+1 و N+2 حتی اگر مستقل باشند متوقف می‌مانند.

نانس‌های کلیددار چندین دامنهٔ نانس مستقل را برای هر حساب معرفی می‌کنند. تراکنش‌ها به یک کلید نانس اختصاص می‌یابند، بنابراین جریان‌های کاری نامرتبط می‌توانند به‌صورت موازی پیش بروند. این به حساب‌های هوشمند، برنامه‌های دسته‌ای یا مربوط به حریم خصوصی و هر سناریویی که در آن چند عملیات مستقل به‌طور هم‌زمان از یک حساب منشأ می‌گیرند کمک می‌کند.

با بخش‌بندی فضای نانس، نانس‌های کلیددار انسداد صف را کاهش می‌دهند و تجربهٔ کاربری را برای کیف‌پول‌های پیچیده و برنامه‌های غیرمتمرکز که دنباله‌های هم‌زمانی از تراکنش‌ها ارسال می‌کنند بهبود می‌بخشند.

مدل‌های وضعیت: ایده‌های UTXO و رویکردهای هیبرید

بخشی از گفتگو فریم تراکنش‌ها و نانس‌های کلیددار را به مدل‌های وضعیت جایگزین متصل می‌کند. مدل UTXO بیت‌کوین (خروجی تراکنش خرج‌نشده) به‌خاطر اینکه تراکنش‌ها به‌طور صریح خروجی‌های خرج‌شده را فهرست می‌کنند، قابل‌تحلیل ایستا است. مدل حساب اتریوم انعطاف‌پذیرتر اما سخت‌تر برای تحلیل ایستا است.

بوترین پیشنهاد تغییر کامل مدل حساب اتریوم به یک سیستم خالص UTXO را مطرح نمی‌کند. در عوض او یک طیف را توصیف می‌کند که در آن عملیات ساده و اعلام‌شده می‌توانند از قابل‌پیش‌بینی شبیه UTXO بهره‌مند شوند در حالی که قراردادهای پیچیده همچنان انعطاف کامل حساب را حفظ می‌کنند. آن رویکرد ترکیبی می‌تواند پردازش چندلایه ارائه دهد: عملیات بسیار قابل‌پیش‌بینی ارزان و قابل‌موازی‌سازی هستند؛ فراخوان‌های قراردادی پویاتر هنوز ممکن‌اند اما منابع بیشتری می‌طلبند و در نتیجه کارمزد بالاتری دارند.

نگرانی‌های توسعه‌دهندگان و موانع پیاده‌سازی

EIP-8141 و معماری گسترده‌تر وابستگی/عملیات هنوز در مرحلهٔ پیش‌نویس پژوهشی هستند. توسعه‌دهندگان هسته، تیم‌های کلاینت و ارائه‌دهندگان کیف‌پول نگرانی‌های فنی مطرح کرده‌اند که باید پیش از استقرار حل شوند:

• بردارهای انکار سرویس: منطق جدید ممپول و پردازش فریم باید از باز کردن سطوح حمله‌ای که هرزنامهٔ بدون گس یا تخلیهٔ منابع را افزایش می‌دهد جلوگیری کند.
• جایگزینی تراکنش و محدودیت‌های معلق: قواعد برای جایگزینی تراکنش‌های فریم معلق و محدودیت‌ها بر فریم‌های معلق هر حساب باید با دقت طراحی شوند تا از بازگشت‌های ناخواسته در تجربهٔ کاربری جلوگیری شود.
• پیچیدگی ابزارها: کیف‌پول‌ها، RPCها، سازندگان بلاک و ایندکسورها همه نیاز به به‌روزرسانی دارند تا تراکنش‌های فریم را به‌درستی تولید، امضا و رله کنند.
• معنای ممپول: پیشنهادهایی مانند نگهداری تنها یک تراکنش فریم معلق برای هر فرستنده سؤالات سازگاری برای کاربران حرفه‌ای که چند تراکنش هم‌زمان ارسال می‌کنند ایجاد می‌کنند.

این نگرانی‌ها سالم هستند: آن‌ها میزان کار یکپارچه‌سازی لازم در میان کلاینت‌ها (Geth, Besu, Erigon, Nethermind)، نرم‌افزار کیف‌پول، سازندگان بلاک و ابزارهای آگاه به MEV را منعکس می‌کنند.

همکاری‌های FOCIL و مقاومت در برابر سانسور

جداگانه، پیشنهاد FOCIL هدفش بهبود مقاومت در برابر سانسور با فعال‌سازی فهرست‌های درج تراکنش است. در حالی که EIP-8141 ساختار تراکنش و مجوزدهی را هدف قرار می‌دهد، FOCIL به این می‌پردازد که کدام تراکنش‌ها باید توسط سازندگان وارد شوند. توسعه‌دهندگان پیشنهاد داده‌اند ترکیب تراکنش‌های فریم با FOCIL می‌تواند انتزاع حساب بومی قوی‌تری تولید کند در حالی که تضمین‌های درج را بهبود می‌بخشد — اگرچه آن بستهٔ ترکیبی همچنان فرضی است و جزئی از یک نقشهٔ راه تأییدشده نیست.

مسیر پذیرش و جدول زمانی واقع‌بینانه

EIP-8141 باید چندین مرحله را پشت سر بگذارد قبل از اینکه روی کاربران تأثیر بگذارد: اجماع جامعه میان توسعه‌دهندگان هسته، پیاده‌سازی‌های کلاینت، استقرار در تست‌نت‌ها، پشتیبانی کیف‌پول، ادغام با سازندگان بلاک و حسابرسی‌های رسمی امنیتی. بحث‌های گذشته EIP-8141 را برای محدوده‌های ارتقاهای آینده مدنظر قرار داده‌اند، اما در حال حاضر در دست بررسی است و زمان‌بندی قطعی ندارد.

نقاط عطف کلیدی برای دنبال کردن:

• تأیید رسمی توسعه‌دهندگان هسته از تراکنش‌های فریم به‌عنوان رویکرد برگزیدهٔ انتزاع حساب.
• ادغام کلاینت و پیاده‌سازی‌های تست‌نت پایدار با رفتار کامل ممپول، RPC و حسابداری گس.
• آزمایش‌های سازگاری میان شبکه‌های سازگار با EVM و تست‌نت‌های عمومی.
• پشتیبانی ابزارهای کیف‌پول و توسعه‌دهنده برای ساختن، امضا کردن و پخش تراکنش‌های فریم.

تا زمان انجام آن مراحل، EIP-8141 و ممپول‌های مبتنی بر STARKهای بازگشتی پیشنهادات پژوهشی هستند تا ارتقاهای تضمین‌شده. اما جهت طراحی — جداسازی وابستگی‌ها و عملیات، استفاده از نانس‌های کلیددار و بررسی تجمیع بازگشتی — استراتژی منسجمی برای افزایش موازی‌سازی و کاهش تأییدهای تکراری در اتریوم ارائه می‌دهد.

این برای کاربران، توسعه‌دهندگان و اعتباردهنده‌ها چه معنی دارد

اگر کلاینت‌ها و سازندگان برای تراکنش‌های سبک فریم بهینه‌سازی کنند، کاربران ممکن است شاهد تائید سریع‌تر و ارزان‌تر برای انتقال‌های قابل‌پیش‌بینی و فراخوان‌های روتین قرارداد باشند. توسعه‌دهندگان باید ابزارهای قرارداد هوشمند و کیف‌پول‌ها را برای پشتیبانی از ساختار جدید فریم و اعلام وابستگی‌ها در صورت امکان سازگار کنند. اگر تجمیع ممپول و اعتبارسنجی بازگشتی با ایمنی پیاده‌سازی شوند، اعتباردهنده‌ها و سازندگان بلاک می‌توانند از کاهش هزینهٔ اعتبارسنجی و بهبود توان عملیاتی سود ببرند.

در عین حال، برنامه‌های کاربردی تخصصی و پویا آزادی اجرای منطق پیچیده را با انعطاف حساب موجود حفظ خواهند کرد. هدف جایگزینی قدرت بیانی EVM اتریوم نیست بلکه فراهم‌کردن راهی برای هدایت عملیات ساده به یک مسیر ارزان‌تر و موازی‌تر است.

نتیجه‌گیری: مسیری عمل‌گرایانه به‌سوی مقیاس و انعطاف‌پذیری

بازطراحی تراکنش توسط ویتالیک بوترین تلاشی جاه‌طلبانه اما عمل‌گرایانه است برای آشتی دادن نیاز اتریوم به قراردادهای هوشمند منعطف با مزایای قالب‌های تراکنشی قابل‌پیش‌بینی و قابل‌موازی‌سازی. تراکنش‌های فریم EIP-8141، نانس‌های کلیددار و مسیر احتمالی به‌سوی تجمیع STARK بازگشتی یک پشته از ابزارها را تشکیل می‌دهند که می‌تواند کار تکراری را به‌طور قابل‌ملاحظه‌ای کاهش دهد، گزینه‌های مجوزدهی پساکوانتومی را پشتیبانی کند و سازوکارهای تمایز کارمزد را ممکن سازد.

با این حال، پژوهش، مهندسی و هماهنگی میان تیم‌ها هنوز به‌طور قابل‌توجهی باقی است. جامعه باید منافع عملکرد را با پیچیدگی ابزارها و ریسک‌های امنیتی متعادل کند. اگر اکوسیستم بتواند این مسائل را حل کند، تراکنش‌های فریم و تجمیع در سطح ممپول می‌توانند بلوک‌های سازندهٔ مهمی برای پردازش نسل بعدی تراکنش‌ها در اتریوم شوند.

تا آن زمان، این ایده‌ها باید به‌عنوان پژوهش‌های آینده‌نگر در نظر گرفته شوند: مسیرهای امیدبخش نه تغییرات فوری پروتکلی. گام‌های بعدی قابل‌تأیید شامل توافق توسعه‌دهندگان، پیاده‌سازی‌های مرجع کلاینت و آزمایش موفق در شبکه‌های توسعهٔ عمومی خواهد بود.