This can be a section from the 0xResearch publication. To learn full editions, subscribe.
Bitcoin fans typically hear phrases like “zk rollups” thrown round, however the actuality is extra nuanced. Whereas Ethereum’s zk rollups depend on zero-knowledge proofs for trustless verification, Bitcoin’s architectural constraints make implementing true zk rollups a distant objective.
Deceptive claims round Bitcoin’s layer-2 capabilities and belief assumptions threaten to confuse customers, and the Bitcoin builder group is working to make clear these points.
Ethereum zk rollups leverage the Ethereum mainnet (layer-1) to confirm cryptographic proofs instantly onchain. Bitcoin, with its 4MB block dimension and restricted scripting capabilities, can’t accommodate these computationally intensive verifiers. As Alexei Zamyatin, a core contributor to BitVM, explains, a zk rollup verifier “merely gained’t match right into a block.”
Tasks like BitVM take a unique strategy, combining SNARK-based compression with optimistic verification. Slightly than verifying proofs onchain, BitVM splits a program into smaller chunks, every verifiable sequentially. This technique mirrors optimistic rollups like Arbitrum slightly than Ethereum’s zk rollups.
“The zk half stops on the compression stage,” Alexei notes. “All the pieces else is an optimistic fraud-proof system.”
The broader dialogue about Bitcoin L2s goes past simply rollups. In a latest thread, Janusz Grzegorz, founding father of Bitcoin Layers, mirrored on the evolving definition of Bitcoin L2s. Initially, Bitcoin layers evaluated initiatives primarily based on their declare of being a “Bitcoin L2,” however this strategy excluded significant exercise like BTC-backed tokens on Ethereum L2s.
Janusz advocates for a shift in focus to belief assumptions as a substitute of semantics. He proposes evaluating the bridges that underpin these methods no matter whether or not they market themselves as an L2. These embody protocols like Rootstock, tBTC on Arbitrum and others.
Grzegorz, recognized on-line merely as “Janusz,” additionally has flagged initiatives like Merlin and BitcoinOS as having contributed to the confusion. Such initiatives typically market themselves as zk rollups on Bitcoin, regardless of missing the infrastructure to ship safety ensures on par with how the time period “rollups” is usually used. He cautions customers to scrutinize initiatives for actual progress, comparable to distributed or optimistic bridges, slightly than counting on buzzwords.
For Zamyatin, schooling and transparency are key. By specializing in belief assumptions, clear definitions and strong analyses, the Bitcoin group can higher perceive what’s possible — and what’s not. For now, zk rollups on Bitcoin stay a misnomer, however improvements like BitVM reveal how Bitcoin can scale inside its distinctive constraints.
To realize true zk rollups, Bitcoin would require a smooth fork to allow constructing a local zk verifier. A number of new opcodes are presently into account amid a latest push to make clear Bitcoin’s future roadmap.
An open Wiki-style discussion board lets stakeholders categorical their preferences and justify their views. Zamyatin’s workforce at Construct on Bitcoin (BOB) has but to weigh in, however expects to quickly.
“What’s nice about this effort is that it collects rationales in a single place — as a substitute of combating on Twitter or scattered threads, you possibly can see the reasoning for every particular person’s stance,” Zamyatin mentioned. “It makes it simpler to guage proposals, summarize execs and cons, and have significant discussions.”
