It misses one of the coolest ones.
Slow Money, from (Neptune's Brood)[https://en.wikipedia.org/wiki/Neptune%27s_Brood] is based on using the speed of light and the triangle inequality to verify transactions via the laws of physics.
You are allowed to double spend as long as the two expenditures are outside each other's light cones.
You are allowed to double spend as long as the two expenditures are outside each other's light cones.