Proof of Stake Vitalik Buterin Technion Cybersecurity and IT Security Summer SchoolTechnionNovember 16, 2017