Hi Joyce, what I'm really interested in are the details you promised in that first blog post:

  We’ll be releasing a paper soon
  documenting and exploring a
  provably-correct version of this
  algorithm.

When should we expect this paper about Stellar's consensus model to be made available?

Thanks.