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.
En esta ocasión, averiguaremos como funciona Starknet. Veremos además que son las pruebas STARKs, para que se las utiliza y además, conocerás otra solución de la empresa Starkware.
Como sabemos, Starknet logra escalar al trasladar el procesamiento de las transacciones fuera de Ethereum Mainnet. Es decir, Las transacciones se agrupan en lotes, se procesan de manera off-chain y luego se resumen en una única transacción que es enviada a Ethereum Mainnet.
Dado que las transacciones ocurren de manera off-chain, es vital garantizar la integridad de las mismas sin tener que volver a ejecutarlas. En este punto, Starknet lo aborda empleando las pruebas STARK que hemos mencionado. Profundicemos en ellas.
Las Pruebas STARKs, ZKSTARK
Los ZK-STARK, inventados por StarkWare, refuerzan la integridad y privacidad de los cálculos blockchains utilizando pruebas criptográficas y álgebra moderna. Estos permiten que las cadenas de bloques muevan los cálculos a un único probador STARK fuera de la cadena (off-chain) y luego verifiquen la integridad de esos cálculos utilizando un verificador STARK on-chain. Es decir, primero se hace todo off-chain y luego solamente se verifica lo más chiquito de forma on-chain.
De forma más simple, las STARKs son un sistema de prueba que permite probar y verificar. Es decir, permite procesar un cálculo grande, generar una prueba de los mismos y luego verificarlos todos con un mínimo esfuerzo computacional.
Usando las STARKs, las soluciones de capa 2 se agrupan en lotes y calculan miles de transacciones en una prueba, y luego revisan su validez en Mainnet con una prueba STARK. El costo del proceso se divide entre todas las transacciones del lote, lo que da como resultado bajísimos costos de transacción sin tener que sacrificar la seguridad en ningún momento.
A su vez, la empresa desarrolladora de Starknet, que es StarkWare, ofrece dos soluciones para escalar Ethereum con las pruebas STARKs. Una de ellas es Starknet, la cual ya vimos como funciona, y la otra es StarkEx, el cual es un marco que permite crear soluciones de escalabilidad.
StarkEx es como una caja de herramientas que los protocolos pueden usar para lograr computación off-chain de forma económica. Ejemplos de implementaciones de StarkEx son rhino.fi o Celer Network.
APRENDE TODO SOBRE STARKNET
-
Gobernanza de Starknet en profundidad
Explora la fascinante gobernanza de Starknet, donde la comunidad es la fuerza motriz. Descubre cómo las decisiones descentralizadas dan forma al futuro de esta Layer 2.