PANews 21 de marzo, según CoinDesk, los desarrolladores que esperan expandir las funciones DeFi de la cadena de bloques de Bitcoin pueden considerar las pruebas de conocimiento cero (ZK proofs), una función que aún no se ha implementado y que necesita ser introducida a través de lo que se llama una bifurcación suave o una nueva versión del software. Sin embargo, para Edan Yago, un veterano con más de diez años de experiencia en Bitcoin y contribuyente clave del sistema operativo de contratos inteligentes BitcoinOS (BOS), esto es un problema. Yago, en una entrevista, dijo: “Un fork para una cadena de bloques, especialmente una cadena de bloques de 2 billones de dólares, es como realizar una cirugía a corazón abierto. Un fork duro claramente tiene más problemas, pero creo que introducir cualquier forma de fork conlleva riesgos.” zk-SNARKs es un método criptográfico que puede demostrar la validez de una afirmación sin revelar ninguna información. El software de Bitcoin actualmente no cuenta con esta función, pero puede implementarse a través de propuestas (como OPCAT y OPCTV). Yago afirmó que los desarrolladores deberían poder encontrar formas de habilitar zk-SNARKs en Bitcoin sin necesidad de ningún tipo de fork. Dijo: “Los desarrolladores tienen la responsabilidad de demostrar que, mediante ingenierías inteligentes, no hay otra opción.” Este es exactamente el objetivo que BOS espera lograr a través de BitSNARK. BitcoinOS ha lanzado ahora como código abierto el protocolo BitSNARK que Yago denomina “totalmente listo para producción”, lo que significa que los desarrolladores ahora pueden realizar verificaciones de conocimiento cero en Bitcoin y conectarlo a otras cadenas de bloques, como Ethereum, Solana y Cardano.