vitalik buterin, by bayard wu, tim white, ross tran, 4 k