This is very exciting, or seems so... i'm surprised there's not more discussion here.  Maybe people are studying your work.

It seems that this is key in decentralization and relevant to the scaling debate. 

I think it could be very beneficial if you had time to write more about
the security model of Bitcoin and how the various strengths of fraud proofs
can help ensure SPV clients are able to validate the network...and reduce
the need for most users to run full nodes.