Audit
Semakan keselamatan bebas membantu mengenal pasti risiko kontrak pintar. Sesuatu laporan hanya menjadi bukti berguna apabila skop, versi kod dan kontrak yang didayakan boleh disahkan.
Daftar Audit Atlas Rasmi
Dua laporan bebas kini dipautkan dari laman web rasmi Atlas. Penerbitan mengesahkan bahawa satu semakan wujud; ia tidak bermakna setiap penemuan telah diselesaikan atau bahawa kontrak-kontrak itu bebas risiko.
Audit keselamatan Beosin
Semakan keselamatan kontrak pintar · ID laporan 202606171520
LAPORAN TELAH DIKELUARKAN
Audit kontrak pintar Cyberscope
Semakan awal 15 Jun 2026 · Semakan kedua fasa 30 Jun 2026
LAPORAN TELAH DIKELUARKAN
Apa yang disemak oleh audit kontrak pintar
Kawalan capaian
Siapa yang boleh memanggil fungsi istimewa dan mengubah keadaan sensitif.
Keluwesan Semula
Sama ada panggilan luaran boleh memasuki semula pelaksanaan secara tidak dijangka.
Pengendalian token
Persetujuan, pemindahan, perpuluhan dan pengendalian nilai kembalian.
Matematik & negeri
Pengbulatan, had, perakaunan dan peralihan keadaan.
Kawalan pentadbir
Pemilikan, penjedaan, kebolehtarafan dan kebenaran kecemasan.
Logik perniagaan
Sama ada pelaksanaan mengikuti peraturan Smart Cycle yang didokumenkan.
Cara membaca tahap keparahan
Sentiasa baca takrifan keterukan juruaudit itu sendiri: label boleh berbeza antara firma.
Sahkan laporan sebelum mempercayai lencana tersebut
Apa yang diliputi oleh laporan itu — dan apa yang mungkin tidak diliputinya
Biasanya dilindungi
- Kod sumber yang diaudit dan kontrak yang disenaraikan
- Corak kerentanan yang diketahui
- Logik akses dan pengendalian token
- Versi kod tertentu dalam laporan
Tidak dilindungi secara automatik
- Penyebaran masa depan atau kod yang dinaik taraf
- Keselamatan laman web, dompet atau peranti pengguna
- Kecairan dan tingkah laku peserta
- Hasil pasaran, ekonomi atau operasi
Mencari kitaran hayat pemulihan
→
→
→