According to dcSpark co-founder Sebastien Guillemot, the very first ZK (zero-knowledge) smart contract has been deployed on the Cardano mainnet
This marks the start of the era of ZK applications on the popular blockchain network
The transaction was performed by Cardano developer Input Output with the help of Halo 2 for ZK verification on the blockchain’s mainnet
HOT Stories Cardano Makes History with First ZK Smart Contract ‘I Have Owned and Backed Crypto’ Since Very Early Times: Jim Cramer Ripple CEO Secures “60 Minutes” Interview Shiba Inu (SHIB) Breakout Secured: What’s Next? Bitcoin (BTC) Delivers Hidden Signal, Toncoin (TON) Next to Skyrocket?
As explained by Input Output, the first transaction was meant to lock the funds. The second transaction, which required the verification of the Halo2-generated ZK proof, was performed in order to unlock the funds
Related Fri, 11/22/2024 - 15:28 Cardano (ADA) Open Interest Soars 15% to Hit New High
The unlocking transaction required a 2.03 ADA ($1.9) fee, which is “reasonably low,” according to Input Output
The Halo 2 zkSNARK proving , which was created by Zcash creator Electric Coin Company, makes it possible to create and verify cryptographic zk-SNARKs proofs without a need for a trusted setup
In a lengthy social media thread, Input Output explained the benefits of the Halo 2 cryptographic technique, which makes it possible to prove that a computation was performed correctly without revealing its details. The Cardano developer specifically mentioned the fact that recursive proofs as one of the most notable features of Halo 2. They make it possible to increase scalability and interoperability by breaking down computations into smaller parts
Related Tue, 11/26/2024 - 15:56 Britain’s Crypto Regulation Regime to Go Live in 2026
“We still have more work to do. But this test by IO Research represents a significant step forward in the use of zero-knowledge proofs with Cardano, bringing with it a powerful combination of scalability, efficiency, and further enhanced security,” Input Output said