A digital evidences preservation framework for a logic based smart contract