How does Bitcoin distinguish a valid proof from a counterfeit one? When utilizing smart contract chains, one can simply deploy the verifier as a program directly on the ledger. Conversely, on Bitcoin, that verifier program would amount to roughly 1GB of data, taking up around 250 blocks, and is limited to one-time use. For this reason, the significant recent advancement has been the ability to make proof verification on Bitcoin truly practical.