Ittai Abraham Researcher, VMware Program Visits Proofs, Consensus, and Decentralizing Society, Fall 2019. Visiting Scientist.