L2 en EspañolIntroducción a la Data Availability
📌IntroducciónUno de los conceptos que más se repiten en la industria cripto es “trustless”, lo cual significa en esencia que no debes confiar en nadie sin validarlo primero. Es por esto que las blockchains poseen nodos completos, los cuales descargan y ejecutan la data que proporcionan los “bloques” (blocks en inglés) y se aseguran que los cálculos propuestos por el block producer coinciden precisamente con los cálculos hechos por el validador. De esta manera, los nodos verifican que esta nu...
L2 en EspañolIntroducción al Optimistic Rollup de Arbitrum
🔵IntroducciónEl Optimistic Rollup de Arbitrum es una solución de capa 2 diseñada para abordar los desafíos de escalabilidad de la red Ethereum. Arbitrum ofrece una forma más rápida y económica de realizar transacciones en Ethereum al aprovechar la técnica de los Optimistic Rollups. En este sistema, la mayoría de las operaciones se realizan fuera de la cadena principal (es decir fuera de mainnet ó off-chain), lo que permite aumentar la eficiencia y reducir los costos. En este artículo, explic...
L2 en EspañolArbitrum Nitro: Guía para correr un full node
IntroducciónLos Rollups, al igual que cualquier blockchain, operan en función de un nodo completo. En una blockchain de capa 1, el nodo completo representa la unidad fundamental que impulsa la seguridad y descentralización de la red. Para el usuario individual, proporciona accesibilidad, soberanía y privacidad al interactuar con la red. En un Optimistic Rollup completamente funcional, la noción de un "nodo completo" no ofrece el mismo nivel de beneficios desde la perspectiva de la red, debido...
Comunidad dedicada al estudio de soluciones de escalabilidad en Ethereum. Impulsado y administrado por DeFi para Principiantes y SEED Latam.
Subscribe to L2 en Español
L2 en EspañolIntroducción a la Data Availability
📌IntroducciónUno de los conceptos que más se repiten en la industria cripto es “trustless”, lo cual significa en esencia que no debes confiar en nadie sin validarlo primero. Es por esto que las blockchains poseen nodos completos, los cuales descargan y ejecutan la data que proporcionan los “bloques” (blocks en inglés) y se aseguran que los cálculos propuestos por el block producer coinciden precisamente con los cálculos hechos por el validador. De esta manera, los nodos verifican que esta nu...
L2 en EspañolIntroducción al Optimistic Rollup de Arbitrum
🔵IntroducciónEl Optimistic Rollup de Arbitrum es una solución de capa 2 diseñada para abordar los desafíos de escalabilidad de la red Ethereum. Arbitrum ofrece una forma más rápida y económica de realizar transacciones en Ethereum al aprovechar la técnica de los Optimistic Rollups. En este sistema, la mayoría de las operaciones se realizan fuera de la cadena principal (es decir fuera de mainnet ó off-chain), lo que permite aumentar la eficiencia y reducir los costos. En este artículo, explic...
L2 en EspañolArbitrum Nitro: Guía para correr un full node
IntroducciónLos Rollups, al igual que cualquier blockchain, operan en función de un nodo completo. En una blockchain de capa 1, el nodo completo representa la unidad fundamental que impulsa la seguridad y descentralización de la red. Para el usuario individual, proporciona accesibilidad, soberanía y privacidad al interactuar con la red. En un Optimistic Rollup completamente funcional, la noción de un "nodo completo" no ofrece el mismo nivel de beneficios desde la perspectiva de la red, debido...
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
11 Líneas de investigación en la que la tecnología STARK está sentando las bases del ecosistema del futuro
Hola comunidad 👋
Hoy queremos presentarles StarkWare, una compañía innovadora en el mundo de Ethereum. StarkWare es el desarrollador de soluciones de escalado de capa 2 populares como StarkEx y StarkNet, y ha anunciado recientemente que el software STARK Prover será de código abierto para la comunidad. Estos y otros avances recientes están transformando el panorama de las soluciones de escalado de capa 2, en este documento, analizaremos estos cambios y también discutiremos si la definición actual de estas soluciones se queda corta.
https://twitter.com/StarkWareLtd/status/1622197933025251328
La tecnología ZK-Rollup de StarkWare es una solución de escalado de capa 2 que ayuda a la plataforma Ethereum a lograr transacciones más rápidas y económicas. Al agrupar cientos de miles de transacciones fuera de la cadena y verificarlas en la cadena por solo una fracción del costo, StarkWare está impulsando el crecimiento y la adopción de Ethereum.
Además, con el cambio de nombre de STARK Prover a Starknet Prover y su colocación bajo una licencia Apache 2.0, StarkWare está aumentando su compromiso con la comunidad de desarrolladores de Web3. Al permitir que los desarrolladores copien, modifiquen y distribuyan comercialmente el código fuente, la compañía está fomentando la colaboración y la innovación en el sector de la tecnología blockchain. Este movimiento es un paso importante para lograr una participación más amplia y significativa de la comunidad en el desarrollo del ecosistema.
"Este es un momento histórico para escalar Ethereum y, en un sentido más amplio, para la criptografía”
"Esto pondrá a la tecnología STARK en el lugar que le corresponde, como un bien público que se utilizará para beneficiar a todos”
Esto fue lo que comentó el presidente de StarkWare y cofundador de Eli Ben-Sasson durante un evento en Tel Aviv "StarkWare Session 2023", en el que se hablaron de temas importantes que profundizaremos en este artículo y haremos que vuestra visión vaya mas lejos, intentando acercarnos a la de su cofundador con StarWare y STARK.
Así que acompáñanos en este viaje para conocer mejor el ecosistema de StarkWare y que está haciendo que sus STARK o Validity Proof estén mejorando la escalabilidad de Ethereum, aprendamos que es StarkEx y cómo funciona.
StarkWare ha desarrollado StarkEx, un revolucionario motor de escalabilidad de capa 2 para la cadena de bloques Ethereum, este motor ha sido diseñado con el objetivo de mejorar de manera significativa la escalabilidad de la cadena de bloques Ethereum. Con StarkEx, se pueden realizar transacciones ultrarrápidas con tarifas de gas extremadamente bajas, sin sacrificar la seguridad, privacidad ni la autocustodia de los fondos.
Para lograr esta combinación única, StarkEx se basa en un sistema criptográfico avanzado llamado Validity Proof. Este sistema permite verificar la validez de las transacciones en tiempo real, ofreciendo una solución escalable y segura para las transacciones en la cadena de bloques Ethereum.
La validez prueba las transacciones por lotes fuera de la cadena, mientras valida la legitimidad de las transacciones a través de un contrato inteligente en Ethereum Mainnet. Además de aumentar el rendimiento, la tarifa de gas se divide entre todas las transacciones en el mismo lote, lo que da como resultado tarifas de gas más bajas para todas las aplicaciones que utilizan StarkEx.
La esencia de StarkEx radica en su división eficiente del trabajo entre dos componentes clave: el probador STARK fuera de la cadena y el verificador en la cadena. Este proceso se divide en cuatro etapas simples:
Procesamiento por lotes: todas las transacciones se procesan juntas en lotes.
Validación y actualización: las transacciones se validan y se actualizan el estado de la cadena de bloques.
Generación de una prueba: se genera una prueba que verifica la integridad de las transacciones.
Verificación en cadena: la prueba se verifica dentro de la cadena para garantizar la integridad de las transacciones.
Además, StarkEx ofrece privacidad y seguridad para las transacciones gracias a su criptografía segura poscuántica. Esto significa que la integridad de las transacciones en StarkEx está protegida contra posibles ataques de computadoras cuánticas, que en el futuro podrían tener la capacidad de vulnerar algoritmos criptográficos tradicionales.
La flexibilidad de StarkEx también será un punto a su favor, con la implementación e integración listas para usar de StarkEx a través de una API REST simple, las aplicaciones listas para producción se pueden lanzar en Mainnet en solo unas pocas semanas y gracias a Cairo, el expresivo lenguaje de programación ZKP de Starkware, hay más flexibilidad para agregar características adicionales a la lógica específica de StarkEx.
La última versión lanzada de StarkEx, la v4.5.1, incluye la compatibilidad con los tokens ERC-1155, estos tokens pueden ser almacenados de manera segura y eficiente tanto en bóvedas L1 como L2. StarkEx permite a los usuarios almacenar datos de acuerdo con una variedad de necesidades y aplicaciones, proporcionando flexibilidad y eficiencia.
ZK-Rollup: los datos se publican en la cadena.
Validium: los datos se almacenan fuera de la cadena.
Volition es un modo de disponibilidad de datos híbrido, en el que el usuario puede elegir si colocar los datos dentro o fuera de la cadena.
Exploraremos cuatro soluciones diferentes que son evaluadas por L2Beat y utilizan el motor StarkEx:
InmutableX: es una solución de escalado de capa 2 para NFT en la cadena de bloques de Ethereum. En su misión de potenciar la próxima generación de juegos Web3, Immutable aprovecha StarkEx para brindar a los usuarios una jugabilidad fluida, velocidades de transacción ultrarrápidas y acuñación y comercio de NFT sin gas y totalmente neutral en carbono.
StarEx ha impulsado más de $361 millones en volumen de operaciones de NFT desde en volumen de negociación de NFT de 155 millones de transacciones en todo el ecosistema ImmutableX, incluidos los juegos y mercados Web3 como Gods Unchained, Guild of Guardians y GameStop Marketplace.
Sorare: es un juego de deportes de fantasía basado en la cadena de bloques Ethereum que permite a los jugadores recolectar, intercambiar y administrar un equipo virtual de tarjetas de jugador digitales NFT.
Según el arquitecto de cadena de bloques de Sorare, Pierre Duperrin, la integración de Sorare con StarkEx finalmente permitió a Sorare irrumpir en la corriente principal, al tiempo que le ahorró a la empresa cerca de $ 1 millón por semana. Desde su lanzamiento en julio de 2021, StarkEx ha impulsado un volumen de negociación de más de $790 millones en casi 16 millones de transacciones en la plataforma Sorare.
dYdX: es un intercambio de finanzas descentralizadas (DeFi) sin custodia que ofrece opciones de comercio perpetuas para más de 35 criptomonedas principales. Decidido a brindar la mejor experiencia comercial posible, dYdX implementó StarkEx para brindar a los usuarios tarifas comerciales más bajas y tamaños mínimos comerciales, operaciones con márgenes cruzados, liquidación comercial instantánea y, lo que es más importante, autocustodia de todos los activos.
“Las transacciones se envían en cadena en ZK-Rollup, lo que reduce la cantidad de gas requerida por transacción. Podemos transferir esos ahorros a los comerciantes en forma de tarifas comerciales reducidas en todos los ámbitos”, dijo el fundador y director ejecutivo de dYdX, Antonio Juliano.
ApeX Pro está aprovechando las pruebas criptográficas de StarkEx y Validium para validar de forma segura los lotes de transacciones. La disponibilidad e integridad de los datos en cadena se puede garantizar con las pruebas STARK de StarkWare, que ayudará a salvaguardar un protocolo totalmente sin custodia. Construida sobre la red Ethereum, esta arquitectura de capa 2 publica pruebas ZK directamente en los contratos inteligentes de Ethereum para su verificación. Las transacciones también se empaquetan de manera única para publicar en la cadena para los comerciantes preocupados por la privacidad de los datos, ya que solo se harán visibles los cargos por saldo.
Ahora que hemos explorado el funcionamiento del motor de StarkEx y adquirido un mayor conocimiento de Starknet, es hora de analizar el poderoso lenguaje de programación, su nuevo Cairo 1.0-Alpha.2.
https://twitter.com/Starknet/status/1618896699430256645
Cairo se introdujo por primera vez en 2020 como un lenguaje de programación completo de Turing para escribir de manera eficiente programas demostrables con STARK. Cairo 1.0 es un lenguaje de alto nivel similar a Rust, al igual que Rust, está destinado a permitir que los desarrolladores escriban fácilmente código que sea eficiente y seguro.
Uno de los cambios más significativos en Cairo 1.0 es la sintaxis, se han inspirado en Rust para crear un lenguaje más amigable para los desarrolladores que sea más fácil de leer y escribir, la nueva versión de Cairo permite escribir código más seguro, además de ser más expresivo.
Cairo 1.0 también presenta Sierra, una nueva representación intermedia que garantiza que todas las ejecuciones de Cairo puedan probarse, esto hace que Cairo 1.0 sea especialmente adecuado para su uso en una red sin permisos como StarkNet, donde puede proporcionar una sólida protección DoS y resistencia a la censura.
La próxima versión testnet de StarkNet, la Alpha V0.11.0, prevista para el primer trimestre de 2023, presentará la capacidad de implementar y ejecutar contratos utilizando el nuevo lenguaje de programación Cairo 1.0. La actualización marcará el comienzo del período de transición hacia un sistema que ejecuta solo contratos de Cairo 1.0, este Período de Transición terminará con la Regénesis, que se espera unos meses más tarde.
El objetivo de StarkNet es escalar exponencialmente Ethereum utilizando la integridad matemática de STARK, y el objetivo de Cairo es hacer que esta escala exponencial sea accesible para los desarrolladores. Accesibilidad significa un lenguaje de programación que sea eficiente, fácil de leer y escribir y seguro de usar.
Ahora que StarkNet ha alcanzado un alto nivel de usabilidad, es importante examinar sus principales prioridades y comprender las fases en las que se ha basado su desarrollo:
1ª FASE: funcionalidad y usabilidad
2ª FASE: escalabilidad y rendimiento
3ª FASE: descentralización
El lanzamiento de Starknet Prover y su disponibilidad de código abierto representan un hito importante en el avance de Starknet hacia su tercera fase de desarrollo. Como parte integral de la descentralización, también es necesario destacar a Papyrus, un nodo completo de Starknet disponible de manera abierta. Juntos, estos lanzamientos marcan un progreso significativo hacia un futuro más descentralizado para Starknet.
https://twitter.com/StarkWareLtd/status/1613154088866160641
Papyrus será un componente clave de la infraestructura descentralizada de StarkNet, proporcionará las bases para el nuevo StarkNet Sequencer, que mejorará drásticamente el rendimiento de StarkNet, ayudará a mejorar el rendimiento y la descentralización. Papyrus se une a otros nodos completos de StarkNet como Pathfinder y Juno, que son responsables de sincronizar y mantener el estado de StarkNet.
En línea con el movimiento continuo hacia el código abierto de la pila StarkNet, Papyrus es de código abierto bajo la licencia Apache 2.0. StarkNet ha logrado una excelente usabilidad, y ahora el rendimiento del sistema es la principal prioridad, con la descentralización cobrando fuerza.
La mejora del rendimiento del sistema se está abordando mejorando el rendimiento del secuenciador, que es responsable de la producción de bloques de StarkNet, el secuenciador es la "máquina" que ordena y ejecuta transacciones después de que se envían.
Papyrus proporcionará al StarkNet Sequencer una capa de almacenamiento eficiente, lo que ayudará a mejorar el rendimiento. En primer lugar, esto significa que el secuenciador mantendrá una base de datos local en lugar de una base de datos basada en la nube, además, Papyrus almacenará un almacenamiento de clave/valor plano, lo que significa que interactuará directamente con el estado, en lugar de llegar a él a través de las rutas de Merkle Patricia.
Actualmente, hay dos equipos que están desarrollando un nodo completo de StarkNet:
Pathfinder de Equilibrium: implementado en Rust.b
Juno de Nethermind: están trabajando en la primera versión oficial de su implementación de Golang.
Papyrus se une a esta combinación saludable y fomenta la descentralización y la redundancia, agregar otro nodo completo y hacerlo de código abierto ayuda a proporcionar la variedad de implementaciones del cliente, lo cual es un indicador importante de la fortaleza de una red descentralizada, fijémonos en la arquitectura de Starknet y como el acople de Papyrus con Juno y Pathfinder refuerza la tercera fase.
Es importante tener en cuenta cómo las nuevas tecnologías subyacentes de StarkNet están surgiendo para facilitar la comunicación entre diferentes capas con STARK. Un ejemplo de esto es Herodotus, que utiliza pruebas de almacenamiento para demostrar que el nonce de una cuenta no ha sido modificado durante un período de tiempo determinado. Esta información puede ser utilizada como un desencadenante para permitir que los familiares accedan y administren la cuenta
https://twitter.com/HerodotusDev/status/1614172762108751874
Herodotus se enfoca en brindar contratos inteligentes con acceso en tiempo real a datos en la cadena que provienen de otras capas de Ethereum. Para lograr esto, combina pruebas de almacenamiento con zk STARK, lo que permite acceder a datos transversales entre las capas de Ethereum y hacer que los contratos se implementen de manera autoconsciente.
La tecnología Herodotus ofrece una solución innovadora que permite a los desarrolladores crear contratos que pueden leer el estado L1 en L2, el estado L2 en L1 y el estado L2 en L2 de manera totalmente sincrónica, lo que elimina la necesidad de enviar mensajes asíncronos de un lado a otro.
Herodotus aprovecha el hecho de que las cadenas de bloques con estado como Ethereum o Starknet confirman y almacenan su estado de forma criptográfica, mediante el uso de estructuras de datos dedicadas como son:
Merkle Patricia Trees
Merkle Trees
Verkle Trees
La propiedad común de estos es la capacidad de probar la inclusión de cualquier dato guardado en la estructura de datos, estos datos pueden ser, por ejemplo: almacenamiento de contratos inteligentes, saldos de cuentas, nonces de cuenta, registros de transacciones...
Probar cualquiera de ellos es posible dada la raíz de un árbol, Herodotus se asegura de que dichas raíces estén disponibles en cada red compatible con su infraestructura, puede aprovechar acumuladores criptográficos como Merkle Mountain Ranges y pruebas zk recursivas para comprimir datos de blockchain.
Ahora que vemos como este tipo de pruebas pueden aportar la verificación de una forma matemática efectiva, nos enfocaremos como estas pruebas también se incorporan en algunas zkEVM, en este caso en Kakarot, una máquina virtual de Ethereum escrita en Cairo que se puede implementar en StarkNet y ejecutar cualquier programa de código de bytes EVM, por lo tanto, Kakarot se puede usar para ejecutar contratos inteligentes de Ethereum en StarkNet. Kakarot con Cairo 1.0 se convertirá en un Super Saiyajin, más potente, más rápido, más fuerte y más seguro.
https://twitter.com/KakarotZkEvm/status/1620513080131338245
Kakarot es un competidor de la tecnología zkEVM de Polygon, que emplea un enfoque de prueba de transacciones fuera de la cadena combinando STARK y SNARK como generadores de pruebas. El zkProver está compuesto por máquinas de estado (Principal y Secundario) y constructores de pruebas zk.
Máquina de estado principal: maneja la ejecución del bytecode EVM que son interpretados por el lenguaje zkASM. También establece las restricciones polinómicas que deben cumplirse para que las transacciones por lotes sean consideradas válidas.
Máquina de estado secundaria: no es un subcomponente, es una colección de varios ejecutores para una máquina de estado secundaria individual.
Generador de pruebas STARK: se utiliza para demostrar que los lotes satisfacen las restricciones polinómicas.
Creador de pruebas SNARK: se utiliza para probar la corrección de las pruebas STARK y para publicar las pruebas de validez.
Exploremos Winterfell, una herramienta de verificación y generación de pruebas de STARK de "propósito general" escrita en Rust. Al ser de propósito general, Winterfell es capaz de generar pruebas de CI para cualquier cálculo que se pueda describir con un lenguaje completo de Turing, permitiendo la verificación de una amplia variedad de programas. La foto de la repo inferior de Facebook "META" muestra hasta dónde han llegado estas pruebas matemáticas de validez de STARK.
Winterfell utiliza STARK que a diferencia de muchos otros sistemas de prueba, los STARK son totalmente transparentes, esto significa que no necesitan realizar complicadas ceremonias de configuración confiables para comenzar a usar STARK. Las configuraciones confiables son una debilidad de seguridad potencial en otros protocolos de conocimiento cero, porque una configuración confiable comprometida permite a los atacantes generar pruebas de CI falsas. "Los STARK son inmunes a esto".
En comparación con otros sistemas, la generación de pruebas STARK es extremadamente rápida cuando se trata de cálculos uniformes o cálculos con estructuras regulares. Afortunadamente, la gran mayoría de los programas que la gente escribe poseen tales estructuras regulares, además, casi todos los pasos del proceso de generación de prueba STARK son masivamente paralelizables. Por lo tanto, con frecuencia podemos acelerar la generación de pruebas distribuyéndolas entre más y más núcleos de CPU.
https://twitter.com/0xPolygon/status/1460609725477703693
Ninguna de las propiedades individuales nombradas anteriormente son exclusiva de STARK, sin embargo, ningún otro sistema de prueba combina criptografía ajustada, transparencia y rendimiento en la medida en que lo hacen los STARK. Winterfell aprovecha al máximo estos beneficios mientras abstrae la mayor parte de la complejidad. Por ejemplo, la generación de pruebas se puede distribuir en varios núcleos de CPU para reducir drásticamente el tiempo de generación de pruebas. Además, cuentan con planes para permitir la generación de pruebas totalmente distribuidas en varias máquinas.
Tanto Distaff VM como Winterfell son piezas fundamentales de Polygon Miden, si, el Winterfell nombrado de Facebook unos párrafos más arriba. Polygon Miden es un ZK-Rollup de propósito general basado en STARK, pero antes un poco de historia.
En 2019 se desarrolló GenSTARK, un probador basado en STARK que podía generar pruebas para cualquier tipo de cálculo, el problema con esta herramienta era que no era muy compatible con los desarrolladores, por lo que querían encontrar una forma de solucionarlo.
Empezaron a pensar más en una máquina virtual basada en STARK y en cómo sería posible hacer algo como esto, esto culminó con la edición de un artículo llamado: "Un boceto para una VM basada en STARK", en febrero de 2020, y solo un par de años después, decidieran construir su propia VM STARK utilizando las ideas de este artículo, esto condujo al desarrollo de Distaff VM en abril de 2020, que terminó siendo una pieza fundamental para el proyecto actual de Miden.
Distaff VM es una máquina virtual de conocimiento cero.
Cada vez que se ejecuta un programa dentro de un zk-VM, se genera una prueba de ejecución de zk para verificar que el programa se ejecutó correctamente, sin tener que ejecutarlo realmente. Hay dos métodos en los que se puede probar el conocimiento aquí, ya sea usando una prueba SNARK o una prueba STARK, aunque Distaff es una máquina virtual basada en STARK.
Según su página de github:
“Para cualquier programa ejecutado en Distaff VM, se genera automáticamente una prueba de ejecución basada en STARK. Esta prueba puede ser utilizada por cualquier persona para verificar que un programa se ejecutó correctamente sin necesidad de volver a ejecutar el programa o incluso saber cuál era el programa”.
Lo que hace Miden VM es tomar esta Distaff VM y agregarle un sistema de prueba más eficiente, Winterfell. Un año después de liderar el desarrollo de Winterfell, Bobbin ayudo al desarrollo de Polygon Miden.
"Winterfell es un probador y verificador STARK de subprocesos múltiples y completamente funcional para cálculos arbitrarios". - esencialmente una versión mucho más eficaz y actualizada de GenSTARK.
El equipo de Polygon Miden analizó sus pruebas con la ayuda de RISC Zero y DelendumV. Medir el rendimiento en diferentes sistemas ZKP es muy difícil, el propósito del proyecto de evaluación es producir una colección de evaluaciones comparativas estándar para comparar el rendimiento de diferentes bibliotecas de prueba de conocimiento cero, midiendo el tiempo de prueba en varios entornos de hardware estándar, lo que permite que cada sistema de prueba muestre su comportamiento en el mundo real cuando se ejecuta en sistemas comúnmente disponibles.
https://twitter.com/0xPolygonMiden/status/1613635088746696705
Podemos ver cómo este tipo de pruebas en arquitecturas se está expandiendo más allá de Starknet y Cairo. RISC Zero es una plataforma informática general verificable de conocimiento cero que utiliza zk STARK y la microarquitectura RISC-V, que es una arquitectura de CPU basada en un Conjunto de Instrucciones Reducido con una licencia de código abierto.
https://twitter.com/RiscZero/status/1542970508651614209
Como hemos aprendido una prueba de conocimiento cero permite que una parte (el probador) convenza a otra parte (el verificador) de que algo es cierto sin revelar todos los detalles. En el caso de RISC Zero, el probador puede mostrar que ejecutó correctamente algún código (conocido por ambas partes), mientras que solo revela al verificador la salida del código, no cualquiera de sus entradas o cualquier estado durante la ejecución.
El zkVM de RISC Zero es una máquina virtual especial que emula una pequeña computadora RISC-V. Esta máquina virtual permitirá a los desarrolladores generar ZKP de alto rendimiento para una amplia variedad de aplicaciones escritas en lenguajes como Rust, C++, Solidity, Go y más.
Por último, pero no menos importante, vemos cómo StarkWare y STARK llegan aún mas lejos, este tipo de pruebas se pueden añadir en otro tipo de plataformas o capas muy diferentes y, también pueden servir para verificar el estado de la cadena de Bitcoin en un instante, como es el caso de ZeroSync. No es necesario descargar cientos de gigabytes de bloques, una prueba criptográfica compacta es suficiente para validar todo el historial de transacciones y los saldos actuales de todos. ¡No confíes Verifica!
https://twitter.com/lucidLuckylee/status/1611855016465207299
La primera versión en pruebas es la aplicación Zerosync de Bitcoin Core en modo podado, la visión a largo plazo de ZeroSync es convertirse en una caja de herramientas para pruebas personalizadas de Bitcoin. Las pruebas de STARK le permiten transformar los datos de la cadena de bloques, mejorarlos, filtrarlos, indexarlos para consultas eficientes y optimizarlos para su caso de uso individual.
Al implementar las reglas en Cairo, podemos crear un programa que valide un solo bloque y pueda generar una prueba para él si, y solo si, la validación fue exitosa, hacen uso de un probador de código abierto para Cairo llamado Giza para probar el programa generado y su seguimiento de ejecución. Debido al protocolo STARK subyacente, es inviable falsificar una prueba de ejecución que certifique la validación correcta del encabezado del bloque, una prueba correcta tiene un tamaño de unos pocos cientos de kilobytes y se puede verificar en otras cadenas de bloques, fuera de la cadena (por ejemplo, para la sincronización de nodos) o incluso en otra prueba STARK.
Para generar una prueba para múltiples encabezados de bloque sucesivos, podemos agrupar su validación en un solo programa Cairo, siempre que la máquina probadora subyacente tenga suficiente poder de procesamiento. Se puede crear una prueba para toda la cadena de Bitcoin mediante la verificación de varias pruebas de validación por lotes en una nueva prueba STARK, haciendo uso de las llamadas pruebas recursivas.
Puede usar el verificador Giza STARK en WebAssembly para verificar una prueba de la cadena Bitcoin en su navegador. Hasta ahora, han generado pruebas solo para los primeros miles de bloques, en pruebas, valida solo un bloque y falsifica la validación de la cadena anterior. Todavía están trabajando en la recursividad de prueba para el probador de Giza, la recursividad se trata de validar un STARK en un STARK, esto les permitiría ampliar gradualmente la prueba de cadena anterior con una siguiente prueba de bloque.
Es posible verificar la cadena de bloques de Bitcoin en su navegador utilizando el verificador Giza STARK en WebAssembly. Aunque actualmente solo se han generado pruebas para los primeros miles de bloques, estas pruebas permiten validar un solo bloque mientras falsifican la validación de la cadena anterior. Sin embargo, el equipo de desarrollo está trabajando en implementar la recursividad de prueba en el probador de Giza, lo que permitirá validar un STARK dentro de otro STARK y, de esta manera, ampliar gradualmente la prueba de la cadena anterior con cada nuevo bloque validado.
🎉 ¡Gracias por leer hasta el final! Si está interesado en continuar aprendiendo y colaborando con nosotros, le invitamos a unirse a la vibrante comunidad de Telegram L2 en Español y a seguirnos en nuestro Twitter L2 en Español. Allí encontrará una gran cantidad de información sobre Layer 2 y el ecosistema de Blockchain en general.¡Te Esperamos!
11 Líneas de investigación en la que la tecnología STARK está sentando las bases del ecosistema del futuro
Hola comunidad 👋
Hoy queremos presentarles StarkWare, una compañía innovadora en el mundo de Ethereum. StarkWare es el desarrollador de soluciones de escalado de capa 2 populares como StarkEx y StarkNet, y ha anunciado recientemente que el software STARK Prover será de código abierto para la comunidad. Estos y otros avances recientes están transformando el panorama de las soluciones de escalado de capa 2, en este documento, analizaremos estos cambios y también discutiremos si la definición actual de estas soluciones se queda corta.
https://twitter.com/StarkWareLtd/status/1622197933025251328
La tecnología ZK-Rollup de StarkWare es una solución de escalado de capa 2 que ayuda a la plataforma Ethereum a lograr transacciones más rápidas y económicas. Al agrupar cientos de miles de transacciones fuera de la cadena y verificarlas en la cadena por solo una fracción del costo, StarkWare está impulsando el crecimiento y la adopción de Ethereum.
Además, con el cambio de nombre de STARK Prover a Starknet Prover y su colocación bajo una licencia Apache 2.0, StarkWare está aumentando su compromiso con la comunidad de desarrolladores de Web3. Al permitir que los desarrolladores copien, modifiquen y distribuyan comercialmente el código fuente, la compañía está fomentando la colaboración y la innovación en el sector de la tecnología blockchain. Este movimiento es un paso importante para lograr una participación más amplia y significativa de la comunidad en el desarrollo del ecosistema.
"Este es un momento histórico para escalar Ethereum y, en un sentido más amplio, para la criptografía”
"Esto pondrá a la tecnología STARK en el lugar que le corresponde, como un bien público que se utilizará para beneficiar a todos”
Esto fue lo que comentó el presidente de StarkWare y cofundador de Eli Ben-Sasson durante un evento en Tel Aviv "StarkWare Session 2023", en el que se hablaron de temas importantes que profundizaremos en este artículo y haremos que vuestra visión vaya mas lejos, intentando acercarnos a la de su cofundador con StarWare y STARK.
Así que acompáñanos en este viaje para conocer mejor el ecosistema de StarkWare y que está haciendo que sus STARK o Validity Proof estén mejorando la escalabilidad de Ethereum, aprendamos que es StarkEx y cómo funciona.
StarkWare ha desarrollado StarkEx, un revolucionario motor de escalabilidad de capa 2 para la cadena de bloques Ethereum, este motor ha sido diseñado con el objetivo de mejorar de manera significativa la escalabilidad de la cadena de bloques Ethereum. Con StarkEx, se pueden realizar transacciones ultrarrápidas con tarifas de gas extremadamente bajas, sin sacrificar la seguridad, privacidad ni la autocustodia de los fondos.
Para lograr esta combinación única, StarkEx se basa en un sistema criptográfico avanzado llamado Validity Proof. Este sistema permite verificar la validez de las transacciones en tiempo real, ofreciendo una solución escalable y segura para las transacciones en la cadena de bloques Ethereum.
La validez prueba las transacciones por lotes fuera de la cadena, mientras valida la legitimidad de las transacciones a través de un contrato inteligente en Ethereum Mainnet. Además de aumentar el rendimiento, la tarifa de gas se divide entre todas las transacciones en el mismo lote, lo que da como resultado tarifas de gas más bajas para todas las aplicaciones que utilizan StarkEx.
La esencia de StarkEx radica en su división eficiente del trabajo entre dos componentes clave: el probador STARK fuera de la cadena y el verificador en la cadena. Este proceso se divide en cuatro etapas simples:
Procesamiento por lotes: todas las transacciones se procesan juntas en lotes.
Validación y actualización: las transacciones se validan y se actualizan el estado de la cadena de bloques.
Generación de una prueba: se genera una prueba que verifica la integridad de las transacciones.
Verificación en cadena: la prueba se verifica dentro de la cadena para garantizar la integridad de las transacciones.
Además, StarkEx ofrece privacidad y seguridad para las transacciones gracias a su criptografía segura poscuántica. Esto significa que la integridad de las transacciones en StarkEx está protegida contra posibles ataques de computadoras cuánticas, que en el futuro podrían tener la capacidad de vulnerar algoritmos criptográficos tradicionales.
La flexibilidad de StarkEx también será un punto a su favor, con la implementación e integración listas para usar de StarkEx a través de una API REST simple, las aplicaciones listas para producción se pueden lanzar en Mainnet en solo unas pocas semanas y gracias a Cairo, el expresivo lenguaje de programación ZKP de Starkware, hay más flexibilidad para agregar características adicionales a la lógica específica de StarkEx.
La última versión lanzada de StarkEx, la v4.5.1, incluye la compatibilidad con los tokens ERC-1155, estos tokens pueden ser almacenados de manera segura y eficiente tanto en bóvedas L1 como L2. StarkEx permite a los usuarios almacenar datos de acuerdo con una variedad de necesidades y aplicaciones, proporcionando flexibilidad y eficiencia.
ZK-Rollup: los datos se publican en la cadena.
Validium: los datos se almacenan fuera de la cadena.
Volition es un modo de disponibilidad de datos híbrido, en el que el usuario puede elegir si colocar los datos dentro o fuera de la cadena.
Exploraremos cuatro soluciones diferentes que son evaluadas por L2Beat y utilizan el motor StarkEx:
InmutableX: es una solución de escalado de capa 2 para NFT en la cadena de bloques de Ethereum. En su misión de potenciar la próxima generación de juegos Web3, Immutable aprovecha StarkEx para brindar a los usuarios una jugabilidad fluida, velocidades de transacción ultrarrápidas y acuñación y comercio de NFT sin gas y totalmente neutral en carbono.
StarEx ha impulsado más de $361 millones en volumen de operaciones de NFT desde en volumen de negociación de NFT de 155 millones de transacciones en todo el ecosistema ImmutableX, incluidos los juegos y mercados Web3 como Gods Unchained, Guild of Guardians y GameStop Marketplace.
Sorare: es un juego de deportes de fantasía basado en la cadena de bloques Ethereum que permite a los jugadores recolectar, intercambiar y administrar un equipo virtual de tarjetas de jugador digitales NFT.
Según el arquitecto de cadena de bloques de Sorare, Pierre Duperrin, la integración de Sorare con StarkEx finalmente permitió a Sorare irrumpir en la corriente principal, al tiempo que le ahorró a la empresa cerca de $ 1 millón por semana. Desde su lanzamiento en julio de 2021, StarkEx ha impulsado un volumen de negociación de más de $790 millones en casi 16 millones de transacciones en la plataforma Sorare.
dYdX: es un intercambio de finanzas descentralizadas (DeFi) sin custodia que ofrece opciones de comercio perpetuas para más de 35 criptomonedas principales. Decidido a brindar la mejor experiencia comercial posible, dYdX implementó StarkEx para brindar a los usuarios tarifas comerciales más bajas y tamaños mínimos comerciales, operaciones con márgenes cruzados, liquidación comercial instantánea y, lo que es más importante, autocustodia de todos los activos.
“Las transacciones se envían en cadena en ZK-Rollup, lo que reduce la cantidad de gas requerida por transacción. Podemos transferir esos ahorros a los comerciantes en forma de tarifas comerciales reducidas en todos los ámbitos”, dijo el fundador y director ejecutivo de dYdX, Antonio Juliano.
ApeX Pro está aprovechando las pruebas criptográficas de StarkEx y Validium para validar de forma segura los lotes de transacciones. La disponibilidad e integridad de los datos en cadena se puede garantizar con las pruebas STARK de StarkWare, que ayudará a salvaguardar un protocolo totalmente sin custodia. Construida sobre la red Ethereum, esta arquitectura de capa 2 publica pruebas ZK directamente en los contratos inteligentes de Ethereum para su verificación. Las transacciones también se empaquetan de manera única para publicar en la cadena para los comerciantes preocupados por la privacidad de los datos, ya que solo se harán visibles los cargos por saldo.
Ahora que hemos explorado el funcionamiento del motor de StarkEx y adquirido un mayor conocimiento de Starknet, es hora de analizar el poderoso lenguaje de programación, su nuevo Cairo 1.0-Alpha.2.
https://twitter.com/Starknet/status/1618896699430256645
Cairo se introdujo por primera vez en 2020 como un lenguaje de programación completo de Turing para escribir de manera eficiente programas demostrables con STARK. Cairo 1.0 es un lenguaje de alto nivel similar a Rust, al igual que Rust, está destinado a permitir que los desarrolladores escriban fácilmente código que sea eficiente y seguro.
Uno de los cambios más significativos en Cairo 1.0 es la sintaxis, se han inspirado en Rust para crear un lenguaje más amigable para los desarrolladores que sea más fácil de leer y escribir, la nueva versión de Cairo permite escribir código más seguro, además de ser más expresivo.
Cairo 1.0 también presenta Sierra, una nueva representación intermedia que garantiza que todas las ejecuciones de Cairo puedan probarse, esto hace que Cairo 1.0 sea especialmente adecuado para su uso en una red sin permisos como StarkNet, donde puede proporcionar una sólida protección DoS y resistencia a la censura.
La próxima versión testnet de StarkNet, la Alpha V0.11.0, prevista para el primer trimestre de 2023, presentará la capacidad de implementar y ejecutar contratos utilizando el nuevo lenguaje de programación Cairo 1.0. La actualización marcará el comienzo del período de transición hacia un sistema que ejecuta solo contratos de Cairo 1.0, este Período de Transición terminará con la Regénesis, que se espera unos meses más tarde.
El objetivo de StarkNet es escalar exponencialmente Ethereum utilizando la integridad matemática de STARK, y el objetivo de Cairo es hacer que esta escala exponencial sea accesible para los desarrolladores. Accesibilidad significa un lenguaje de programación que sea eficiente, fácil de leer y escribir y seguro de usar.
Ahora que StarkNet ha alcanzado un alto nivel de usabilidad, es importante examinar sus principales prioridades y comprender las fases en las que se ha basado su desarrollo:
1ª FASE: funcionalidad y usabilidad
2ª FASE: escalabilidad y rendimiento
3ª FASE: descentralización
El lanzamiento de Starknet Prover y su disponibilidad de código abierto representan un hito importante en el avance de Starknet hacia su tercera fase de desarrollo. Como parte integral de la descentralización, también es necesario destacar a Papyrus, un nodo completo de Starknet disponible de manera abierta. Juntos, estos lanzamientos marcan un progreso significativo hacia un futuro más descentralizado para Starknet.
https://twitter.com/StarkWareLtd/status/1613154088866160641
Papyrus será un componente clave de la infraestructura descentralizada de StarkNet, proporcionará las bases para el nuevo StarkNet Sequencer, que mejorará drásticamente el rendimiento de StarkNet, ayudará a mejorar el rendimiento y la descentralización. Papyrus se une a otros nodos completos de StarkNet como Pathfinder y Juno, que son responsables de sincronizar y mantener el estado de StarkNet.
En línea con el movimiento continuo hacia el código abierto de la pila StarkNet, Papyrus es de código abierto bajo la licencia Apache 2.0. StarkNet ha logrado una excelente usabilidad, y ahora el rendimiento del sistema es la principal prioridad, con la descentralización cobrando fuerza.
La mejora del rendimiento del sistema se está abordando mejorando el rendimiento del secuenciador, que es responsable de la producción de bloques de StarkNet, el secuenciador es la "máquina" que ordena y ejecuta transacciones después de que se envían.
Papyrus proporcionará al StarkNet Sequencer una capa de almacenamiento eficiente, lo que ayudará a mejorar el rendimiento. En primer lugar, esto significa que el secuenciador mantendrá una base de datos local en lugar de una base de datos basada en la nube, además, Papyrus almacenará un almacenamiento de clave/valor plano, lo que significa que interactuará directamente con el estado, en lugar de llegar a él a través de las rutas de Merkle Patricia.
Actualmente, hay dos equipos que están desarrollando un nodo completo de StarkNet:
Pathfinder de Equilibrium: implementado en Rust.b
Juno de Nethermind: están trabajando en la primera versión oficial de su implementación de Golang.
Papyrus se une a esta combinación saludable y fomenta la descentralización y la redundancia, agregar otro nodo completo y hacerlo de código abierto ayuda a proporcionar la variedad de implementaciones del cliente, lo cual es un indicador importante de la fortaleza de una red descentralizada, fijémonos en la arquitectura de Starknet y como el acople de Papyrus con Juno y Pathfinder refuerza la tercera fase.
Es importante tener en cuenta cómo las nuevas tecnologías subyacentes de StarkNet están surgiendo para facilitar la comunicación entre diferentes capas con STARK. Un ejemplo de esto es Herodotus, que utiliza pruebas de almacenamiento para demostrar que el nonce de una cuenta no ha sido modificado durante un período de tiempo determinado. Esta información puede ser utilizada como un desencadenante para permitir que los familiares accedan y administren la cuenta
https://twitter.com/HerodotusDev/status/1614172762108751874
Herodotus se enfoca en brindar contratos inteligentes con acceso en tiempo real a datos en la cadena que provienen de otras capas de Ethereum. Para lograr esto, combina pruebas de almacenamiento con zk STARK, lo que permite acceder a datos transversales entre las capas de Ethereum y hacer que los contratos se implementen de manera autoconsciente.
La tecnología Herodotus ofrece una solución innovadora que permite a los desarrolladores crear contratos que pueden leer el estado L1 en L2, el estado L2 en L1 y el estado L2 en L2 de manera totalmente sincrónica, lo que elimina la necesidad de enviar mensajes asíncronos de un lado a otro.
Herodotus aprovecha el hecho de que las cadenas de bloques con estado como Ethereum o Starknet confirman y almacenan su estado de forma criptográfica, mediante el uso de estructuras de datos dedicadas como son:
Merkle Patricia Trees
Merkle Trees
Verkle Trees
La propiedad común de estos es la capacidad de probar la inclusión de cualquier dato guardado en la estructura de datos, estos datos pueden ser, por ejemplo: almacenamiento de contratos inteligentes, saldos de cuentas, nonces de cuenta, registros de transacciones...
Probar cualquiera de ellos es posible dada la raíz de un árbol, Herodotus se asegura de que dichas raíces estén disponibles en cada red compatible con su infraestructura, puede aprovechar acumuladores criptográficos como Merkle Mountain Ranges y pruebas zk recursivas para comprimir datos de blockchain.
Ahora que vemos como este tipo de pruebas pueden aportar la verificación de una forma matemática efectiva, nos enfocaremos como estas pruebas también se incorporan en algunas zkEVM, en este caso en Kakarot, una máquina virtual de Ethereum escrita en Cairo que se puede implementar en StarkNet y ejecutar cualquier programa de código de bytes EVM, por lo tanto, Kakarot se puede usar para ejecutar contratos inteligentes de Ethereum en StarkNet. Kakarot con Cairo 1.0 se convertirá en un Super Saiyajin, más potente, más rápido, más fuerte y más seguro.
https://twitter.com/KakarotZkEvm/status/1620513080131338245
Kakarot es un competidor de la tecnología zkEVM de Polygon, que emplea un enfoque de prueba de transacciones fuera de la cadena combinando STARK y SNARK como generadores de pruebas. El zkProver está compuesto por máquinas de estado (Principal y Secundario) y constructores de pruebas zk.
Máquina de estado principal: maneja la ejecución del bytecode EVM que son interpretados por el lenguaje zkASM. También establece las restricciones polinómicas que deben cumplirse para que las transacciones por lotes sean consideradas válidas.
Máquina de estado secundaria: no es un subcomponente, es una colección de varios ejecutores para una máquina de estado secundaria individual.
Generador de pruebas STARK: se utiliza para demostrar que los lotes satisfacen las restricciones polinómicas.
Creador de pruebas SNARK: se utiliza para probar la corrección de las pruebas STARK y para publicar las pruebas de validez.
Exploremos Winterfell, una herramienta de verificación y generación de pruebas de STARK de "propósito general" escrita en Rust. Al ser de propósito general, Winterfell es capaz de generar pruebas de CI para cualquier cálculo que se pueda describir con un lenguaje completo de Turing, permitiendo la verificación de una amplia variedad de programas. La foto de la repo inferior de Facebook "META" muestra hasta dónde han llegado estas pruebas matemáticas de validez de STARK.
Winterfell utiliza STARK que a diferencia de muchos otros sistemas de prueba, los STARK son totalmente transparentes, esto significa que no necesitan realizar complicadas ceremonias de configuración confiables para comenzar a usar STARK. Las configuraciones confiables son una debilidad de seguridad potencial en otros protocolos de conocimiento cero, porque una configuración confiable comprometida permite a los atacantes generar pruebas de CI falsas. "Los STARK son inmunes a esto".
En comparación con otros sistemas, la generación de pruebas STARK es extremadamente rápida cuando se trata de cálculos uniformes o cálculos con estructuras regulares. Afortunadamente, la gran mayoría de los programas que la gente escribe poseen tales estructuras regulares, además, casi todos los pasos del proceso de generación de prueba STARK son masivamente paralelizables. Por lo tanto, con frecuencia podemos acelerar la generación de pruebas distribuyéndolas entre más y más núcleos de CPU.
https://twitter.com/0xPolygon/status/1460609725477703693
Ninguna de las propiedades individuales nombradas anteriormente son exclusiva de STARK, sin embargo, ningún otro sistema de prueba combina criptografía ajustada, transparencia y rendimiento en la medida en que lo hacen los STARK. Winterfell aprovecha al máximo estos beneficios mientras abstrae la mayor parte de la complejidad. Por ejemplo, la generación de pruebas se puede distribuir en varios núcleos de CPU para reducir drásticamente el tiempo de generación de pruebas. Además, cuentan con planes para permitir la generación de pruebas totalmente distribuidas en varias máquinas.
Tanto Distaff VM como Winterfell son piezas fundamentales de Polygon Miden, si, el Winterfell nombrado de Facebook unos párrafos más arriba. Polygon Miden es un ZK-Rollup de propósito general basado en STARK, pero antes un poco de historia.
En 2019 se desarrolló GenSTARK, un probador basado en STARK que podía generar pruebas para cualquier tipo de cálculo, el problema con esta herramienta era que no era muy compatible con los desarrolladores, por lo que querían encontrar una forma de solucionarlo.
Empezaron a pensar más en una máquina virtual basada en STARK y en cómo sería posible hacer algo como esto, esto culminó con la edición de un artículo llamado: "Un boceto para una VM basada en STARK", en febrero de 2020, y solo un par de años después, decidieran construir su propia VM STARK utilizando las ideas de este artículo, esto condujo al desarrollo de Distaff VM en abril de 2020, que terminó siendo una pieza fundamental para el proyecto actual de Miden.
Distaff VM es una máquina virtual de conocimiento cero.
Cada vez que se ejecuta un programa dentro de un zk-VM, se genera una prueba de ejecución de zk para verificar que el programa se ejecutó correctamente, sin tener que ejecutarlo realmente. Hay dos métodos en los que se puede probar el conocimiento aquí, ya sea usando una prueba SNARK o una prueba STARK, aunque Distaff es una máquina virtual basada en STARK.
Según su página de github:
“Para cualquier programa ejecutado en Distaff VM, se genera automáticamente una prueba de ejecución basada en STARK. Esta prueba puede ser utilizada por cualquier persona para verificar que un programa se ejecutó correctamente sin necesidad de volver a ejecutar el programa o incluso saber cuál era el programa”.
Lo que hace Miden VM es tomar esta Distaff VM y agregarle un sistema de prueba más eficiente, Winterfell. Un año después de liderar el desarrollo de Winterfell, Bobbin ayudo al desarrollo de Polygon Miden.
"Winterfell es un probador y verificador STARK de subprocesos múltiples y completamente funcional para cálculos arbitrarios". - esencialmente una versión mucho más eficaz y actualizada de GenSTARK.
El equipo de Polygon Miden analizó sus pruebas con la ayuda de RISC Zero y DelendumV. Medir el rendimiento en diferentes sistemas ZKP es muy difícil, el propósito del proyecto de evaluación es producir una colección de evaluaciones comparativas estándar para comparar el rendimiento de diferentes bibliotecas de prueba de conocimiento cero, midiendo el tiempo de prueba en varios entornos de hardware estándar, lo que permite que cada sistema de prueba muestre su comportamiento en el mundo real cuando se ejecuta en sistemas comúnmente disponibles.
https://twitter.com/0xPolygonMiden/status/1613635088746696705
Podemos ver cómo este tipo de pruebas en arquitecturas se está expandiendo más allá de Starknet y Cairo. RISC Zero es una plataforma informática general verificable de conocimiento cero que utiliza zk STARK y la microarquitectura RISC-V, que es una arquitectura de CPU basada en un Conjunto de Instrucciones Reducido con una licencia de código abierto.
https://twitter.com/RiscZero/status/1542970508651614209
Como hemos aprendido una prueba de conocimiento cero permite que una parte (el probador) convenza a otra parte (el verificador) de que algo es cierto sin revelar todos los detalles. En el caso de RISC Zero, el probador puede mostrar que ejecutó correctamente algún código (conocido por ambas partes), mientras que solo revela al verificador la salida del código, no cualquiera de sus entradas o cualquier estado durante la ejecución.
El zkVM de RISC Zero es una máquina virtual especial que emula una pequeña computadora RISC-V. Esta máquina virtual permitirá a los desarrolladores generar ZKP de alto rendimiento para una amplia variedad de aplicaciones escritas en lenguajes como Rust, C++, Solidity, Go y más.
Por último, pero no menos importante, vemos cómo StarkWare y STARK llegan aún mas lejos, este tipo de pruebas se pueden añadir en otro tipo de plataformas o capas muy diferentes y, también pueden servir para verificar el estado de la cadena de Bitcoin en un instante, como es el caso de ZeroSync. No es necesario descargar cientos de gigabytes de bloques, una prueba criptográfica compacta es suficiente para validar todo el historial de transacciones y los saldos actuales de todos. ¡No confíes Verifica!
https://twitter.com/lucidLuckylee/status/1611855016465207299
La primera versión en pruebas es la aplicación Zerosync de Bitcoin Core en modo podado, la visión a largo plazo de ZeroSync es convertirse en una caja de herramientas para pruebas personalizadas de Bitcoin. Las pruebas de STARK le permiten transformar los datos de la cadena de bloques, mejorarlos, filtrarlos, indexarlos para consultas eficientes y optimizarlos para su caso de uso individual.
Al implementar las reglas en Cairo, podemos crear un programa que valide un solo bloque y pueda generar una prueba para él si, y solo si, la validación fue exitosa, hacen uso de un probador de código abierto para Cairo llamado Giza para probar el programa generado y su seguimiento de ejecución. Debido al protocolo STARK subyacente, es inviable falsificar una prueba de ejecución que certifique la validación correcta del encabezado del bloque, una prueba correcta tiene un tamaño de unos pocos cientos de kilobytes y se puede verificar en otras cadenas de bloques, fuera de la cadena (por ejemplo, para la sincronización de nodos) o incluso en otra prueba STARK.
Para generar una prueba para múltiples encabezados de bloque sucesivos, podemos agrupar su validación en un solo programa Cairo, siempre que la máquina probadora subyacente tenga suficiente poder de procesamiento. Se puede crear una prueba para toda la cadena de Bitcoin mediante la verificación de varias pruebas de validación por lotes en una nueva prueba STARK, haciendo uso de las llamadas pruebas recursivas.
Puede usar el verificador Giza STARK en WebAssembly para verificar una prueba de la cadena Bitcoin en su navegador. Hasta ahora, han generado pruebas solo para los primeros miles de bloques, en pruebas, valida solo un bloque y falsifica la validación de la cadena anterior. Todavía están trabajando en la recursividad de prueba para el probador de Giza, la recursividad se trata de validar un STARK en un STARK, esto les permitiría ampliar gradualmente la prueba de cadena anterior con una siguiente prueba de bloque.
Es posible verificar la cadena de bloques de Bitcoin en su navegador utilizando el verificador Giza STARK en WebAssembly. Aunque actualmente solo se han generado pruebas para los primeros miles de bloques, estas pruebas permiten validar un solo bloque mientras falsifican la validación de la cadena anterior. Sin embargo, el equipo de desarrollo está trabajando en implementar la recursividad de prueba en el probador de Giza, lo que permitirá validar un STARK dentro de otro STARK y, de esta manera, ampliar gradualmente la prueba de la cadena anterior con cada nuevo bloque validado.
🎉 ¡Gracias por leer hasta el final! Si está interesado en continuar aprendiendo y colaborando con nosotros, le invitamos a unirse a la vibrante comunidad de Telegram L2 en Español y a seguirnos en nuestro Twitter L2 en Español. Allí encontrará una gran cantidad de información sobre Layer 2 y el ecosistema de Blockchain en general.¡Te Esperamos!
ApeX Pro: es una plataforma de operaciones sin custodia que ofrece operaciones ilimitadas de contratos perpetuos con márgenes cruzados. ApeX Pro tiene la intención de resolver los puntos débiles de (1) acceso global limitado, (2) desempeño comercial insatisfactorio y (3) seguridad y protección de privacidad insuficientes, con una solución simple pero dinámica, "comercio social impulsado por una red descentralizada y sin permisos."
"La sincronización del motor de escalabilidad de capa 2 de StarkWare, StarkEx con ApeX Pro, permite realizar transacciones de contratos perpetuos aceleradas y más baratas, al mismo tiempo que ofrece liquidez comprobada, profundidad de mercado y transparencia a los comerciantes”.
ApeX Pro: es una plataforma de operaciones sin custodia que ofrece operaciones ilimitadas de contratos perpetuos con márgenes cruzados. ApeX Pro tiene la intención de resolver los puntos débiles de (1) acceso global limitado, (2) desempeño comercial insatisfactorio y (3) seguridad y protección de privacidad insuficientes, con una solución simple pero dinámica, "comercio social impulsado por una red descentralizada y sin permisos."
"La sincronización del motor de escalabilidad de capa 2 de StarkWare, StarkEx con ApeX Pro, permite realizar transacciones de contratos perpetuos aceleradas y más baratas, al mismo tiempo que ofrece liquidez comprobada, profundidad de mercado y transparencia a los comerciantes”.
No activity yet