Input Output says the deployment of first ZK smart contract on the Cardano mainnet represent a "significant step forward in the use of zero-knowledge proofs"
