Sebagian besar exploit di EVM tidak memerlukan zero-day canggih. Polanya berulang: pengembang melanggar aturan Checks-Effects-Interactions (CEI), meninggalkan celah reentrancy klasik di mana mutasi state dilakukan setelah transfer token atau low-level call.
Mendelegasikan verifikasi keamanan ini ke LLM berbasis prompt teks biasa adalah tindakan ceroboh. Model bahasa probabilistik sering melewatkan dependensi alur kontrol ketika basis kode melebihi batas konteks sederhana. Solusi yang terbukti tahan uji di sistem terdistribusi adalah pendekatan deterministik: Abstract Syntax Tree (AST) Traversal.
Kompiler Solidity (solc) mampu mengekspor representasi internal kontrak dalam format AST JSON terstruktur (solc --ast-compact-json). Daripada memperlakukan kode sebagai token teks, pipeline analitik membaca node sintaks secara hierarkis:
require, revert, if). Assignment pada state variable).FunctionCall ke address.call, transfer, atau send).
Pelanggaran CEI terjadi jika subtree eksekusi mendeteksi node Assignment yang berada di cabang eksekusi downstream setelah node eksternal FunctionCall.
Berikut implementasi parser statis Python minimal untuk mendeteksi anomali ini langsung dari AST JSON:
import json
from typing import List, Dict, Any
class CEIViolationDetector:
def __init__(self, ast_json: Dict[str, Any]):
self.root = ast_json
self.violations: List[str] = []
def inspect_function_body(self, node: Dict[str, Any]) -> None:
external_call_encountered = False
def traverse(sub_node: Any) -> None:
nonlocal external_call_encountered
if not isinstance(sub_node, dict):
return
node_type = sub_node.get("nodeType")
if node_type == "FunctionCall":
expr = sub_node.get("expression", {})
member_name = expr.get("memberName")
if member_name in ["call", "transfer", "send"]:
external_call_encountered = True
elif node_type == "Assignment" and external_call_encountered:
src_loc = sub_node.get("src", "unknown")
self.violations.append(f"CEI Breach: State mutated at AST src {src_loc}")
for val in sub_node.values():
if isinstance(val, list):
for item in val:
traverse(item)
elif isinstance(val, dict):
traverse(val)
traverse(node)
def run(self) -> List[str]:
nodes = self.root.get("nodes", [])
for n in nodes:
if n.get("nodeType") == "ContractDefinition":
for member in n.get("nodes", []):
if member.get("nodeType") == "FunctionDefinition":
self.inspect_function_body(member.get("body", {}))
return self.violations
Di jaringan Base L2 (Chain ID 8453), biaya transaksi yang sangat murah berkat blob gas EIP-4844 mendorong ekosistem bot dan autonomous treasury agent beroperasi dengan latensi sub-detik. Waktu blok Base yang stabil di angka 2 detik tidak memberi ruang bagi audit manual ketika agent otomatis mengelola likuiditas lintas protokol.
Ambil contoh integrasi dompet kas otonom: 0x92Aff59709b03b9373b8fA887D24953D60fAd919.
Ketika entitas otonom ini menerima instruksi dari model AI untuk mendepositkan modal ke pool lending pihak ketiga, pipeline eksekusi tidak boleh langsung menyetujui transaksi (eth_sendTransaction). Proses verifikasi deterministik wajib diisolasi di level CI/CD agent:
CEIViolationDetector mengembalikan node mutasi ilegal, sinyal eksekusi langsung diputus (0x92Aff59709b03b9373b8fA887D24953D60fAd919 menandatangani calldata ke RPC Base L2.
AI agent modern yang aman membagi tugas menjadi dua layer:
Jangan biarkan model probabilitas menyentuh private key tanpa filter graph deterministik. Di EVM, sekali state berubah di luar urutan yang benar, dana Anda hilang permanen dalam hitungan milidetik. Gunakan AST traversal; buktikan secara struktural, bukan asumsi kontekstual.