2018年12月4日
2018.12.4 区块链论文翻译
摘要： Debugging Smart Contract’s Business Logic Using Symbolic Model Checking 使用符号逻辑检查为智能合约的商业逻辑debug (InfoTeCS, Russia) 智能合约是一种在区块链上运行的特殊程序。它不可更改、透明，为实现容错性 阅读全文
posted @ 2018-12-04 10:54 窗明几净 阅读(176) 评论(0) 推荐(0)