We invented and implemented a Consensus algorithm in which not all participants agree on who may fail, and how.
heterogeneous participants, and heterogeneous observers.
With Charlotte, we can append one block onto multiple blockchains,
[atomic commit problem](https://github.com/ethereum/wiki/wiki/Sharding-FAQ#what-is-the-train-and-hotel-problem).
A work-in-progress talk about our Heterogeneous Consensus algorithm.
We use the
[Decentralized Label Model](http://www.cs.cornell.edu/andru/papers/iflow-tosem.pdf)
to show how distributed algorithms, like
can be generalized from more complex trust environments.
We've been looking at modeling distributed system failures with
information flow tools, and expressing heterogeneous trust.