命令式交易模型编码了过多内容： “从Alice转移100个代币到Bob”指定了机制，而结果才是重要的。 NockApp使用声明性意图：“以X或更好的汇率交换100个代币换取ETH。”链下求解器寻找执行路径。ZK证明验证正确性。Nockchain只验证证明，不执行你的代码。 这有很大区别。