He estado revisando algunos de los últimos desarrollos de @Starknet y el SNIP-36 llamó mi atención. Se llama In Protocol Proof Verification, y la última actualización v0.14.4 lo vuelve aún más interesante. Pero primero, ¿qué hace exactamente el SNIP-36? Piensa en aplicaciones que necesitan realizar cálculos intensivos. Realizar todo ese trabajo directamente en la cadena puede ser costoso y exigente en recursos. El SNIP-36 introduce un enfoque alternativo. Las aplicaciones pueden ejecutar lógica adecuada fuera de la cadena, generar una prueba STARK de esa ejecución y enviar la prueba a Starknet para su verificación. Aquí funciona el proceso: - La aplicación ejecuta su lógica fuera de la cadena contra un estado específico de Starknet. - El prover S Two genera una prueba que demuestra que la ejecución fue válida. - La aplicación envía la prueba junto con datos llamados proof_facts. - El consenso de Starknet verifica la prueba, y el contrato de la aplicación puede usar el resultado verificado para realizar los cambios de estado requeridos. En términos simples, el cálculo ocurre fuera de la cadena, pero su corrección aún puede verificarse en Starknet. Ahora, esto es lo que hace interesante la última actualización. Con Starknet v0.14.4, el SNIP-36 se expande más allá de pequeñas transacciones virtuales para admitir la prueba de cálculos mucho más grandes, del tamaño de un bloque. Bajo las condiciones especificadas, una sola transacción probada puede contener hasta 1.1 mil millones de gas L2 en cálculo. Esto significa que las aplicaciones pueden manejar cargas de trabajo que serían demasiado grandes para una transacción regular, probando la ejecución en lugar de pagarla como ejecución normal en la cadena. Entonces, ¿por qué importa esto? 1. ZKThreads y escalado de aplicaciones Las aplicaciones pueden mover más de su ejecución fuera de la cadena y traer resultados verificados de vuelta a Starknet. Esto abre posibilidades para el escalado específico de aplicaciones mediante ZKThreads. 2. Aplicaciones centradas en la privacidad El SNIP-36 también puede respaldar aplicaciones que usan entradas privadas mientras revelan solo los resultados públicos necesarios. La implementación actual ofrece privacidad computacional, pero no debe confundirse con garantías completas de privacidad matemática de conocimiento cero. 3. Más flexibilidad para desarrolladores Los desarrolladores tienen más espacio para construir aplicaciones que requieren cálculos complejos sin obligar a cada parte de esa carga a pasar por la ejecución en cadena regular. Una cosa que encuentro interesante de Starknet es que no se enfoca solo en procesar más transacciones. También facilita que las aplicaciones manejen cálculos complejos sin cargar toda la carga en la cadena. Ahí es donde el SNIP-36 se vuelve interesante. Más cálculo con resultados verificables significa más posibilidades para los creadores en Starknet. Aún temprano, pero definitivamente algo que vale la pena vigilar.