The BitcoinOS roll-up protocol successfully verified the first transaction based on zero-knowledge proof (ZK) in the main bitcoin network.
We have done it! For the first time ever a ZK-proof has been verified on Bitcoin Mainnet by BitcoinOS.
The final verification was confirmed in block 853626.
A historic moment and a historic block.
A new era has begun for Bitcoin enabling unlimited scaling and functionality -… pic.twitter.com/x8akim4SJh
According to the developers, the final confirmation of the ZK transfer was received in block #853 626.
"A new era has begun for bitcoin, providing unlimited scaling and functionality — no soft fork is required," the publication says.
To implement the solution, BitcoinOS created outputs of unspent transactions with BTC and Ordinals, which are controlled by the ZK Bitcoin smart contract.
All the elements of the protocol are in the bitcoin mainnet. At the same time, the contract itself does not have a multi-signature and a specific owner.
The underlying transaction verification protocol technology is an updated zk-SNARK —BitSNARK proof library. The solution allows developers to create "almost trustless bridges" to move bitcoin between the main network and L2.
BitcoinOS is positioned as a scalable superchain that allows developers to create compatible rollups, decentralized applications (dapps) and DAO, ensuring privacy for network users.
"Bitcoin is no longer just digital gold. It is also an operating system and a platform on which to build a whole world of dapps. [...] Ethereum, Solana and other L1 projects are no longer protected from competition from bitcoin," said BitcoinOS co-founder Edan Yago in an interview with Cointelegraph.
He added that the launch of ZK verification on the digital gold mainnet is closely linked to the purpose of the solution, allowing it to be turned "into an operating system."
Recall that in June, the StarkWare company behind StarkNet announced plans to make the L2 network a single level of scaling for the first cryptocurrency along with Ethereum.
According to the co-founder of the company, Eli Ben-Sasson, such a large-scale extension for the protocol can actually be implemented six months after the implementation of the OP_CAT update in bitcoin.