StarkWare verifies first zero-knowledge proof on Bitcoin

StarkWare’s milestone opens the door for ZK-based layer-2 solutions, enhancing Bitcoin’s scalability and global payment capabilities.

• StarkWare has achieved a historic milestone by successfully verifying its first zero-knowledge (ZK) proof using its new STARK verifier on the Bitcoin Signet network.
• The development follows three months of firm exploration of the possibilities of OP_CAT, the technical proposal aimed at expanding the capabilities of the Bitcoin blockchain.
• The verifier lays the foundation for developing ZK-based layer-2 (L2) solutions to improve BTC scalability and push forward toward global payment opportunities.

OP_CAT proposal

The OP_CAT proposal introduces smart contract functionality to the BTC network, and while still undergoing the approval process, it is currently available on the testnet, BTC Signet. StarkWare’s ZK verifier is the first large-scale practical application of the proposal’s opcode on testnet. Its successful implementation on the BTC Signet network carries several implications.

Proof of Concept and accessibility

The proof-of-concept for the STARK verifier involved solving a mathematical problem, verifying the 32nd number in the Fibonacci squared sequence. According to Chen, the process took “tremendous effort” and a “significant amount of time.” With no information on ZK-proof use on Bitcoin, the team “started with nothing.” Chen told Cointelegraph that it took the team “several months to write the building blocks from the very beginning.”

Starknet staking to hit mainnet in Q4

On July 10, at EthCC, Eli Ben-Sasson, the CEO of StarkWare, announced the company’s plans to introduce staking to Starknet by the end of 2024. Proposed through a Starknet improvement proposal (SNIP), the community approval would lead to new staking features that allow stakers to “gradually receive more responsibilities.” Approval of the SNIP would allow users to become stakers provided they hold the minimum staking amount or delegate their holdings to an existing staker.