When someone mentions zero-knowledge proofs, people tend to think of Ethereum. However, it is important to note that ZK-proofs is a cryptographic technology and not something necessarily exclusive to Ethereum. It’s just that the concept of smart contracts encouraged developers to incorporate ZK-proofs into Ethereum.
So, recently two developer teams have been in the news for wanting to incorporate ZK-proofs into Bitcoin. Chainway wants to enable Bitcoin’s first ZK-rollup while Taproot Wizards wants to run a Starknet-based rollup.
The issue is, do you think smart contracts should be encouraged in the further development of Bitcoin in the first place? For one, there is already Stacks that has enabled smart contract and decentralised application functionality - but I doubt if this “innovation” is well-received since it involves swapping BTC for sBTC. BTC is already an integral part of our lives - does it need smart contracts?