Cardano founder builds new language with zero-knowledge proofs

The proposed language could make Cardano apps easier to compose and verify, but developers still have no name, public code or release date to work with.

CoinDesk