比特币上可扩展的点对点代币
回到创世纪的问题
比特币上的代币通常存储在 UTXO 中。当收到假定的令牌交易时，用户需要一种有效且快速地检查其真实性的方法。一个主要部分是决定它是否链接到某个创世交易，在哪里发行代币。
在基本形式中，Back-to-Genesis (B2G) 问题归结为：给定一笔交易，它是否与完整交易链中的某个创世交易相关联？
今天比特币上的所有代币都必须依赖一些受信任的第三方来解决这个问题，因为当链过长时，轻量级用户验证自己在计算上变得具有挑战性²。例如，Dot钱包的Badge代币使用代币索引器，而Sensible代币使用预言机。这种第三方依赖阻碍了比特币的代币采用，因为它不像原生比特币那样可扩展且对SPV友好。
我们之前的提议试图在没有任何第三方的情况下解决这个问题。然而，随着链的增长，代币交易的规模呈指数增长，严重限制了其在实践中的使用。
递归 SNARK
回想一下递归 SNARK，特别是增量可验证计算 (IVC)，我们想要证明函数 F 对初始输入 z₀ 应用 n 次会产生 zₙ。
在每一步中，zᵢ是公共输入，wᵢ是私有输入（即见证人）。
每一步都会产生一个新的证明。在步骤i中，证明者算法计算
