Improving SPV security with PoW fraud proofs



Summary:

In a discussion between Ruben Somsen and ZmnSCPxj, the topic of UTXO sets was raised. ZmnSCPxj stated that there is no safe way to use UTXO sets without identifying who is telling you those sets are valid or making it expensive to lie. The first option requires trust and is weaker than SPV, while the second requires committing to a proof-of-work. Ruben Somsen suggested that an alternative to UTXO set commitments could be the old fraud proofs idea for segwit. Miners would commit to the location of the UTXOs being spent, allowing full nodes to succinctly prove invalidity to SPV clients. However, ZmnSCPxj argued that in order to validate block N, all UTXOs spent by transactions in block N must be valid, and the non-existent fraud proof can only be validated by loading the block of the UTXO purported to be spent and every block between that and the current block being verified, i.e. fullnode.


Updated on: 2023-06-13T18:18:07.329652+00:00