Show HN: Trains – leaderless total-order broadcast in Rust, formally verified

(github.com)

3 points | by yeychenne 8 hours ago ago

2 comments

  • Chu4eeno 7 hours ago

    Did you confirm the verification with your own eyes? The verification report `bgagent` committed is very typical for hallucination (emojis, detailed timings, bold everywhere).

  • yeychenne 8 hours ago

    [flagged]