Vitalik Buterin presentó un enfoque en el que el blockchain gradualmente deja de necesitar ejecutar las mismas operaciones múltiples veces en diferentes nodos. Según él, el desarrollo de la criptografía permite separar la ejecución del cálculo y su verificación: un participante procesa la tarea y forma una prueba de corrección, mientras que los demás nodos verifican ya el resultado criptográfico compacto. Este principio se basa en las tecnologías SNARK y STARK y debería reducir simultáneamente la carga computacional y ampliar las posibilidades de privacidad programable. Si los primeros blockchains resolvían principalmente la tarea de confirmar el derecho a disponer de activos, la siguiente arquitectura podría permitir que los propios programas determinen qué datos están disponibles para diferentes participantes. Buterin otorga especial importancia a los STARK recursivos, que permiten combinar una gran cantidad de pruebas en una sola y así reducir el volumen de información transmitida y procesada por el nivel base de la red.
Esta idea está relacionada con el cambio de toda la estructura del proceso computacional de Ethereum. Entre las direcciones consideradas se encuentran la agregación previa de firmas y pruebas, la división de transacciones en acciones y dependencias separadas, así como la posibilidad de ejecutar operaciones independientes en paralelo. Un elemento adicional de la arquitectura es la formación distribuida de bloques, que reduce la dependencia de un solo participante al determinar su contenido. En una visión más amplia, el blockchain se transforma de un único nivel de ejecución a una cadena de procesamiento computacional de múltiples etapas. En él pueden incluirse operaciones en el dispositivo del usuario, mempools con diferentes parámetros de privacidad, sistemas de agregación de pruebas, soluciones de segundo nivel y la capa base de la red. Parte de los cálculos complejos en este modelo se realizan fuera de la ejecución principal, y el blockchain recibe una confirmación compacta de su corrección. Esto debería permitir escalar el sistema sin aumentar proporcionalmente el volumen de trabajo de cada nodo.
Un lugar especial en la concepción de Buterin lo ocupa la inteligencia artificial. Según su evaluación, la complejidad de los protocolos criptográficos hace que el desarrollo manual, las pruebas y la verificación del código sean tareas cada vez más laboriosas. La IA puede utilizarse para preparar programas, analizar implementaciones, crear especificaciones, encontrar errores y realizar verificaciones formales, en las que la conformidad del código con los requisitos establecidos se verifica mediante métodos matemáticos. Varias especificaciones independientes y la verificación automatizada pueden reducir adicionalmente la probabilidad de errores al crear sistemas complejos. Según esta lógica, la IA podrá trabajar no solo con fragmentos individuales de código, sino también interactuar con la infraestructura de L1, L2 y servicios intermedios, eligiendo las herramientas necesarias para realizar operaciones específicas. Como resultado, el desarrollo de la criptografía y la IA se considera parte de una transición unificada hacia blockchains, donde los cálculos se realizan de manera más distribuida y su corrección se confirma con pruebas compactas.
Artículos relacionados
