Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain

Samuel H. Christie, Amit K. Chopra, Munindar P. Singh

Current blockchain approaches for business contracts are based on smart contracts, namely, software programs placed on a blockchain that are automatically executed to realize a con…