XRP Ledger Menambah Keselamatan Gred Ketenteraan Melalui Payments Engine Standard

Ripple telah menerbitkan spesifikasi formal pertama bagi Enjin Pembayaran XRP Ledger, meletakkannya sebagai peningkatan asas untuk keselamatan protokol ketika XRPL memasuki era yang lebih padat ciri. Dokumen ini dikeluarkan dengan kerjasama firma kaedah formal Common Prefix dan bertujuan menjadi rujukan kanonik untuk cara pembayaran dan pemindahan nilai merentas aset berkelakuan pada lejar.

Motivasinya adalah jelas, dan Ripple tidak mempermanisnya. XRPL telah beroperasi selama lebih sedekad tanpa masa henti, tetapi pasukan berpendapat bahawa rekod prestasi yang panjang masih tidak sama dengan ketepatan yang boleh dibuktikan. Dalam siaran DEV Community yang diterbitkan 17 Dis. di bawah sepanduk RippleX Developers, penulis menulis bahawa "untuk menyediakan lejar bagi generasi seterusnya ciri-ciri kompleks, kita mesti bergerak melampaui kejayaan empirikal kepada kepastian matematik."

Titik Perubahan Untuk Keselamatan XRP Ledger

Itulah nada keseluruhannya: kurang perayaan kemenangan, lebih pendedahan hutang kejuruteraan. Untuk sebahagian besar hayat XRPL, pelaksanaan C++ (xrpld) telah bertindak secara berkesan sebagai satu-satunya sumber kebenaran muktamad untuk tingkah laku teras. Siaran Ripple menyatakan masalah praktikal dengan model tersebut: "Kod memberitahu kita, dalam istilah C++ yang sangat tepat, apa yang dilakukannya. Ia tidak selalu memberitahu kita mengapa." Dengan kata lain, apabila kod adalah spesifikasi, ia menjadi sukar untuk memisahkan pilihan reka bentuk yang disengajakan daripada tingkah laku sejarah yang hanya berterusan kerana tiada yang rosak.

Jurang itu mula menjadi lebih penting apabila pindaan baharu tiba. Ripple menunjuk terus kepada saluran ciri-ciri kompleks — termasuk pinjaman, kerja berkaitan DEX yang terikat dengan Multi-Purpose Tokens (MPTs), transaksi kelompok, dan konsep DEX berkebenaran — dan memberi amaran bahawa bilangan keadaan sistem yang mungkin berkembang dengan cepat ketika modul baharu "terjalin ke dalam logik lejar yang berusia beberapa dekad."

Spesifikasi yang diterbitkan dihoskan di GitHub dan dilabelkan sebagai kerja dalam proses, tetapi ia sudah dibingkai sebagai artifak teknikal yang serius: "dokumen spesifikasi teknikal yang ditujukan untuk pembangun yang melaksanakan atau mengesahkan tingkah laku sistem pembayaran XRPL." Ia juga menerangkan jantung sistem dalam bahasa yang mudah: Enjin Pembayaran adalah apa yang "mengetahui bagaimana nilai harus bergerak dan kemudian melaksanakan pergerakan tersebut," membolehkan pembayaran menggunakan "talian amanah, MPTs, buku pesanan, AMMs, dan XRP secara langsung."

Perkara yang lebih mendalam, bagaimanapun, adalah apa yang membolehkan ini seterusnya. Siaran Ripple menetapkan sasaran dua bahagian. Pertama, spesifikasi yang boleh dibaca manusia yang mengurangkan kekaburan dan menjadi rujukan kanonik untuk pembina dan penyelidik. Kedua, model yang boleh disahkan mesin — perwakilan matematik spesifikasi — yang boleh menyokong bukti mekanikal tentang sifat sistem dan sama ada perubahan yang dicadangkan melanggar jaminan keselamatan teras.

Ia juga jelas tentang disiplin skop. Ripple berpendapat bahawa menyatakan keseluruhan lejar dalam satu percubaan adalah tidak realistik: "Ia akan terlalu mahal dan memakan masa untuk menentukan keseluruhan sistem sekaligus." Oleh itu, kerja tertumpu pada apa yang digambarkan sebagai dua komponen yang paling kritikal dan kompleks: Enjin Pembayaran dan Protokol Konsensus.

Konsensus, khususnya, dibingkai sebagai infrastruktur yang tidak boleh dirunding. Ripple menggambarkannya sebagai "jantung lejar," menambah: "Ketepatannya tidak boleh dirunding dan menyokong keselamatan dan kesegaran keseluruhan rangkaian."

Objektif yang dinyatakan adalah untuk memodelkan mekanisme secara formal untuk membuktikan sifat seperti kesegaran, keselamatan, dan kesudahan. Mengenai masa, Ripple jelas bahawa ini adalah garis permulaan, bukan garis penamat. Selepas menerbitkan spesifikasi Enjin Pembayaran, pasukan berkata ia berhasrat untuk memulakan kerja pengesahan formal pada Enjin Pembayaran dan Protokol Konsensus pada 2026.

Baris penutup menangkap arah perjalanan: "Peralihan daripada kod-sebagai-kebenaran kepada matematik-sebagai-kebenaran sedang berlaku."

Dalam komuniti XRP, pengumuman itu disambut dengan euforia yang boleh dijangka. "Pengubah permainan yang benar-benar hebat! … Keselamatan gred aeroangkasa & ketenteraan akan datang," tulis pengesah XRPL dan ahli komuniti Vet, menambah: "XRP Ledger menerima spesifikasi formal pertamanya untuk enjin pembayaran. Dengan menentukan komponen protokol utama secara matematik [...] Pada asasnya, ini adalah pemboleh untuk bos akhir audit DAN untuk perkara lain seperti ciri kompleks atau kepelbagaian klien."

Pada masa akhbar, XRP didagangkan pada $1.83.