本文介绍了使用zkSPV合约实现无需信任的比特币预言机的概念和方法。文章讨论了SPV节点的设计,并提出了不同版本的SPV合约,包括如何利用SNARKs和递归证明来降低验证成本,以及如何处理区块头、Merkle树和交易验证。此外,还探讨了证明交易、比特币虚拟机、地址和UTXO集合等不同方面的应用。