Evaluation of logic-based smart contracts for blockchain systems