Bitcoin’s zero-knowledge future gets a test

StarkWare takes a step towards making StarkNet for Bitcoin

article-image

Stefano Peracchia/Shutterstock modified by Blockworks

share

Bitcoin currently lacks true layer-2 networks (as the term is used on Ethereum) primarily because existing scaling solutions do not inherit Bitcoin’s security model. Not really.*

Ethereum rollups that post transaction data to Ethereum mainnet directly leverage its security, ensuring that correct execution of transactions on these layers are secured by the same mechanisms protecting the base layer.

Bitcoin’s “layer-2” solutions, such as the Liquid Network and Rootstock (RSK), are technically sidechains. They operate independently of Bitcoin, using their own set of validators or miners. Sure, they may share mining hash rate, or checkpoint snapshots into Bitcoin, but it’s fundamentally a different level of security.​

Innovations like BitVM can improve trust-minimized bridging from Bitcoin, but to enable bona fide layer-2 solutions on Bitcoin, protocol upgrades are necessary. These upgrades would introduce covenants — mechanisms that restrict how BTC can be spent — that enable secure, trust-minimized interoperability and allow Bitcoin to support a robust layer-2 infrastructure similar to Ethereum’s​.

StarkWare described a significant milestone Wednesday in successfully verifying the first zero-knowledge proof using its new STARK verifier on Bitcoin’s test network, Signet. This achievement follows three months of research on the potential of OP_CAT, one such proposed Bitcoin upgrade.

Read more: StarkWare’s plans add momentum to Bitcoin upgrade

StarkWare’s verifier, developed in collaboration with Weikeng Chen from venture firm L2 Iterative, is the first large-scale practical application of this opcode, StarkWare said in a statement. It demonstrates potential to underpin the development of zk-based layer-2 solutions for Bitcoin.

“This type of verification methodology is completely different from what’s already being explored by other scaling solutions on the Bitcoin network because it doesn’t require the use of fraud proofs or liveness,” the company said, adding that the code for the verifier has been published via Github.

Chen noted that the research was trailblazing. “We started with nothing. There’s no information about zk proofs on Bitcoin or the necessary mathematical operations. We had to build the full xstack leading to the STARK verifier’s implementation,” he said.

The new verifier employs Circle STARKs — cryptographic proofs which significantly speed up the proving process. They will also be used in StarkWare’s next-generation STARK prover, Stwo.

Read more: A STARK breakthrough: Next-gen provers may be at least 100x faster

The current demo only verifies the solution to a discrete mathematical problem: the 32nd number in the Fibonacci squared sequence — or 21,783,0922 — but the team plans to move on to demonstrate a wide range of computations that could ultimately form the basis of a virtual machine.

Until then, bitcoin holders who want to engage in DeFi can do so via a range of other approaches aimed at bringing BTC to other networks, each with their own trade-offs.

*Counterparty might quibble.


Get the news in your inbox. Explore Blockworks newsletters:

Tags

Decoding crypto and the markets. Daily, with Byron Gilliam.

Upcoming Events

Old Billingsgate

Mon - Wed, October 13 - 15, 2025

Blockworks’ Digital Asset Summit (DAS) will feature conversations between the builders, allocators, and legislators who will shape the trajectory of the digital asset ecosystem in the US and abroad.

Industry City | Brooklyn, NY

TUES - THURS, JUNE 24 - 26, 2025

Permissionless IV serves as the definitive gathering for crypto’s technical founders, developers, and builders to come together and create the future.If you’re ready to shape the future of crypto, Permissionless IV is where it happens.

Brooklyn, NY

SUN - MON, JUN. 22 - 23, 2025

Blockworks and Cracked Labs are teaming up for the third installment of the Permissionless Hackathon, happening June 22–23, 2025 in Brooklyn, NY. This is a 36-hour IRL builder sprint where developers, designers, and creatives ship real projects solving real problems across […]

recent research

Research Report Templates (19).png

Research

Suilend has grown into the top money market and liquid staking provider on Sui. STEAMM, Suilend’s Superfluid AMM, presents a compelling avenue for growing market share within Sui’s DEX landscape and revenue generation for the protocol. Suilend’s multi-product suite position it well for owning market share across key verticals. While current metrics across the Sui ecosystem are likely inflated due to Sui Foundation incentive programs, SEND trades at amongst the lowest multiples in the lend/borrow sector, suggesting that a bull case for continued growth in the ecosystem may be mispriced.

article-image

Strive board member Ben Werkman expects thousands of firms to hold BTC, if only “to protect themselves”

article-image

To date, 12.6 million humans have scanned at a World Orb

article-image

One small step for man, one giant leap for Bitcoin

article-image

Jay Woods, Chief Global Strategist at Freedom Capital Markets, said it would be “very rare” for an acquisition to happen since the IPO may occur as soon as next week

article-image

Sponsored

Money is one of the most consequential pieces of infrastructure, and M0 believes its architecture should serve builders, not extract from them

article-image

The financial backwaters they laughed at might be the only thing keeping the dollar afloat