Proliferasi rantaian blok bebas telah mencipta "dunia pelbagai rantaian." Satu cabaran asas dalam landskap ini ialah membina rantaian blok tindanan yang lebih selamat dengan memanfaatkan lejar rantaian blok asas yang sedia ada, hanya menggunakan operasi baca dan tulis. Kertas ini, "Pendekatan Litar untuk Membina Rantaian Blok di atas Rantaian Blok," memperkenalkan kerangka baharu yang diilhamkan oleh teori litar pensuisan. Ia mentakrifkan dua operasi komposisi asas—komposisi bersiri dan komposisi segitiga—sebagai blok binaan untuk mencipta rantaian blok tindanan umum, menganalisis jaminan keselamatan dan kelangsungan hidup yang terhasil di bawah model rangkaian separa segerak dan segerak.
Inovasi teras kertas ini ialah memperlakukan rantaian blok sebagai komponen litar. Keselamatan rantaian tindanan diperoleh daripada komposisi logik rantaian asasnya.
Operasi ini menyambungkan dua rantaian blok secara berurutan. Untuk dua rantaian asas yang menghasilkan sijil, sifat keselamatan rantaian tindanan yang terhasil adalah:
Ini menyerupai get logik OR untuk keselamatan dan get logik AND untuk kelangsungan hidup.
Operasi ini melibatkan tiga rantaian blok dalam konfigurasi yang analog dengan litar selari atau skim ambang 2-daripada-3. Sifat keselamatannya adalah:
Ini memberikan pertukaran yang berbeza, mengutamakan kelangsungan hidup berbanding keselamatan jika dibandingkan dengan komposisi bersiri.
Kertas ini membuktikan secara formal bahawa dengan menggunakan komposisi bersiri dan segitiga secara rekursif, seseorang boleh membina rantaian blok tindanan pada n rantaian asas untuk mencapai sebarang ambang ketahanan (f_s, f_l) yang dikehendaki, di mana:
Teorem utama menyatakan bahawa semua pasangan yang boleh dicapai (f_s, f_l) yang memenuhi 2f_s + f_l < n dan f_l < n/2 boleh dicapai melalui komposisi seperti litar yang sesuai. Ini menggeneralisasikan kerja terdahulu seperti penanda masa antara rantaian, yang hanya mencapai titik (n-1, 0) (selamat jika 1 rantaian selamat, hidup hanya jika semua hidup).
Model ini memformalkan rantaian blok sebagai mesin keadaan yang menghasilkan lejar L. Keselamatan ditakrifkan oleh keselamatan (konsisten, pandangan bercabang adalah mustahil) dan kelangsungan hidup (transaksi baharu akhirnya dimasukkan). Rantaian asas B_i diabstraksikan sebagai oracle yang menyediakan sijil komit C_i^t untuk awalan lejar pada masa logik t.
Protokol komposisi mentakrifkan bagaimana keadaan rantaian tindanan S_ov dikemas kini berdasarkan pertanyaan kepada oracle ini. Sebagai contoh, dalam komposisi bersiri rantaian B_A dan B_B, tindanan mungkin menerima pakai lejar daripada B_A hanya jika ia konsisten dengan sijil komit daripada B_B yang memberikan tanda masa kepadanya. Ini mewujudkan kebergantungan yang ditangkap oleh formula logik. Bukti keselamatan teras menggunakan hujah percanggahan dan simulasi yang biasa dalam literatur sistem teragih, menunjukkan bahawa pelanggaran keselamatan dalam tindanan akan membayangkan pelanggaran keselamatan dalam subset tertentu rantaian asas, yang bercanggah dengan ambang ketahanan yang diandaikan.
Skenario: Membina pertukaran terpencar antara rantaian (DEX) tindanan di atas tiga rantaian mantap: Ethereum (Eth), Solana (Sol), dan Avalanche (Avax).
Matlamat: Keutamaan keselamatan dana (tinggi f_s) sambil menerima kependaman sekali-sekala (rendah f_l).
Pilihan Reka Bentuk: Gunakan Komposisi Segitiga bagi ketiga-tiga rantaian.
Hasil: DEX mencapai ketahanan keselamatan maksimum—ia boleh bertahan dalam senario di mana mana-mana satu rantaian dikompromi atau bercabang, kerana dua lagi memberikan pengesahan. Kelangsungan hidup dikekalkan walaupun satu rantaian mengalami gangguan. Ini adalah perwujudan praktikal titik (f_s=1, f_l=1) untuk n=3.
Pandangan Teras: Ini bukan sekadar satu lagi kertas konsensus; ia adalah kerangka kejuruteraan sistem asas untuk era pelbagai rantaian. Penulis telah berjaya mengabstraksikan masalah kusut kebolehoperasian rantaian blok menjadi algebra yang bersih dan boleh dikomposisi. Kejayaan sebenar ialah menunjukkan bahawa sifat keselamatan bukan hanya diwarisi—ia boleh direkayasa secara pengaturcaraan melalui topologi tertentu, melangkaui paradigma naif "jambatan ke rantaian paling selamat".
Aliran Logik: Hujahnya elegan. Mulakan dengan realiti pelbagai rantaian sebagai fakta. Tolak tanggapan "sumber keselamatan" tunggal. Sebaliknya, buat analogi dengan reka bentuk litar yang boleh dipercayai daripada komponen yang tidak boleh dipercayai (masalah klasik). Takrifkan operator komposisi minimum dan ortogon (bersiri, segitiga). Buktikan ia lengkap (boleh membina sebarang profil ketahanan yang boleh dicapai). Aliran dari analogi ke formalisme ke teorem umum adalah menarik dan mencerminkan teori yang berjaya dalam sains komputer, serupa dengan bagaimana Persetujuan Byzantine diuraikan kepada primitif penyiaran yang lebih mudah.
Kekuatan & Kelemahan:
Kekuatan: Keumuman teori adalah kuat. Analogi litar adalah intuitif untuk jurutera. Ia menyatukan dan menerangkan pendekatan ad-hoc terdahulu (seperti penanda masa antara rantaian) sebagai kes khas kerangka ini. Bukti formal kelihatan kukuh.
Kelemahan: Kertas ini sangat teoritikal. Overhed dunia sebenar untuk menyegerakkan pelbagai rantaian (kependaman, kos) tidak dibincangkan secara mendalam. Model "separuh kesegerakan", walaupun standard, mungkin terlalu optimistik untuk persekitaran antara rantaian dengan masa blok dan mekanisme kemuktamadan yang sangat berbeza. Ia mengandaikan rantaian asas adalah domain kegagalan bebas—andaian berisiko jika banyak rantaian berkongsi set pengesah, isu biasa dalam ekosistem PoS. Berbanding dengan analisis konkrit berfokuskan serangan dalam kerja seperti laporan audit jambatan ChainSecurity, ini terasa seperti teori bermula dari kosong yang kini mesti berhadapan dengan pelaksanaan dunia yang kotor.
Pandangan Boleh Tindak:
Nilai kertas ini akan ditentukan bukan oleh teoremnya, tetapi oleh penerimaannya sebagai bahasa reka bentuk untuk infrastruktur kebolehoperasian generasi seterusnya. Ia berpotensi melakukan untuk keselamatan antara rantaian apa yang dilakukan oleh teorem CAP untuk pangkalan data teragih: menyediakan pertukaran asas yang tidak dapat dielakkan di mana sistem praktikal mesti dibina.
Aplikasi Jangka Pendek:
Hala Tuju Penyelidikan Masa Depan: