🎉 Bergabunglah dalam Tantangan Posting Hari Perayaan Thanksgiving 15 hari Gate.io dan menangkan Bagian dari Hadiah $2.000!
Untuk Merayakan Thanksgiving! Gate.io meluncurkan Tantangan Posting 15 hari! Bergabunglah dengan Gate Post untuk memenangkan bagian dari $2,000. Ada juga merch eksklusif untuk Duta Gate Post!
🔎 Bergabung:
Klik formulir di pengumuman untuk mendaftar: https://www.gate.io/questionnaire/5556
Sertakan tagar #15-Day Posting Challenge# di dalam kiriman Anda.
Posting konten terkait strategi perdagangan, tren pasar, analisis cryptocurrency, dan topik blockchain lainnya.
🎁 Hadiah
Orbiter Finance bekerja sama dengan yayasan Ether dan Universitas California, Santa Barbara untuk memperkuat model keamanan bridgeprotokol
Orbiter Finance sedang aktif mengintegrasikan dirinya dalam ekosistem Ethereum. Baru-baru ini, perusahaan ini bekerja sama dengan Kyle Charbonnet dari Ethereum Foundation, profesor dari University of California, Santa Barbara, dan pendiri Nubit, Feng Yu (@captain8299), dalam sebuah penelitian tentang keamanan cross-chain bridges yang berjudul "Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction". Makalah ini ditulis oleh para ahli dan profesor di bidang keamanan ekosistem Ethereum, dan mengusulkan sebuah model matematika serta melakukan pengujian balik data on-chain Orbiter dalam 2-3 tahun terakhir untuk mendeteksi transaksi penipuan dengan cara pemodelan. Kolaborasi ini bertujuan untuk memberikan dukungan teori dan panduan praktis untuk sistem Maker Orbiter.
Inti dari makalah penelitian
Makalah ini membahas secara mendalam bagaimana mengevaluasi keamanan jembatan Rollup lintas dengan sistem validator yang dapat diperluas. Tim peneliti menekankan tiga poin kunci:
Validator yang dapat diperluas: Scutum menemukan sejumlah kerentanan nol hari terhadap jembatan Rollup lintas utama (termasuk Orbiter Finance). Metode ini memanfaatkan kerangka kerja multi-model yang komprehensif untuk menangkap atribut waktu dari interaksi kompleks antara perilaku individu dan komponen-komponen. Sebagai tambahan, untuk meningkatkan skalabilitas, makalah ini memperkenalkan analisis keterjangkauan melalui representasi grafik kontrak.
Konstruksi Model Keamanan: Scutum menggunakan analisis jangkauan graf kontrak untuk memverifikasi keamanan waktu dengan pendekatan analisis program. Selain itu, ia menggunakan iterasi penajaman yang didorong oleh konflik untuk menghilangkan positif palsu dan meningkatkan akurasi prediksi model dalam berbagai model jembatan.
Performa: Alat Scutum menampilkan performa yang baik saat berjalan, membuat analisis yang efisien cocok untuk skenario aplikasi real-time atau hampir real-time.
Komitmen terhadap keamanan
Sejak didirikan pada tahun 2021, Orbiter telah melakukan eksplorasi mendalam dalam hal keamanan, berkomitmen untuk menjadi infrastruktur yang dapat diandalkan dalam bidang cross-chain Interaksi. Juson Xia, Kepala Teknologi produk inti Orbiter Finance, mengatakan: "Kami tidak akan pernah berhenti membangun model jembatan Interaksi Cross-Chain yang lebih aman. Selain mengidentifikasi transaksi penipuan potensial secara proaktif melalui pengujian balik data on-chain, kami juga akan memperdalam komunikasi akademis dan kerja sama teknis dengan Ethereum dan kriptografer."