AI × CryptoNeutralarXiv – CS AI · 14h ago7/10
🤖
Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
Researchers introduced Agora, a multi-agent LLM framework designed to detect deep logic bugs in consensus protocols used by blockchains and distributed systems. The system discovered 15 previously unknown protocol-level bugs in major implementations (Raft, EPaxos, HotStuff, BullShark) that existing LLM approaches failed to identify, demonstrating the effectiveness of domain-aware collaborative AI for protocol verification.