In response to dcSpark co-founder Sebastien Guillemot, the very first ZK (zero-knowledge) good contract has been deployed on the Cardano mainnet.
This marks the beginning of the period of ZK purposes on the favored blockchain community.
The transaction was carried out by Cardano developer Enter Output with the assistance of Halo 2 for ZK verification on the blockchain’s mainnet.
As defined by Enter Output, the primary transaction was meant to lock the funds. The second transaction, which required the verification of the Halo2-generated ZK proof, was carried out with a view to unlock the funds.
Associated
The unlocking transaction required a 2.03 ADA ($1.9) payment, which is “moderately low,” based on Enter Output.
The Halo 2 zkSNARK proving system, which was created by Zcash creator Electrical Coin Firm, makes it attainable to create and confirm cryptographic zk-SNARKs proofs and not using a want for a trusted setup.
In a prolonged social media thread, Enter Output defined the advantages of the Halo 2 cryptographic approach, which makes it attainable to show {that a} computation was carried out appropriately with out revealing its particulars. The Cardano developer particularly talked about the truth that recursive proofs as some of the notable options of Halo 2. They make it attainable to extend scalability and interoperability by breaking down computations into smaller components.
Associated
“We nonetheless have extra work to do. However this check by IO Analysis represents a major step ahead in the usage of zero-knowledge proofs with Cardano, bringing with it a strong mixture of scalability, effectivity, and additional enhanced safety,” Enter Output mentioned.