2 ms·

David knows his stuff; this isn't BS. Having a way to program arbitrary zero knowledge proofs sounds v. useful.