"Smart contracts" that lock up all the money because of a = rather than <= bug doesn't seem "efficient" it seems brain dead.

It turns out some of the inefficiency is necessary for everything to function, and ultimate efficiency is a dumb idea. Who knew?