Zero-knowledge proofs could be a viable means to address recent network congestion and high fees on the Bitcoin blockchain.
News
Join us on social networks
The Bitcoin network has recently faced a litmus test due to the increased demands of Ordinals and BRC-20 tokens being inscribed onto the blockchain.
The resulting increase in fees and transaction congestion has frustrated the wider Bitcoin (BTC) community, considering some BRC-20 tokens involve memecoins that have attracted billions of dollars of capital in recent weeks.
The Ethereum ecosystem has benefitted from the development of scaling solutions, which have brought massive improvements in network capacity and processing ability. Zero-knowledge proofs (ZK-proofs), in particular, have grabbed headlines over the past few months, with several projects adopting the scaling technology.
Cointelegraph spoke exclusively to Eli Ben-Sasson, the co-founder of Ethereum-focused StarkWare and the pioneer of zero-knowledge Scalable Transparent Argument of Knowledge (zk-STARKS), to explore whether the technology could be the answer to Bitcoin’s latest challenge.
ZK-proofs are cryptographic protocols that allow a party to prove a statement or data is true without revealing any information. The technology assures privacy and security while adding capacity to blockchains by reducing the computational load needed to verify transactions and other data stored on-chain.
The renowned mathematician and cryptographer credits Bitcoin for starting his journey of exploration around the promise of validity, cryptographic and zero-knowledge proofs to improve blockchain technology. Highlighting the “deeply entwined” nature of the scaling solutions and blockchains, Ben-Sasson summed up the potential for ZK-proofs to benefit the Bitcoin network:
Bitcoin’s blockchain will continue to act as an inner circle of integrity, while ZK-proofs extend the origin of integrity and bring in more capacity, creating what Ben-Sasson described as a “positive flywheel” effect:
Ben-Sasson reiterated his belief that the Bitcoin network could see greater integrity and efficiency from the mathematical benefits of validity proofs. He added that Bitcoin developers Greg Maxwell, Gavin Andresen and Mike Hearn had been early proponents of zk-STARK transparent proofs of validity and privacy, which do not require trusted setup and remain quantum secure.
The potential for Bitcoin — which first and foremost acts as decentralized hard money — to allow more general forms of computation and social functions remains a discussion point in its community. For Ben-Sasson, the potential of incorporating ZK-proofs is being driven by the market demand for extra functionality on top of Bitcoin by BRC-20 tokens:
As reported by Cointelegraph, the ZeroSync Association is a newly formed startup developing ZK-proof powered tools that allow users to validate the state of the Bitcoin network without downloading the blockchain or trusting a third party for verification.
ZeroSync’s validity proof allows users to instantly verify Bitcoin’s chain state, removing the need to download over 500 gigabytes of blockchain data currently required to sync a Bitcoin node.
ZeroSync co-founder Robin Linus told Cointelegraph that its chain state proof does not solve network congestion directly but would remove the need for users to download inscriptions that have been clogging up the Bitcoin blockchain.
However, ZK-proofs still hold promise in helping remedy current network congestion. Linus said ZeroSync has also developed a Bitcoin client-side validation protocol dubbed zkCoins, which allows the processing of up to 100 token transactions per second:
Linus added that a zero-knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARK) verifier on Bitcoin’s main layer could enable an entire spectrum of scaling solutions, including ZK-rollups, trustless bridges to sidechains, and the potential to peg BTC onto zkCoins to enhance privacy and increase throughput:
Linus also noted that other Bitcoin layer-2 scaling solutions such as the Lightning Network, Fedimint and Chashu — privacy-preserving custodians based on Chaumian eCash — have seen increased interest following network congestion driven by Ordinals and BRC-20 minting.
