Hace una hora, Vlad Tenev dijo una cosa: dentro de dos años, todo el código pasará por verificación formal.
A los de fuera les suena a una frase hecha del mundo tecnológico. La verificación formal es una herramienta antigua en las industrias aeroespacial y de chips; a un equipo le pueden llevar meses morder solo un pequeño fragmento de código, con un coste tan alto que nadie quiere usarla en software comercial. Ahora, los grandes modelos pueden escribir juntos la prueba y el código, y a los humanos solo les queda la revisión final; de repente, las cuentas empiezan a salir.
Lo que de verdad se reescribe es la fuente de la confianza. Antes, para juzgar si una plataforma era fiable o no, se miraba la licencia, los informes de auditoría y si pagaba o no cuando ocurría un problema. A partir de ahora, eso no bastará: el propio código tendrá que presentar pruebas que demuestren que realmente funciona como está escrito.
Los activos en cadena han funcionado desde el primer día con esa lógica: las reglas están escritas en el contrato y son verificables públicamente. $BTC esa cadena ha funcionado durante diecisiete años sin detenerse, gracias a su extrema simplicidad y a que es verificable. Si las finanzas tradicionales también empiezan a exigir pruebas legibles por máquinas, por primera vez ambos lenguajes encajarán.
El día en que la verificación se convierta de verdad en un estándar de la industria, ¿qué les quedará por contar a esas plataformas que dependen de estructuras complejas para vender su historia?
A los de fuera les suena a una frase hecha del mundo tecnológico. La verificación formal es una herramienta antigua en las industrias aeroespacial y de chips; a un equipo le pueden llevar meses morder solo un pequeño fragmento de código, con un coste tan alto que nadie quiere usarla en software comercial. Ahora, los grandes modelos pueden escribir juntos la prueba y el código, y a los humanos solo les queda la revisión final; de repente, las cuentas empiezan a salir.
Lo que de verdad se reescribe es la fuente de la confianza. Antes, para juzgar si una plataforma era fiable o no, se miraba la licencia, los informes de auditoría y si pagaba o no cuando ocurría un problema. A partir de ahora, eso no bastará: el propio código tendrá que presentar pruebas que demuestren que realmente funciona como está escrito.
Los activos en cadena han funcionado desde el primer día con esa lógica: las reglas están escritas en el contrato y son verificables públicamente. $BTC esa cadena ha funcionado durante diecisiete años sin detenerse, gracias a su extrema simplicidad y a que es verificable. Si las finanzas tradicionales también empiezan a exigir pruebas legibles por máquinas, por primera vez ambos lenguajes encajarán.
El día en que la verificación se convierta de verdad en un estándar de la industria, ¿qué les quedará por contar a esas plataformas que dependen de estructuras complejas para vender su historia?
