No just javascript. Crypto and protocols are one way of solving this issue, but I wanted something any developer could adopt. So there are no "proof" of security, but you can always inspect the source code, so services no longer behave like a market-for-lemons. It adds a buying signal. Which although not watertight, does change the market dynamics I think for the better.
Thanks for the links, it could well be relevant.