An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts

Nikolaj Bjørner, Shuo Chen, Yang Chen +3

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core i…