Bitcoin DeFi expansion faces fork dilemma, developers are exploring zk-SNARKs solutions.

PANews reported on March 21 that, according to CoinDesk, developers looking to expand the DeFi capabilities of the Bitcoin blockchain may consider zero-knowledge proofs (ZK proofs), a feature that has not yet been implemented and needs to be introduced through a so-called soft fork or a new version of the software. However, this is a problem for Edan Yago, a veteran with more than a decade of Bitcoin experience and a core contributor to the smart contract operating system BitcoinOS (BOS). Yago stated in an interview: “A fork for a blockchain, especially one worth $2 trillion, is like undergoing open-heart surgery. Hard forks obviously have more issues, but I believe that introducing any form of fork is fraught with risks.” zk-SNARKs is a cryptographic method that can prove the validity of a statement without revealing any information. The Bitcoin software currently does not have this capability, but it can be achieved through proposed implementations (such as OPCAT and OPCTV). Yago said that developers should be able to find a way to enable zk-SNARKs on Bitcoin without any form of fork. He said, “Developers have a responsibility to prove that, through clever engineering, there is no other choice.” This is exactly the goal that BOS hopes to achieve through BitSNARK. BitcoinOS has now open-sourced the “fully production-ready” BitSNARK protocol, as referred to by Yago, which means that developers can now perform zero-knowledge verification on Bitcoin and connect it to other blockchains such as Ethereum, Solana, and Cardano.