Jambatan: memindahkan aset bermakna mengubah andaian kepercayaan

Ikuti tuntutan, bukan simbol

Token yang dipaparkan pada dua rangkaian mungkin tidak mewakili tuntutan undang-undang atau teknikal yang sama. Jambatan boleh mengunci aset pada satu rantaian dan menerbitkan perwakilannya di tempat lain; reka bentuk lain menggunakan kecairan yang dibekalkan oleh perantara atau mekanisme penerbitan asli. Simbol di destinasi sahaja tidak membuktikan cara penebusan berfungsi. Catat alamat kontrak, rangkaian dan penerbit atau jambatan tepat yang terlibat.

Dokumentasi jambatan Ethereum membezakan jambatan asli, aturan yang disahkan secara luaran, sistem pemesejan dan rangkaian kecairan. Kategori ini membantu menyusun soalan, tetapi nama kategori bukan penarafan keselamatan. Dua jambatan yang dihuraikan secara serupa boleh mempunyai peraturan pengesahan, naik taraf dan pengeluaran yang sangat berbeza.

Lukis laluan pemindahan lengkap

Untuk reka bentuk kunci-dan-cetak hipotetikal, lukis lima kotak: aset sumber, kontrak jagaan, pengesahan mesej, token destinasi dan mekanisme penebusan. Tanya komponen yang mengesahkan deposit dan komponen yang boleh membenarkan pencetakan token. Jika kumpulan penandatangan luaran memperakui mesej, periksa ambang dan kebebasannya, bukannya menganggap beberapa kunci bermaksud pengendalinya tidak berkaitan.

Latihan praktikal ialah mengeluarkan setiap kotak secara bergilir. Jika rantaian sumber dihentikan sementara, adakah dagangan destinasi berterusan? Jika kontrak pencetakan token dihentikan sementara, bolehkah token sedia ada masih dibakar untuk pengeluaran? Jika laman web hilang, adakah laluan keluar pada peringkat kontrak didokumenkan? Soalan ini mendedahkan perbezaan antara harga pasaran dengan tuntutan yang boleh digunakan.

Ukur kependaman dan kecairan yang tersekat

Operasi rentas rantaian tidak semestinya atomik. Satu bahagian boleh selesai sementara bahagian lain masih menunggu, menyebabkan dana tidak tersedia untuk kegunaan yang dimaksudkan. Keperluan pengesahan, penyampaian mesej, kesesakan destinasi dan kekurangan kecairan semuanya menyumbang kepada tempoh yang berlalu. Anggaran yang dipaparkan bukan janji kontraktual bahawa aset akan tiba sebelum kewajipan lain perlu ditunaikan.

Katakan suatu strategi memerlukan cagaran pada rangkaian B menjelang tengah hari. Jambatan dengan pemindahan lazim selama sepuluh minit tidak menyelesaikan masalah jika kelewatan dalam keadaan tekanan mengambil masa beberapa jam. Sumber yang relevan ialah kecairan yang sudah tersedia di destinasi, bukan sekadar jumlah kekayaan merentas kedua-dua rangkaian. Inilah perbezaan antara kesolvenan dan pembayaran tepat pada masanya yang turut wujud dalam bidang kewangan lain.

Bandingkan kos keseluruhan dan keadaan kegagalan

Perbandingan sebut harga perlu merangkumi gas sumber, fi jambatan, gas destinasi, perbezaan kadar pertukaran dan kos mendapatkan token gas yang betul. Laluan yang kelihatan lebih murah untuk $100,000 mungkin mahal untuk $200 kerana caj rangkaian tetap mendominasi. Gelinciran harga juga boleh berubah sepanjang tempoh antara sebut harga dengan pelaksanaan.

Audit ialah bukti yang berguna tentang skop kod yang ditetapkan pada masa tertentu; audit bukan insurans terhadap setiap kegagalan pelaksanaan atau tadbir urus. Bandingkan versi yang diaudit dengan pelaksanaan sebenar. Kenal pasti kuasa kecemasan, kelewatan naik taraf dan sama ada sekumpulan kecil pihak boleh mengubah peraturan pengesahan. Kawalan ini mungkin meningkatkan pemulihan tetapi turut mewujudkan kebergantungan pada kepercayaan.

Gunakan senarai semak penyelidikan berpusatkan penebusan

Sebelum menilai aset berjambatan hipotetikal, jelaskan cara satu unit kembali menjadi nilai aset asas yang boleh dibelanjakan. Dokumentasikan laluan biasa, laluan yang tertangguh dan perkara yang masih boleh dilakukan jika perantara gagal. Jualan pasaran sekunder berbeza daripada penebusan: pembeli lain mungkin menuntut diskaun tepat ketika pengeluaran langsung tidak pasti.

Untuk perbandingan pendidikan, wujudkan tiga senario: operasi biasa, penghentian sementara dan kekurangan kekal. Jangan mereka-reka kebarangkalian semata-mata untuk menghasilkan pulangan jangkaan yang tepat. Mula-mula tentukan kerugian dan kelewatan yang mungkin berlaku, siapa yang menanggungnya dan bukti yang akan mendedahkan masalah. Hasil yang dijanjikan di tempat lain tidak dapat dinilai secara bermakna sebelum pendedahan jambatan yang diperlukan untuk mencapainya difahami.

Jadual perbandingan yang berguna turut merangkumi amaun maksimum yang tersedia pada harga sebutan. Laluan kecairan yang menawarkan fi menarik bagi $500 mungkin tidak mempunyai inventori mencukupi untuk $50,000. Anggap kapasiti sebagai keadaan yang diukur pada masa tertentu. Jika sebut harga berubah mengikut saiz, simpan kedua-dua pemerhatian dan bukannya mempuratakannya menjadi fi yang tidak akan diterima oleh mana-mana pemindahan sebenar.

Padankan aset terkunci dengan representasinya

Dalam bridge lock-and-mint ringkas, bayangkan 1,000 unit terkunci pada rangkaian sumber dan 1,000 unit wakil beredar di destinasi. Deposit baharu 100 sepatutnya akhirnya muncul pada kedua-dua sisi, tertakluk kepada fi dan peraturan perakaunan. Gambar keadaan di antara langkah boleh menunjukkan ketidakpadanan sementara.

Perbezaan yang kekal tanpa penjelasan memerlukan siasatan lain. Namun ini bukan ujian kesolvenan universal: baki sumber boleh diperuntukkan bagi tuntutan lain, dan sesetengah bridge tidak memakai mekanisme satu dengan satu ini.

Kenal pasti apa yang patut sepadan, alamat yang termasuk dan pemindahan yang masih berjalan. Tulis perubahan dijangka bagi deposit, penebusan selesai dan pemindahan tertunda sebelum melihat paparan. Simbol token yang sama bukan bukti hak yang sama. Jumlah nilai dijamin tidak menerangkan sistem jika penciptaan dan penghapusan tuntutannya belum difahami.

Tanya kegagalan apa yang masih mungkin berlaku

Bridge boleh mengesahkan mesej dengan betul tetapi tetap terdedah kepada perubahan sejarah rangkaian sumber, pepijat kontrak destinasi atau pengendali berkuasa khas. Menghapuskan penjaga aset tidak menghapuskan risiko perisian. Label tanpa kepercayaan memerlukan penjelasan andaian yang masih tinggal.

Ambil bridge rekaan yang menunggu ambang pengesahan sebelum mencipta token. Jika sejarah sumber berubah kemudian, bolehkah token destinasi terus beredar dan siapa menanggung jurang? Sekarang biarkan sumber normal tetapi pentadbir mengubah logik pengesahan. Ini laluan kegagalan berbeza.

Tulis pihak dan syarat bagi kesahan mesej, kontrak yang memegang aset dan laluan keluar. Satu kelebihan kriptografi tidak menyelesaikan setiap persoalan operasi. Elakkan kedudukan keselamatan berdasarkan fi semata-mata jika anda belum dapat menerangkan andaian setiap pilihan. Perbandingan yang jujur menyatakan risiko yang dikurangkan serta risiko yang kekal, bukannya menjanjikan ketiadaan risiko.