The End of Consensus Research?
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
The paper introduces AI-greement, an agent harness that equips general-purpose coding agents with a consensus protocol knowledge base, a modular implementation skeleton, and a Lean verification framework, and uses it to design A-greement, a geo-replicated consensus protocol.