A New Startup Has Zooko and Naval Betting on Better Crypto Contracts A group of old-school security researchers have raised funds to build a better smart contracting language.