دفتر کل XRP امنیت درجه نظامی را از طریق استاندارد موتور پرداخت اضافه می‌کند

ریپل اولین مشخصات رسمی موتور پرداخت XRP Ledger را منتشر کرده است و آن را به عنوان یک ارتقای بنیادی برای امنیت پروتکل در زمانی که XRPL به دوره‌ای با ویژگی‌های متراکم‌تر وارد می‌شود، معرفی کرده است. این سند در شراکت با شرکت روش‌های رسمی Common Prefix منتشر شده و قرار است به یک مرجع معتبر برای نحوه رفتار پرداخت‌ها و انتقال ارزش بین دارایی‌ها در دفتر کل تبدیل شود.

انگیزه واضح است و ریپل آن را پوشش نمی‌دهد. XRPL بیش از یک دهه بدون وقفه کار کرده است، اما تیم استدلال می‌کند که یک سابقه طولانی هنوز همان صحت قابل اثبات نیست. در پست انجمن DEV که در 1403/09/27 تحت عنوان توسعه‌دهندگان RippleX منتشر شد، نویسندگان می‌نویسند که "برای آماده‌سازی دفتر کل برای نسل بعدی ویژگی‌های پیچیده، باید فراتر از موفقیت تجربی به سمت قطعیت ریاضی حرکت کنیم."

نقطه عطف برای امنیت XRP Ledger

این لحن در همه جا وجود دارد: کمتر جشن پیروزی، بیشتر افشای بدهی مهندسی. برای بخش زیادی از عمر XRPL، پیاده‌سازی C++ (xrpld) به طور مؤثر به عنوان تنها منبع قطعی حقیقت برای رفتار اصلی عمل کرده است. پست ریپل یک مشکل عملی با آن مدل را بیان می‌کند: "کد به ما می‌گوید، با اصطلاحات بسیار دقیق C++، که چه کاری انجام می‌دهد. همیشه به ما نمی‌گوید چرا." به عبارت دیگر، وقتی کد مشخصات است، جداسازی انتخاب‌های طراحی عمدی از رفتار تاریخی که صرفاً ادامه یافته زیرا چیزی خراب نشده، دشوار می‌شود.

این شکاف با رسیدن اصلاحیه‌های جدید اهمیت بیشتری پیدا می‌کند. ریپل مستقیماً به مجموعه‌ای از ویژگی‌های پیچیده اشاره می‌کند - از جمله وام‌دهی، کارهای مرتبط با DEX که به توکن‌های چندمنظوره (MPTs) مرتبط است، تراکنش‌های دسته‌ای و مفاهیم DEX مجاز - و هشدار می‌دهد که تعداد حالت‌های احتمالی سیستم به سرعت گسترش می‌یابد زیرا ماژول‌های جدید "در منطق چند دهه‌ای دفتر کل بافته می‌شوند."

مشخصات منتشر شده در GitHub میزبانی می‌شود و به عنوان کار در حال انجام برچسب‌گذاری شده است، اما قبلاً به عنوان یک مصنوع فنی جدی تعریف شده است: "یک سند مشخصات فنی که برای توسعه‌دهندگانی که رفتار سیستم پرداخت XRPL را پیاده‌سازی یا تایید می‌کنند، در نظر گرفته شده است." همچنین قلب سیستم را به زبان ساده توضیح می‌دهد: موتور پرداخت چیزی است که "مشخص می‌کند ارزش چگونه باید حرکت کند و سپس آن حرکات را انجام می‌دهد"، و پرداخت‌ها را قادر می‌سازد تا از "خطوط اعتماد، MPTs، دفاتر سفارش، AMMها و XRP مستقیم" استفاده کنند.

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

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

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

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

خط پایانی جهت حرکت را نشان می‌دهد: "تغییر از کد-به-عنوان-حقیقت به ریاضیات-به-عنوان-حقیقت در حال انجام است."

در جامعه XRP، این اعلامیه با شادی قابل پیش‌بینی دریافت شد. "تغییر دهنده بازی کاملاً شگفت‌انگیز! ... امنیت درجه هوافضا و نظامی در راه است،" توسط اعتبارسنج XRPL و عضو جامعه Vet نوشته شد و اضافه کرد: "XRP Ledger اولین مشخصات رسمی خود را برای موتور پرداخت‌ها دریافت می‌کند. با مشخص کردن ریاضی اجزای کلیدی پروتکل [...] اساساً، این امکان‌دهنده برای سخت‌ترین حسابرسی‌ها و برای چیزهای دیگری مانند ویژگی‌های پیچیده یا تنوع مشتری است."

در زمان انتشار، XRP با قیمت 1.83 دلار معامله شد.