A much-touted advantage of smart contracts is that the code is public, so anyone can check and verify it before engaging with it. The problem is that it is extremely difficult to tell precisely what a program might possibly do without actually running it.339 Even if you do see any obvious (or exploitable) bugs, nobody can fix them once the contract’s been deployed – your bugs are immutable.
