Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents 事件

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents arXiv:2605.29910v1 Announce Type: cross Abstract: Consensus protocols form the backbone of distributed systems and blockchains, where implementation bugs can cause data corruption and financial losses. While LLM-based approaches show promise in code analysis, they struggle with deep protocol-level logic bugs involving complex state-dependent behaviors across multiple execution stages. We present Agora