小编Der*_*rek的帖子

我看到Pact可以使用Microsoft的Z3定理证明器自动检查智能合约的某些属性。是否存在无法自动验证的智能合约的相关属性？如果有，您是否希望逐案验证它们，还是正在做一些工作来扩展自动检查器的功能？

此外，您是否希望Pact的Turing不完整性会以任何有意义的方式限制智能合约开发人员？