请问如何在没有 Chainweaver Web UI 的情况下将智能合约部署到测试网或主网？我知道我需要一个 YAML 文件，但我该如何处理它以及将它发送到哪里？
我需要运行 pact 服务器、chainweb api 还是......？我找不到任何指南
如何在Pact中注释掉大部分代码？Atom中是否有为此的快捷方式？
我已经尝试过，command+?但是它以HTML格式注释掉了。
但是，这在Pact Web（pact.kadena.io）中确实有效
我看到Pact可以使用Microsoft的Z3定理证明器自动检查智能合约的某些属性。是否存在无法自动验证的智能合约的相关属性？如果有，您是否希望逐案验证它们，还是正在做一些工作来扩展自动检查器的功能？
此外，您是否希望Pact的Turing不完整性会以任何有意义的方式限制智能合约开发人员？