1. Run and SPV node.
2. Do NOT accept a tip that is too old (wait until you get a header with timestap that at max 10 minutes older than your clock).
3. Wait until you get 6 confirmations.
4. If you see the latest 6 blocks taking too long, actively look for more peers and see if there is a fork.
5. If there is a fork with significant number of blocks, HALT and tell the user to go check what the fuck is going on.
6. If you can't find a fork but your chain is taking too long, HALT and tell the user to go check what the fuck is going on.
That is probably safer than fraud proofs, because... If the valid chain is a 10-100x weaker than the invalid chain... Maybe you just need to let the human intervene, instead of trusting code at this point.
2. Do NOT accept a tip that is too old (wait until you get a header with timestap that at max 10 minutes older than your clock).
3. Wait until you get 6 confirmations.
4. If you see the latest 6 blocks taking too long, actively look for more peers and see if there is a fork.
5. If there is a fork with significant number of blocks, HALT and tell the user to go check what the fuck is going on.
6. If you can't find a fork but your chain is taking too long, HALT and tell the user to go check what the fuck is going on.
That is probably safer than fraud proofs, because... If the valid chain is a 10-100x weaker than the invalid chain... Maybe you just need to let the human intervene, instead of trusting code at this point.
2