The field of blockchain and distributed systems is witnessing a significant shift towards formal verification, with a growing emphasis on ensuring the correctness and security of protocols and languages. Researchers are leveraging formal methods, such as theorem provers and simulation refinement, to verify the properties of complex systems and protocols. This trend is driven by the need to guarantee the reliability and trustworthiness of decentralized systems, which are increasingly being used in critical applications. Noteworthy papers in this area include: A Formalization of the Yul Language and Some Verified Yul Code Transformations, which develops a formalization of the Yul language and verifies code transformations. A Formalization of the Correctness of the Floodsub Protocol, which presents a mechanized refinement-based verification of the Floodsub protocol. A Formal Rebuttal of The Blockchain Trilemma, which refutes the claim of an inherent trade-off between decentralization, security, and scalability in blockchain protocols through formal analysis and empirical evidence.