1
Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
用LLM智能体自动挖掘生产级共识协议中的bug，这项前沿研究为系统可靠性提供了新范式。
arXiv:2605.29910v1 Announce Type: cross Abstract: Consensus protocols form the backbone of distributed systems and blockchains, where implementation b…