¿Alguna vez has escuchado hablar sobre StarkWare? Este es un servicio de cadena de bloques orientado a mejorar la escalabilidad y la privacidad en las cadenas de bloques a través de la tecnología STARK que involucra a ZK-Starks, StarkEx y StarkNet. Los aportes de esta tecnología son sumamente necesarios en cuanto a corregir los altos costos del gas en la red de Ethereum que afectan a muchos usuarios. En este artículo te contaremos todo sobre StarkWare y STARK.

Lo primero que veremos serán los diferentes aspectos de StarkWare y cuál es su función en el juego de soluciones Layer-2. Cabe destacar que StarkWare no se trata de soluciones rápidas para la capa 2. Sus desarrolladores llevan el proyecto a largo plazo y buscan que sus sistemas estén preparados para el futuro. Esto los lleva a la búsqueda de formas de mantener al 100% la privacidad de los usuarios empleando el gran poder de la computación cuántica. Starkware está trabajando en muchas mejoras, pero sobre todo busca ser un proyecto de criptografía post cuántica 

En cuanto al ámbito correspondiente a las soluciones de Capa 2, el ecosistema se ha reinventado de forma rápida mediante una fase de adopción e innovación, poniendo a prueba diferentes soluciones. Las mejores soluciones se quedarán a largo plazo, ya que serán capaces de afrontar la alta demanda y el crecimiento explosivo.

Fundadores y asesores de StarkWare

StarkWare cuenta con un experto en matemáticas que es el cofundador Eli-Ben Sasson, pero además, cuenta con asesores destacados como Naval Ravikant. Naval cuenta con numerosos logros y títulos, como presidente y cofundador de AngelList y CoinList. Además, es el fundador del fondo de altcoin más antiguo, MetaStable Capital, y un inversor semilla en empresas como Twitter, Uber, Kraken, Yammer, Stack Overflow, Zcash y otras. 

Objetivo de StarkWare

El cofundador y presidente de StarkWare, estuvo haciendo investigaciones sobre pruebas criptográficas y de conocimiento cero tras recibir su doctorado en Informática Teórica. Este cofundador es Eli Ben-Sasson quien también co-desarrolló STARK y es el científico fundador de Zcash.

Según Eli, cuando comenzó a trabajar como investigador, la investigación que le fascinó fue StarkWare. Este desarrollador busca hacer del proyecto una forma de generar la confianza de los usuarios de la computación sin dejar de lado la privacidad financiera. En otras palabras, busca lograr una integridad computacional.

La integridad computacional es la base del comercio en línea. En pocas palabras, significa que un cálculo acertado es lo que nos permite confiar en los fondos de una cuenta. Un ejemplo de ello es cuando sacamos dinero de un cajero y vemos el saldo. Confiamos en que ese sea el saldo, aunque no lo hayamos contado nosotros.

La tecnología de la cadena de bloques no necesita permisos para lograr la integridad computacional sin necesidad de terceros. Sin embargo, esta tecnología paga por esta integridad en términos de escalabilidad y privacidad. En el momento de preservar estas dos características es cuando entra StarkWare.

StarkWare y STARKs

Los STARK se tratan de pruebas criptográficas co-desarrolladas por Eli-Ben Sasson. Estas ideas son escalables y transparentes. El principal objetivo de StarkWare es llevar estas ideas al mundo real. Los STARK emplean funciones de hash criptográficas ligeras, en otras palabras, son rápidas y seguras post-cuánticas. Cuando hablamos de este tipo de seguridad no nos referimos a las de otras pruebas criptográficas que dependen de la criptografía de clave pública. Esta última suele ser más cara y vulnerable a los ataques de los adversarios cuánticos.

La tecnología detrás de STARK promete ofrecer una verificación confiable de la integridad computacional. Este tipo de criptografía está comprobada en la práctica y es el resultado de los avances académicos mencionados anteriormente. STARK ofrece seguridad, escala y velocidad que pocos proyectos ofrecen. Esta tecnología es el resultado del viaje de los sistemas de prueba de la teoría a la práctica.

Pruebas largas y la función hash criptográfica

Como hemos mencionado anteriormente, STARK sigue en desarrollo cada día y combina pruebas largas con una función hash criptográfica como por ejemplo SHA-256. Las pruebas largas ofrecen escalabilidad, mientras que, por otra parte, la función hash criptográfica ofrece transparencia sin obstaculizar la escalabilidad. El resultado de todo este trabajo es el probador y verificador STARK. Estos son los mejores en su clase, incluso superan a los competidores en escala mientras se basan en menos supuestos criptográficos pero más seguros.

Los creadores de STARK tienen la capacidad de mover tanto el almacenamiento como los cálculos fuera de la cadena con la tecnología STARK. Al mover la mayor parte del trabajo computacional fuera de la blockchain, la infraestructura de la cadena de bloques es capaz de escalar de forma exponencial y mantener la integridad computacional sin necesidad de confianza en terceros.

STARKs Prover y Verifier

Dos elementos importantes de STARK son el probador y el verificador. Ambos elementos se turnan para enviar mensajes por lo que trabajan juntos. Sin embargo, ambos tienen objetivos totalmente distintos. El probador busca demostrar la integridad computacional. Su trabajo se centra en convencer al verificador de que el cálculo realizado es correcto. Sin embargo, el verificador debe asegurarse de que todo sea correcto. Su tarea es distinguir obviedades de falsedades.

La aleatoriedad también es una parte importante del proceso. Este elemento se emplea para lograr conocimiento cero por parte del probador. Además, es necesaria para generar consultas al probador. Al final de este ida y vuelta, el verificador da salida a su decisión en la que puede aceptar o rechazar el nuevo estado.

Para entender mejor este funcionamiento, imaginémoslo como en un tribunal de justicia. Una de las partes presenta una reclamación y la contraparte se encarga de cuestionarla y buscar fallos en su propuesta.

¿Qué es StarkEx?

StarkEx se trata del motor de escalabilidad L2 de Starkware. Los clientes de DeversiFi han estado empleando este motor en Mainnet desde hace tiempo, concretamente desde junio de 2020 y, más recientemente, dYdX lo implementó con ImmutableX. StarkEx emplea una lógica comercial compleja como derivados, comercio al contado, NFT y pagos.

Un aspecto favorable de StarkEx es que para los proyectos que se integran con este motor los cambios que se requieren son mínimos en la configuración comercial existente. Cada dApp define su lógica empresarial y se ejecuta sobre StarkEx.