Certik X BOSAGORA

Pada 2016, hacking DAO Ethereum mengajarkan kami bahwa kerentanan terkecil dapat membawa bencana ke sistem blockchain. Akhirnya, garpu Ethereum dan Ethereum Classic dan kita semua belajar dari pelajaran dan kita semua perlu memikirkan kembali tentang keamanan sistem blockchain.
Sebagai blockchain Proof-Of-Stake, keamanan aset pemegang token adalah faktor paling penting dari blockchain BOSAGORA. Karena 51% serangan akan bergantung pada koin yang dipertaruhkan dan dibekukan serta nilainya, yang paling penting adalah memastikan blockchain tidak memiliki kerentanan keamanan. Tim BOSAGORA menempatkan tim terbaik untuk membangun sistem blockchain yang aman dan aman, namun, audit pihak ketiga oleh mitra yang dapat dipercaya dan dapat diandalkan akan memberikan nilai lebih bagi blockchain.
Kami mengumumkan kemitraan dengan Certik
CertiK adalah perusahaan keamanan blockchain yang dipimpin teknologi yang didirikan oleh profesor Ilmu Komputer dari Universitas Yale dan Universitas Columbia yang dibangun untuk membuktikan keamanan dan kebenaran kontrak pintar dan protokol blockchain. Diinkubasi oleh Binance Labs, Certik memiliki kemitraan strategis dengan pertukaran crypto terkemuka dunia seperti Binance, OKEx, dan Huobi, serta protokol seperti NEO, ICON, dan banyak lagi.
CertiK, dalam kemitraan dengan hibah dari IBM dan Yayasan Ethereum, telah mengembangkan teknologi Verifikasi Formal milik untuk menerapkan penalaran matematis yang ketat dan lengkap terhadap kode. Proses ini memastikan algoritma, protokol, dan fungsi bisnis diamankan dan berfungsi sebagaimana dimaksud di semua platform.
CertiK berbeda dari pendekatan pengujian tradisional dengan menggunakan Verifikasi Formal untuk membuktikan secara matematis ekosistem blockchain dan kontrak pintar tahan terhadap hacker dan bebas bug. CertiK menggunakan teknologi terkemuka di industri ini bersama-sama dengan ruang uji standar, analisis statis, dan tinjauan manual ahli untuk membuat solusi tumpukan penuh bagi mitra di seluruh dunia blockchain untuk mengamankan aset 6,2B dalam aset.
Audit Kontrak Cerdas BOA Mencetak 99%!
BOSAGORA menerima audit kontrak ERC20 oleh Certik untuk menemukan masalah dan kerentanan dalam kode sumber kontrak pintar BOA. Pemeriksaan komprehensif telah dilakukan, dengan menggunakan Platform Verifikasi Formal CertiK, Analisis Statis, dan teknik Tinjauan Manual.
Proses audit memberi perhatian khusus pada pertimbangan berikut:
- Menguji kontrak pintar terhadap vektor serangan umum dan tidak umum.
- Menilai basis kode untuk memastikan kepatuhan dengan praktik terbaik dan standar industri saat ini.
- Memastikan logika kontrak memenuhi spesifikasi dan maksud klien.
- Referensi silang struktur dan implementasi kontrak terhadap kontrak pintar serupa yang diproduksi oleh para pemimpin industri.
- Tinjauan manual garis demi garis yang menyeluruh dari seluruh basis kode oleh para pakar industri.
Klasifikasi Kerentanan
- CertiK mengelompokkan masalah menjadi tiga ember berdasarkan tingkat risiko keseluruhan:
- Penting: Implementasi kode tidak sesuai dengan spesifikasi, yang dapat menyebabkan hilangnya dana bagi pemilik atau pengguna kontrak.
- Medium: Implementasi kode tidak sesuai dengan spesifikasi dalam kondisi tertentu, yang dapat memengaruhi standar keamanan dengan hilangnya kontrol akses.
- Rendah: Implementasi kode tidak mengikuti praktik terbaik, atau menggunakan pola desain yang tidak optimal, yang dapat mengarah pada kerentanan keamanan lebih lanjut.
CertiK bekerja erat dengan BOSAGORA untuk mengaudit desain dan implementasi kontrak cerdasnya. Untuk memastikan perlindungan yang komprehensif, kode sumber dianalisis oleh mesin verifikasi formal CertiK dan ditinjau secara manual oleh pakar dan insinyur kontrak pintar Certik. Proses ujung ke ujung memastikan bukti stabilitas serta proses langsung yang berfokus pada rekayasa untuk menutup celah potensial dan merekomendasikan perubahan desain sesuai dengan praktik terbaik.
Secara keseluruhan, Certik menemukan kontrak pintar BOSAGORA untuk mengikuti praktik yang baik. Dengan pemutakhiran terakhir dari kode sumber dan pengiriman laporan audit, Certik menyimpulkan bahwa kontrak secara struktural sehat dan tidak rentan terhadap masalah anti-pola atau keamanan yang diketahui secara klasik.
- Certik: https://certik.io/#home