Axtronode adalah lembaga audit smart contract independen di Indonesia. Kami membantu proyek kripto memenuhi persyaratan teknis keamanan untuk listing di bursa kripto resmi yang diawasi OJK — CFX dan ICEx.
Sejak 10 Januari 2025, OJK resmi mengawasi seluruh ekosistem aset kripto Indonesia. Setiap proyek yang ingin listing di bursa kripto resmi wajib memenuhi standar keamanan teknis yang ketat.
Berdasarkan UU P2SK dan PP 49/2024, OJK resmi mengambil alih kewenangan pengaturan aset kripto dari Bappebti sejak 10 Januari 2025. Status aset kripto berubah dari komoditas menjadi Aset Keuangan Digital (AKD).
Dua regulasi utama yang mengatur seluruh aspek perdagangan AKD di Indonesia — dari persyaratan teknis smart contract, tata kelola, perlindungan konsumen, hingga mekanisme derivatif.
CFX dan ICEx sebagai Bursa AKD berizin OJK mewajibkan dokumentasi teknis dan bukti audit keamanan sebagai bagian dari proses evaluasi listing aset kripto baru.
Indonesia kini memiliki dua bursa aset keuangan digital yang diawasi penuh oleh OJK. Listing di keduanya membutuhkan dokumentasi teknis dan audit keamanan yang memadai.
PT Central Finansial X (CFX) adalah bursa aset kripto pertama di Indonesia yang beroperasi penuh sejak 2025 di bawah pengawasan OJK. Berperan seperti Bursa Efek Indonesia (BEI) di ekosistem kripto — mengatur, mengawasi, dan menjamin transparansi perdagangan.
PT Fortuna Integritas Mandiri (ICEx) adalah bursa aset kripto kedua Indonesia, mendapat izin OJK pada 5 Januari 2026. Didukung pendanaan Rp1 triliun dari 14 perusahaan nasional, ICEx hadir sebagai ekosistem terpadu dengan lembaga kliring (CACI) dan kustodian (ICC).
Dari audit teknis mendalam hingga laporan compliance regulasi — semua yang dibutuhkan untuk listing di CFX dan ICEx.
Audit mendalam 7 fase mencakup static analysis, symbolic execution, fuzzing, dan formal verification. Setiap kerentanan didokumentasikan dengan root cause analysis, PoC exploit, dan remediation code.
Laporan audit yang disusun sesuai persyaratan teknis CFX dan ICEx, mengacu pada POJK 27/2024 dan POJK 23/2025. Mencakup analisis tata kelola, manajemen risiko, dan perlindungan konsumen.
Pemantauan on-chain berkelanjutan setelah kontrak live menggunakan Forta Network dan Tenderly. Deteksi anomali real-time untuk menjaga keamanan pasca-deployment.
Konsultasi strategi kepatuhan ekosistem kripto Indonesia. Panduan proses listing, persiapan dokumen teknis, dan koordinasi dengan CFX/ICEx untuk mempercepat approval.
Definisi scope, Audit Charter, Risk Register awal berdasarkan 5 domain audit
Analisis arsitektur, privilege matrix, STRIDE threat modeling, attack surface mapping
6 tools keamanan: Slither, Mythril, Echidna, Foundry, Manticore, Halmos
Review manual AI-assisted — root cause, PoC, remediation code lengkap
Asesmen multisig, timelock, key management, IR playbook — standar COBIT & NIST CSF
Simulasi skenario serangan: flash loan, reentrancy, privilege escalation, oracle manipulation
Skynet Score, risk matrix, laporan eksekutif + teknis + compliance matrix
Laporan final siap diserahkan ke CFX, ICEx, dan OJK
Tools yang sama digunakan oleh CertiK, Trail of Bits, dan OpenZeppelin untuk audit smart contract skala enterprise.
Mendeteksi 70+ kategori kerentanan secara otomatis termasuk reentrancy, access control, dan arithmetic issues.
Trail of BitsMemetakan semua jalur eksekusi kontrak untuk menemukan kerentanan yang tidak terdeteksi static analysis.
ConsenSysFuzzer berbasis properti yang menguji invariant kontrak dengan ribuan input acak untuk menemukan edge case.
Trail of BitsFramework testing Solidity modern dengan fork testing, fuzzing, dan coverage reporting.
ParadigmSymbolic execution mendalam untuk analisis EVM bytecode — kerentanan tersembunyi di level instruksi.
Trail of BitsFormal verification untuk membuktikan secara matematis bahwa kontrak memenuhi property keamanan.
a16z cryptoMulai audit smart contract Anda hari ini. Platform kami memandu dari fase pertama hingga laporan compliance siap diserahkan ke bursa.