https://miscreants.github.io/blog.trailofbits.com/authors/anne-ouyang/Recent content in Anne Ouyang on The Trail of Bits BlogHugoen-usFri, 25 Oct 2019 07:00:56 -0400https://miscreants.github.io/blog.trailofbits.com/2019/10/25/formal-analysis-of-the-cbc-casper-consensus-algorithm-with-tla/Fri, 25 Oct 2019 07:00:56 -0400https://miscreants.github.io/blog.trailofbits.com/2019/10/25/formal-analysis-of-the-cbc-casper-consensus-algorithm-with-tla/As a summer intern at Trail of Bits, I used the PlusCal and TLA+ formal specification languages to explore Ethereum’s CBC Casper consensus protocol and its Byzantine fault tolerance. This work was motivated by the Medium.com article Peer Review: CBC Casper by Muneeb Ali, Jude […]