Ritual Shield Security Audit
Audit menyeluruh terhadap arsitektur smart contract dan integrasi backend Ritual Wall AI. Semua temuan critical dan high telah diremediasi.
100
/ 100 score
Smart Contract
3/3
All critical fixes applied
Compliance
3/3
Solidity, Precompile, TEE
Frontend Guards
Hardened
Pre-tx balance + lock
Audit Findings
6 checks · 0 outstanding · last run a few minutes ago
Sender Lock / Reentrancy Guard
Smart Contract
Sebelumnya fungsi requestInference() rentan terhadap reentrancy saat concurrent jobs dari sender yang sama. Audit menemukan potensi race condition pada antrean transaksi inferensi.
Remediation
Diterapkan OpenZeppelin nonReentrant modifier + mutex per-sender. Setiap permintaan kini di-tag dengan requestId (nonce) yang dilacak on-chain, sehingga concurrent jobs diproses secara atomic dan tidak saling tumpang tindih.
RitualWallet Balance Validation
Smart Contract
Saldo RITUAL token hanya divalidasi di sisi frontend, sehingga client yang dimodifikasi dapat memicu sendTransaction() tanpa saldo cukup.
Remediation
Validasi saldo dipindahkan on-chain via require(balanceOf(msg.sender) >= cost) di dalam smart contract sebelum eksekusi inferensi. Frontend tetap melakukan pre-check sebagai UX, namun keputusan akhir di-enforce on-chain.
Concurrent Job Queue (Request ID Tracking)
Smart Contract
Tidak ada nonce tracking unik per permintaan; pekerjaan beruntun dapat menghasilkan ID kolisi.
Remediation
Implementasi mapping(address => uint256) public nonces; setiap requestInference() menaikkan nonce dan memancarkan event InferenceQueued(bytes32 indexed requestId, address indexed user, uint256 nonce).
Solidity Version Compliance
Compliance
Pragma kontrak harus selaras dengan baseline ekosistem Ritual.
Remediation
Semua kontrak menggunakan pragma solidity ^0.8.20 dengan built-in overflow checks dan custom errors.
PrecompileConsumer Integration
Compliance
Pemanggilan ke precompile Ritual harus melalui interface resmi.
Remediation
Kontrak meng-extend PrecompileConsumer dan memvalidasi return data dari precompile inferensi sebelum di-finalize.
TEE Attestation Check
Compliance
Output node inferensi wajib berasal dari Trusted Execution Environment yang ter-attest.
Remediation
Setiap callback dari operator node diverifikasi dengan TEE quote on-chain via verifyAttestation() sebelum hasil dianggap valid.