The importance of full-stack openness and verifiability - a new blog post by Vitalik