The koa is a high-level language that has more expressions than the bitcoin script and is simpler and easy to analyze
HoneyBadgerBFT, the first practical asynchronous BFT protocol without timing assuption
Scalabe Weakly-consistent Infection-style Process Group Membership Protocol