Tl; Dr
- Starkware desarrolló collidervmuna arquitectura que permite la ejecución de contratos inteligentes complejos en Bitcoin sin modificar su protocolo.
- Utiliza colisiones hash para reducir los costos computacionales y eliminar las garantías bloqueadas, mejorando la eficiencia en comparación con métodos como BITVM.
- Facilita la integración de las pruebas de Stark en bitcoin Al reducir drásticamente el tamaño del script.
Investigadores de Starkware y el Instituto Weizmann propuso una nueva arquitectura para implementar contratos inteligentes complejos en bitcoin sin modificar el protocolo base.
El sistema, nombrado Colidervmtiene como objetivo superar las limitaciones actuales del lenguaje de secuencias de comandos de Bitcoin, que restringe las operaciones a cálculos simples sin memoria de los estados anteriores. A diferencia de otras propuestas, Collidervm permite que los procesos se ejecuten de forma segura en múltiples transaccionesintroducir un modelo de ejecución con estado que expande las capacidades del ecosistema sin comprometer la integridad de la red.
Starkware: una nueva arquitectura para bitcoin
El diseño utiliza un esquema basado en colisiones hash para reducir la carga computacional y la cantidad de datos en cadena requeridos. Esta solución mejora la eficiencia en comparación con los métodos anteriores como BITVM, que se basó en pruebas de fraude y requirió que los operadores bloqueen el capital como garantía. Collidervm evita este requisito reduciendo los costos computacionales para usuarios honestos y aumentándolos para aquellos que intentan manipular el sistema. Esto reduce la superficie de ataque y promueve una ejecución más rentable.
Uno de los principales objetivos del proyecto es Para que la verificación de las pruebas marcadas directamente en bitcoin viable. Starks permite probar la validez de una operación sin revelar los datos subyacentes y sin requerir una configuración confiable. Hasta ahora, el tamaño de los scripts necesarios para verificar estas pruebas excedía los límites de Bitcoin. Collidervm propone una reducción sustancial de estos requisitos, acercando la posibilidad de una integración práctica.
Escalar blockchains con pruebas de conocimiento cero
Aunque el modelo no elimina por completo la necesidad de confianza en ciertos participantes, lo minimiza significativamente. Esto lo distingue de las soluciones actuales como Liquid, que se basan en un conjunto de validadores de confianza. Collidervm apunta a una alternativa más cercana a un entorno sin confianza, Aunque todavía requiere una cooperación honesta mínima entre los usuarios para funcionar correctamente.
El proyecto resulta de una colaboración entre investigadores de Starkware, Cloudflare y Blockstream. Entre sus autores se encuentra Eli Ben-Sasson, uno de los creadores del sistema Stark, que ha defendido durante mucho tiempo El uso de pruebas de conocimiento cero como base para escalar blockchains sin comprometer la seguridad. Según el equipo, la propuesta aún necesita ajustes, pero ofrece un camino realista a Expanda las capacidades de Bitcoin sin alterar su diseño original.