神谕机的落地方法论 可以参考 P/NP 问题的求解。 P/NP 问题指： 求解困难而 验证容易的问题。 该类问题 是 神谕机的内核思想。 类比于于 图灵机的 ”看上去一切可计算的都可以计算“。 神谕机 把 求解 放入一类形式化系统，而把验证放入另外一类形式系统，从而把两类形式化系统给链接起来。 #Bitcoin 的最长链（“神谕机 ”） 把 POW 的nonce 求解放入 到 Miner 这类形式化系统，而把验证放入到 UTXO 这类形式化系统。 从而让 最长链是 Miner 这类形式化系统努力竞争做功求解来的结果 送给 UTXO这类形式化系统简单验证，从而保证了 UTXO这类形式化的安全性：即可用性。