The last six months or so have seen several proposals for improvements to Bitcoin Script: CAT, 64-bit arithmetic, as well as some older ideas (CTV) and far-future ideas (Chialisp and Simplicity). This ...
Already this is interesting: it means that for certain kinds of "oracle signature" applications, you can directly check signatures in Bitcoin Script, assuming you have an oracle that is willing to ...