DATA & TRANSPARANSI

Audit

Tinjauan keamanan independen membantu mengidentifikasi risiko kontrak pintar. Sebuah laporan menjadi bukti yang berguna hanya ketika cakupan, versi kode, dan kontrak yang diterapkan dapat diverifikasi.

Audit mengurangi ketidakpastian. Audit tidak menjamin keuntungan, likuiditas, operasional yang tanpa gangguan, atau ketiadaan setiap kerentanan.

Direktori Audit Atlas Resmi

Dua laporan independen saat ini ditautkan dari situs web resmi Atlas. Publikasi menegaskan bahwa ulasan tersebut ada; itu tidak berarti bahwa setiap temuan telah diselesaikan atau bahwa kontrak-kontrak tersebut bebas risiko.

Audit keamanan Beosin

Tinjauan keamanan *smart-contract* · ID laporan 202606171520

LAPORAN DITERBITKAN

Tanggal peninjauan15–17 Juni 2026

JaringanBNB Smart Chain

Ruang lingkup yang diauditDailyFlow, LockupFlow, Distrib, Transport, dan PositionHandler

Hasil yang dilaporkan: 1 temuan Rendah — diakui.Laporan tersebut mengidentifikasi risiko sentralisasi dan merekomendasikan penggunaan akun multi-tanda tangan untuk kontrol istimewa.

Buka laporan Beosin →Bandingkan registri kontrak

Audit smart-contract Cyberscope

Tinjauan awal 15 Juni 2026 · tahap tinjauan kedua 30 Juni 2026

LAPORAN DITERBITKAN

AuditorCyberscope

Tahapan peninjauan15 dan 30 Juni 2026

Ruang lingkupKontrak Atlas Smart Cycle dan komponen pendukung yang tercantum dalam laporan

Laporkan inventaris: 1 Kritis, 2 Menengah, dan 17 temuan Kecil / Informatif.Laporan yang diterbitkan mencantumkan temuan-temuan ini sebagai belum terselesaikan. Baca detail temuan dan penjelasan audit resmi Atlas sebelum menarik kesimpulan.

Buka laporan Cyberscope →Penjelasan Open Atlas

Yang diperiksa dalam audit smart-contract

Kontrol akses

Siapa yang dapat memanggil fungsi-fungsi istimewa dan mengubah status sensitif.

Masuk ulang

Apakah panggilan eksternal dapat masuk kembali ke dalam eksekusi secara tak terduga.

Penanganan token

Persetujuan, transfer, desimal, dan penanganan nilai kembali.

Matematika & negara

Pembulatan, batas, akuntansi, dan transisi status.

Kontrol admin

Kepemilikan, penundaan, kemampuan peningkatan, dan izin darurat.

Logika bisnis

Apakah implementasi mengikuti aturan Siklus Cerdas yang didokumentasikan.

Cara membaca tingkat keparahan temuan

CKritisDapat mengancam dana atau kendali inti.

HTinggiEksploit material atau kegagalan protokol.

MSedangMasalah bermakna dengan batasan.

LRendahDampak terbatas atau kasus yang sulit dijangkau.

IInformasionalCatatan kualitas, kejelasan, atau praktik terbaik.

Selalu baca definisi tingkat keparahan milik auditor sendiri: label dapat berbeda antar-perusahaan.

Verifikasi laporan tersebut sebelum mempercayai lencananya

01Sumber auditorBuka laporan dari domain resmi auditor.

02Alamat KontrakCocokkan dengan registri resmi Atlas.

03Versi kodeKonfirmasi commit, bytecode, atau versi sumber yang telah diaudit.

04Ruang lingkupPeriksa kontrak dan fungsi mana saja yang telah ditinjau.

05TemuanBaca setiap masalah yang belum diselesaikan dan yang telah diakui.

06Uji ulangKonfirmasikan bahwa temuan yang telah diperbaiki ditinjau kembali.

Hal-hal yang dibahas dalam laporan ini — dan hal-hal yang mungkin tidak dibahas

Umumnya dicakup

Kode sumber yang telah diaudit dan kontrak yang terdaftar
Pola kerentanan yang diketahui
Logika akses dan penanganan token
Versi kode spesifik dalam laporan

Tidak ditanggung secara otomatis

Penyebaran di masa mendatang atau kode yang ditingkatkan
Keamanan situs web, dompet, atau perangkat pengguna
Likuiditas dan perilaku peserta
Hasil pasar, ekonomi, atau operasional

Menemukan siklus hidup remediasi

01DitemukanAuditor mendokumentasikan masalah tersebut

→

02DiperbaikiPengembang mengubah kode

→

03Diuji ulangAuditor memeriksa koreksi

→

04SelesaiStatus akhir masuk ke dalam laporan

Apa yang tidak dijamin oleh audit

“Diaudit” bukan berarti bebas risiko.Sebuah audit dibatasi oleh ruang lingkup, tanggal, versi kode, metodologi, dan waktu peninjauan yang tersedia. Audit tidak dapat menjamin likuiditas di masa depan, hasil ekonomi, ketersediaan situs web, atau perilaku aman dari setiap partisipan.

Indikasi kecurangan audit

!Lencana tanpa tautan laporan

!Laporan hanya di-host oleh proyek

!Alamat Kontrak Berbeda

!Versi kode lama atau tidak ditentukan

!Buka temuan Kritis atau Tinggi yang disembunyikan

!“Klaim ”100% aman“ atau ”terjamin”