research
Auditable LLM Arbiter for DeFi Security
The gap between what you tell an agent and what it actually executes onchain is real, exploitable, and unsolved. Nava's Arbiter combines deterministic rules with semantic reasoning to verify intent-to-transaction alignment before funds move. Peer-reviewed at NDSS 2026.
