{"id":3075,"date":"2025-04-11T13:30:36","date_gmt":"2025-04-11T13:30:36","guid":{"rendered":"https:\/\/satoshibrother.com\/es\/investigadores-de-starkware-proponen-contratos-inteligentes-para-bitcoin-a-traves-de-collidervm\/"},"modified":"2025-04-11T13:30:36","modified_gmt":"2025-04-11T13:30:36","slug":"investigadores-de-starkware-proponen-contratos-inteligentes-para-bitcoin-a-traves-de-collidervm","status":"publish","type":"post","link":"https:\/\/satoshibrother.com\/es\/investigadores-de-starkware-proponen-contratos-inteligentes-para-bitcoin-a-traves-de-collidervm\/","title":{"rendered":"Investigadores de StarkWare Proponen Contratos Inteligentes para Bitcoin a Trav\u00e9s de ColliderVM"},"content":{"rendered":"<article>\n<h2>Desarrollo de Soluciones para Bitcoin<\/h2>\n<p>StarkWare, un desarrollador de sidechains, junto con investigadores del Instituto Weizmann de Ciencias, ha logrado dise\u00f1ar una soluci\u00f3n para superar m\u00faltiples limitaciones del script de Bitcoin. Seg\u00fan un reciente art\u00edculo de investigaci\u00f3n, su nuevo dise\u00f1o busca facilitar el despliegue de <strong>contratos inteligentes complejos<\/strong> en la red de Bitcoin de una manera m\u00e1s eficiente en t\u00e9rminos de capital. Asimismo, el sistema podr\u00eda resultar significativamente m\u00e1s <strong>eficiente<\/strong> desde el punto de vista computacional.<\/p>\n<h2>Conecci\u00f3n de ColliderVM<\/h2>\n<p><strong>ColliderVM<\/strong> es un protocolo creado para habilitar la computaci\u00f3n con estado en Bitcoin, permitiendo que procesos de m\u00faltiples pasos se ejecuten de forma segura a trav\u00e9s de varias transacciones. Tradicionalmente, la salida del script de Bitcoin no es accesible para otros scripts, lo que dificulta la realizaci\u00f3n de <em>c\u00e1lculos complejos<\/em>.<\/p>\n<p>Los investigadores sostienen que <strong>ColliderVM<\/strong> podr\u00eda facilitar el uso de <strong>Scalable Transparent Arguments of Knowledge (STARKs)<\/strong>, un tipo de prueba de conocimiento cero, en Bitcoin sin necesidad de implementar cambios a nivel de consenso en la red. Esta arquitectura permitir\u00eda que Bitcoin verifique c\u00e1lculos complejos fuera de la cadena, utilizando un m\u00ednimo de datos en la cadena.<\/p>\n<h2>Desaf\u00edos y Limitaciones<\/h2>\n<p>ColliderVM enfrenta las limitaciones inherentes a Bitcoin. Cada bloque puede contener hasta 4 millones de OPCodes y un \u00fanico script de Bitcoin puede tener hasta 1,000 elementos de pila, lo cual complica la ejecuci\u00f3n de c\u00e1lculos complejos. Adem\u00e1s, la <strong>ejecuci\u00f3n sin estado<\/strong> implica que cada script opera sin memoria del estado anterior ni de c\u00e1lculos intermedios, haciendo que las operaciones complejas sean poco pr\u00e1cticas.<\/p>\n<blockquote><p>\n        \u00abLa implementaci\u00f3n de BitVM, presentada en un art\u00edculo de Robin Linus en 2023 por la firma de investigaci\u00f3n <strong>ZeroSync<\/strong>, permiti\u00f3 la ejecuci\u00f3n de contratos inteligentes complejos en Bitcoin, aunque depend\u00eda de pruebas de fraude.\u00bb\n    <\/p><\/blockquote>\n<p>Estas pruebas criptogr\u00e1ficas tienen como objetivo demostrar que una transacci\u00f3n o c\u00e1lculo se realiz\u00f3 incorrectamente, lo que puede llevar a acciones correctivas. Sin embargo, requieren que los operadores adelanten capital para cubrir posibles transacciones fraudulentas, un enfoque que, si bien eficiente, resulta <strong>costoso<\/strong>.<\/p>\n<h2>Innovaciones en ColliderVM<\/h2>\n<p>ColliderVM se basa en el art\u00edculo <strong>ColliderScript<\/strong> de noviembre de 2024, desarrollado por investigadores de StarkWare, la empresa de servicios web Cloudflare y el desarrollador de sidechains Blockstream. Este sistema utiliza un <strong>compromiso<\/strong> basado en colisiones de hash, lo que presenta un desaf\u00edo para generar una entrada que, una vez pasada por una funci\u00f3n hash, produzca una salida con caracter\u00edsticas espec\u00edficas. De esta manera, los operadores honestos requieren significativamente menos recursos computacionales que los actores maliciosos.<\/p>\n<p>Un hash es una funci\u00f3n matem\u00e1tica no reversible, que transforma datos arbitrarios en una cadena alfanum\u00e9rica de longitud fija. Esta propiedad garantiza que es imposible revertir el c\u00e1lculo para acceder a los datos originales, resultando en una especie de <strong>identificador \u00fanico<\/strong> de los datos.<\/p>\n<p>Este innovador sistema requiere muchas menos <strong>operaciones hash<\/strong> en comparaci\u00f3n con BitVM, lo que reduce tanto el tama\u00f1o del script como el tiempo de procesamiento. Los investigadores de ColliderVM afirman haber disminuido el n\u00famero de estas operaciones en al menos un factor de <strong>10,000<\/strong>. La implementaci\u00f3n del nuevo sistema podr\u00eda hacer pr\u00e1cticamente viable una sidechain de Bitcoin basada en STARKs.<\/p>\n<blockquote><p>\n        \u201cEstimamos que la longitud del script de Bitcoin para la verificaci\u00f3n de pruebas STARK se vuelve casi pr\u00e1ctica, permitiendo su uso junto con otros sistemas de prueba basados en emparejamiento comunes en las aplicaciones de hoy.\u201d\n    <\/p><\/blockquote>\n<h2>La Seguridad de STARKs<\/h2>\n<p>Los <strong>STARKs<\/strong>, un sistema de prueba ZK reconocido por su escalabilidad y naturaleza sin confianza (sin necesidad de configuraci\u00f3n confiable), permiten validar caracter\u00edsticas espec\u00edficas de conjuntos de datos sin revelar su contenido. Aunque muchos de los primeros sistemas de prueba ZK requer\u00edan una configuraci\u00f3n segura \u00fanica basada en datos de \u00abbasura t\u00f3xica\u00bb, lo que generaba potencialmente riesgos de fraudes, los STARKs eliminan esta dependencia, contribuyendo a un sistema m\u00e1s <strong>confiable<\/strong>.<\/p>\n<p>Tradicionalmente, la implementaci\u00f3n de verificadores STARK requerir\u00eda scripts que exceden los l\u00edmites de Bitcoin; no obstante, los investigadores de ColliderVM argumentan que sus estrategias m\u00e1s eficientes hacen que un script de verificaci\u00f3n en la cadena para pruebas STARK sea \u00abcasi pr\u00e1ctico\u00bb.<\/p>\n<h2>Perspectivas Futuras y Cr\u00edticas<\/h2>\n<p>Bitcoin es ampliamente considerado como la blockchain m\u00e1s segura y confiable; sin embargo, sus cr\u00edticos apuntan a la limitaci\u00f3n de caracter\u00edsticas en comparaci\u00f3n con muchas altcoins. Existen sidechains como Liquid de Blockstream, pero estas no son completamente <strong>sin confianza<\/strong>. Andrew Poelstra, director de investigaci\u00f3n de Blockstream, ha declarado que los sistemas basados en pruebas ZK son uno de los campos m\u00e1s emocionantes en el \u00e1mbito de la criptograf\u00eda.<\/p>\n<p>Cypherpunk, un desarrollador mencionado en el libro blanco de Bitcoin y cofundador de Blockstream, argument\u00f3 en un art\u00edculo de 2014 que se requer\u00eda m\u00e1s desarrollo para implementar sidechains basadas en pruebas ZK sin confianza en Bitcoin. Sin embargo, incluso 10 a\u00f1os posteriores, un sistema basado en <strong>ColliderVM<\/strong> a\u00fan ser\u00eda m\u00ednimamente confiable.<\/p>\n<h2>Conclusi\u00f3n y Agradecimientos<\/h2>\n<p>Los autores principales del estudio incluyen a <strong>Eli Ben-Sasson<\/strong>, cofundador de StarkWare, junto con los investigadores Lior Goldberg y Ben Fisch. Ben-Sasson ha sido un defensor desde hace tiempo del uso de pruebas de conocimiento cero para mejorar la escalabilidad de la blockchain.<\/p>\n<p>En una entrevista reciente, Ben-Sasson expres\u00f3 que una verdadera soluci\u00f3n de capa 2 para Bitcoin deber\u00eda garantizar \u00abla <strong>seguridad de Bitcoin mismo<\/strong>\u00ab. Las soluciones actuales, por su parte, dependen de la confianza en firmantes o incentivos econ\u00f3micos enfocados en pruebas de fraude. No obstante, tambi\u00e9n se deben considerar las redes Lightning: \u00abAsimismo, es importante reconocer que, por supuesto, existen redes Lightning hoy en d\u00eda, que cuentan con la seguridad de Bitcoin.\u00bb<\/p>\n<\/article>\n","protected":false},"excerpt":{"rendered":"<p>Desarrollo de Soluciones para Bitcoin StarkWare, un desarrollador de sidechains, junto con investigadores del Instituto Weizmann de Ciencias, ha logrado dise\u00f1ar una soluci\u00f3n para superar m\u00faltiples limitaciones del script de Bitcoin. Seg\u00fan un reciente art\u00edculo de investigaci\u00f3n, su nuevo dise\u00f1o busca facilitar el despliegue de contratos inteligentes complejos en la red de Bitcoin de una manera m\u00e1s eficiente en t\u00e9rminos de capital. Asimismo, el sistema podr\u00eda resultar significativamente m\u00e1s eficiente desde el punto de vista computacional. Conecci\u00f3n de ColliderVM ColliderVM es un protocolo creado para habilitar la computaci\u00f3n con estado en Bitcoin, permitiendo que procesos de m\u00faltiples pasos se ejecuten<\/p>\n","protected":false},"author":3,"featured_media":3074,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15],"tags":[11,2066,971,2072,1894],"class_list":["post-3075","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-bitcoin","tag-bitcoin","tag-bitlayer","tag-blockstream","tag-cloudflare","tag-starkware"],"yoast_description":"Investigadores de StarkWare y el Instituto Weizmann proponen ColliderVM, una innovadora soluci\u00f3n que permite la creaci\u00f3n de contratos inteligentes avanzados en Bitcoin, superando las limitaciones del scripting actual de forma eficiente.","_links":{"self":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/posts\/3075","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/comments?post=3075"}],"version-history":[{"count":0,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/posts\/3075\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/media\/3074"}],"wp:attachment":[{"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/media?parent=3075"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/categories?post=3075"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/satoshibrother.com\/es\/wp-json\/wp\/v2\/tags?post=3075"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}