An overview highlighting the benefits of Agoric's hardened JavaScript smart contract framework for crypto application developers.