ZeroSync deploys the first lightweight ZK client for Bitcoin

The ZeroSync project has deployed the first client system for the Bitcoin header chain based on the zero-knowledge-proof ZK-STARK mechanism. The The Block reports.

The solution is built on the Cairo programming language from StarkWare and uses the company’s ZKP-technology. The system enables verifying the network state without having to download the blockchain or trust a third party.

ZeroSync is involved in the development of tools, which with the help of ZKP will help address Bitcoin’s scaling issues such as transaction speed and congestion.

The created verifier is a lightweight client that enables checking inclusion of transactions in the blockchain, storing only the proofs for the header chain.

“This dramatically lowers the barriers to entry for participating as a full citizen of the Bitcoin network,” said ZeroSync co-founder Robin Laynus.

According to him, in the long term the project aims to bring broad scalability to the Bitcoin blockchain using ZK-STARK.

ZeroSync has developed and is currently implementing the second-layer protocol, which will enable processing more than 100 Bitcoin transactions per second, he added.

The header verifier in the project has been named the first major milestone on the path to a full ZK client. The next step is planned to be a tool for nodes to verify the entire blockchain without the need to download and process data.

“The ultimate goal is to create a zero-knowledge verifier in the main Bitcoin network,” Laynus stressed.

As ForkLog explained the ZK-STARK technology and the StarkNet network built on it in educational cards.