Provers de Starknet

En la búsqueda constante de mejorar la escalabilidad y la eficiencia de la red de Ethereum, surge Starknet como una solución de Capa 2 que utiliza el lenguaje de programación Cairo y la criptografía STARKs.

Esta innovadora layer 2 opera como un sistema coordinado, donde diferentes actores desempeñan roles cruciales para que la red funcione como tal. En este artículo, exploraremos en detalle uno de ellos, ¡los Provers!

---

Estos son el segundo componente de la Arquitectura de Starknet…
Los Provers de Starknet son como los mediocampistas en un equipo de futbol, a la hora de defender, funcionan como la segunda línea de defensa. La verdad que no sé si quedo tan bien esta analogía, pero queda divertida, así que sigamos. Estos son la segunda línea de verificación de la red. Su tarea principal es validar el trabajo de los Sequencers cuando reciben el bloque producido y generar las pruebas de que los procedimientos se realizaron correctamente.
Finalmente, estos envían la prueba a la red de Ethereum para su validación final; y en el caso de ser correcta, la red acepta el bloque de manera exitosa.

Características de los Provers de Starknet

Los provers necesitan incluso más potencia computacional que los sequencers, ya que tienen que calcular y generar las pruebas, lo cual es un proceso computacionalmente muy pesado. De todas maneras, el trabajo de ellos se puede dividir en varias partes, lo que permite el denominado “paralelismo” y a su vez, la generación de pruebas de una manera más eficiente y menos pesada para ellos.

El proceso de generación de pruebas es asincrónico, lo que significa que no tiene que ocurrir inmediatamente, ni tampoco en tiempo real. Esta flexibilidad permite que la carga del trabajo se distribuya entre varios provers. Así, cada uno puede trabajar en un bloque diferente, permitiendo el mecanismo de paralelismo anteriormente mencionado. De esa forma, es como funcionan los provers de Starknet.

APRENDE TODO SOBRE STARKNET