The Cardano network has reached a significant milestone by successfully deploying its first zero-knowledge (ZK) smart contract on the mainnet.
This achievement utilizes the Plutus v3 ledger language, marking a step forward for the network’s capabilities.
The ZK smart contract Halo2 will allow zero-knowledge applications and partner chains, such as Midnight, to integrate with Cardano.
On Nov. 25, the Input-Output (IO) Research team verified the Halo2 proof on the mainnet for the Ad-hoc Threshold Multi-signatures scheme (ATMS). This scheme successfully validated 50 out of 90 signatures.
The process involved two transactions—one locking the funds and another unlocking them after proof verification. The locking transaction cost 0.16 ADA, while unlocking using Halo2 verification required a fee of 2.03 ADA.
Understanding Halo2
Halo2 is a cutting-edge zk-SNARK proving system that enables secure transaction validation without revealing sensitive details.
The firm explained that the technology builds upon the PLONK protocol, a universal zk-SNARK framework that optimizes efficiency and flexibility. Halo 2 is component-based, breaking up its functions into modular elements, hoping to make it easier to adapt to cryptographic needs.
This approach allows one party to confirm computations to another without exposing underlying data. Unlike traditional zk-SNARK systems, Halo2 eliminates the need for a trusted setup and addresses potential security risks and logistical challenges.
Another standout feature of Halo2 is its support for recursive proofs. This capability divides computations into smaller segments, where the proof from one stage serves as input for the next. This feature allows for efficient proof aggregation, targeting enhanced performance and scalability.
Input Output stated:
“Halo 2 was developed as an extension and improvement of the original Halo protocol, designed by Sean Bowe at Electric Coin Company. By building on modern cryptographic primitives, Halo 2 enhances the overall security of zero-knowledge proof.”
With these advancements, Halo2 aims for real-world applications to reduce overhead costs and improve the speed of proof generation and verification.
