随笔分类 -  BlockChain

关于区块链中的停机问题
摘要：停机问题，指是否能在不执行完一个图灵完备的程序下判断程序能否终止。通过反证法可证明这是不可能的。而区块链中的智能合约，由于需要在众多节点中运行，能否停止这是需要考虑的。 一般，思路有三。计步器，通过计算程序执行步数限制程序停止。计时器，通过程序执行时间限制。图灵不完备，去掉循环类功能，程序本身的长度 阅读全文

posted @ 2018-10-10 14:33 willaty 阅读(695) 评论(0) 推荐(1)

导航