StarkWare Empire: Explorando el viaje de innovación de StarkEx y StarkNet

#starkware >#starknet >#starkex 
Escrito por: @Yinan_cycle
(Este artículo se publicó por primera vez en PANews: StarkWare Empire: un análisis del viaje de innovación de StarkEx y StarkNet)
fondoA partir de 2018, StarkWare fue pionera en el uso de la prueba de validez STARK para resolver el problema de escalabilidad de Ethereum. Lanzó StarkEx basado en un modelo de negocio SaaS, creó el lenguaje de programación Cairo y construyó Starknet, la primera red descentralizada en producción que permite escribir lógica personalizada.
StarkWare se compromete a tener un doble enfoque en tecnología, matemáticas, innovación y entrega de productos; apoyar a otros equipos que avanzan en Ethereum y/o STARK y esforzarse por hacer que el producto sea de código abierto, descentralizado y enfocado en hacer de STARK un bien público.
En el futuro, StarkWare trabajará para hacer de Starknet un paquete acumulativo de validez descentralizado sin permisos gobernado por la Fundación Starknet y se centrará en los diversos componentes de la descentralización de Starknet, como Prover, Sequencer y gobernanza.
La tecnología STARK se basa en pruebas, específicamente pruebas de integridad. STARK utiliza las matemáticas para garantizar la integridad, garantizando que los cálculos se realicen correctamente incluso cuando nadie está mirando. El concepto de esta técnica comenzó con un artículo de 1991 de László Babai, Lance Fortnow, Leonid Levin y Mario Szegedy, que introdujo el concepto de utilizar una única computadora confiable para monitorear un grupo de supercomputadoras no confiables. La tecnología, llamada "PCP", utiliza matemáticas para monitorear y garantizar la integridad de grandes cálculos.
La tecnología STARK es una versión mejorada de la tecnología PCP que permite a los pequeños usuarios comprobar y garantizar el correcto funcionamiento de grandes corporaciones, monopolios o gobiernos. Blockchain restablece la naturaleza peer-to-peer del cambio de divisas, eliminando la necesidad de intermediarios confiables. Ethereum lleva este concepto aún más lejos, permitiendo la creación de programas universales que forman la base de una economía social.
StarkwareStarkWare es una de las mejores empresas en el sector de zk rollups. Fue cofundada por el profesor Eli Ben-Sasson del Instituto de Tecnología de Israel (co-inventor de zk SNARK y zk STARK). Proporciona soluciones basadas en la tecnología STARK. la industria blockchain. Actualmente se desarrollan dos productos: StarkEx y StarkNet, los cuales se presentan a continuación.
Equipo Starkware
Eli Ben-Sasson: cofundador y científico jefe, profesor de informática en el Instituto de Tecnología Technion-Israel. Científico fundador de Zcash e inventor de zkSNARK.
Alessandro Chiesa: cofundador y científico jefe, profesor de informática en la Universidad de California, Berkeley. Científico fundador de Zcash, coinventor de zk-SNARK y desarrollador principal de libsnark.
Uri Kolodny: cofundador y director ejecutivo, Uri es un emprendedor en serie con una rica experiencia empresarial y buena cooperación.
Michael Riabzev: cofundador y arquitecto jefe. Doctorado por el Instituto de Tecnología de Israel, trabajó en Intel e IBM.
Oren Katz: vicepresidente de ingeniería. Graduado de la Universidad Hebrea en Ciencias de la Computación, MBA de Tel Aviv, y es ingeniero senior con 20 años de experiencia.
Financiación
La empresa está valorada actualmente en 8 mil millones de dólares y ha recibido el apoyo total de capitales como Vitalik, Paradigm y Sequioa. Es el equipo con mayor valoración en el campo de expansión.
StarkExUn motor de escalado de Capa 2 específico para aplicaciones basado en la cadena de bloques Ethereum, diseñado para resolver los problemas de escalabilidad de las redes de cadenas de bloques de Capa 1 como Ethereum. StarkEx permite transacciones rápidas y de bajo costo sin comprometer la seguridad, la privacidad y la autocustodia mediante el uso de un sistema de criptografía avanzado llamado pruebas STARK.
Proporciona una serie de procesos de aplicación para implementar cálculos económicos fuera de la cadena, empaquetar múltiples transacciones en una prueba STARK y luego verificarlas en la cadena, reduciendo el costo promedio de gas de cada transacción. El principio de funcionamiento del motor de expansión StarkEx incluye cuatro pasos: procesamiento por lotes, verificación y actualización, generación de pruebas y verificación en cadena.
StarkEx se ha implementado con éxito en múltiples aplicaciones como dYdX, Immutable, Sorare, DeversiFi y Celer.
La diferencia con StarkNet es:
StarkEx y StarkNet son dos tecnologías diferentes desarrolladas por StarkWare. Ambas utilizan tecnología a prueba de conocimiento cero de STARK, pero tienen objetivos y usos diferentes.
StarkEx: StarkEx es un motor de escalado de Capa 2 específico para aplicaciones centrado en optimizar el rendimiento de una única aplicación en la cadena de bloques Ethereum. Permite transacciones más rápidas y de menor costo al agrupar múltiples transacciones y verificarlas fuera de la cadena. Se utiliza principalmente en intercambios descentralizados (DEX), mercados y juegos NFT, etc. Al utilizar la tecnología a prueba de STARK, StarkEx proporciona una experiencia comercial segura, eficiente y de bajo costo.
StarkNet es una solución de Capa 2 completa, más general y sin permisos que proporciona a todo el ecosistema Ethereum una plataforma informática descentralizada donde los desarrolladores pueden implementar contratos inteligentes escritos en el idioma de El Cairo. StarkNet admite la interacción con otros contratos, permite una rica combinación de protocolos y puede interactuar con contratos de Ethereum a través de mensajería asincrónica. El objetivo es proporcionar un entorno escalable, seguro y de bajo costo en el que los desarrolladores puedan crear e implementar contratos inteligentes. A diferencia de StarkEx, StarkNet puede verse como un sistema operativo integral de capa 2 que permite a los desarrolladores crear una variedad de aplicaciones descentralizadas, no solo soluciones para propósitos específicos.
En resumen, StarkEx es un motor de extensión de Capa 2 específico para aplicaciones que se centra en la optimización del rendimiento de aplicaciones específicas, mientras que StarkNet es una solución de Capa 2 más general y completa que tiene como objetivo proporcionar una solución descentralizada para todo el ecosistema informático centralizado de Ethereum. plataforma.
StarknetStarknet es una red acumulativa de validez descentralizada y sin permiso (también conocida como "ZK-Rollup"). Opera como una red L2 en Ethereum, lo que permite que cualquier dApp logre una computación infinitamente escalable sin comprometer la componibilidad y la seguridad de Ethereum, gracias a que Starknet confía en el sistema de prueba Cryptoproof más seguro y escalable, STARK.
Los contratos de Starknet y el sistema operativo Starknet están escritos en El Cairo, lo que permite la implementación y ampliación de cualquier caso de uso, independientemente de la lógica empresarial. Starknet es una solución de red descentralizada de capa 2 diseñada para proporcionar mayor escalabilidad y rendimiento para aplicaciones descentralizadas (dApps). Al ejecutarse en Ethereum, aprovecha la infraestructura y la seguridad existentes al tiempo que proporciona una mayor potencia informática.
Cairo es un lenguaje de programación diseñado específicamente para Starknet para simplificar el desarrollo y la implementación de contratos inteligentes. Al utilizar Cairo, los desarrolladores pueden crear fácilmente aplicaciones altamente escalables para una variedad de casos de uso, incluidos finanzas, juegos, cadena de suministro y más.
Starknet es un resumen de validez, lo que significa que es necesario probar la ejecución dentro de cada bloque, que es donde las pruebas STARK resultan útiles. Sin embargo, las pruebas STARK pueden resolver declaraciones formuladas en un lenguaje de restricciones polinómicas y no tienen conocimiento de la ejecución de contratos inteligentes. Para superar esta brecha, se desarrolló El Cairo.
En general, Starknet es una solución de red de capa 2 llena de potencial que puede brindar a las dApps existentes un gran paso adelante en escalabilidad y rendimiento. Al adoptar el sistema de prueba criptográfica STARK y el lenguaje de programación Cairo, Starknet proporciona a los desarrolladores una plataforma potente y flexible para satisfacer diversas necesidades comerciales.
actualización de nueva versión
¿Qué pasa después? Starknet Alpha v0.11.0: Comienza la transición a Cairo 1.0
Otras mejoras de lenguaje en Cairo 1.0
Mejoras de rendimiento: según lo prometido, Starknet continúa avanzando hacia una mejora significativa de TPS. El siguiente paso en la hoja de ruta es la transición a los secuenciadores Rust, que se desarrollan públicamente bajo la licencia Apache 2.0. El nuevo secuenciador utilizará los nodos completos Rust CairoVM y Papyrus para formar el Performance Trio.
DA fuera de la cadena
En esta versión, Starknet maneja la parte del cálculo de los costos de transacción. En una próxima versión, se abordarán los costos de datos en cadena, que es el costo principal de la transacción promedio en la actualidad.
Aquí hay una explicación más detallada del secuenciador de Starknet:
Sequencer se refiere al StarkNet Sequencer, que es parte de StarkNet y tiene como objetivo aumentar significativamente el rendimiento (número de transacciones por segundo) cambiando a un secuenciador Rust, utilizando los nodos completos Rust CairoVM y Papyrus, formando así un "trío de rendimiento".
El "trío de rendimiento" se refiere a los tres componentes del secuenciador StarkNet: el secuenciador Rust, Rust CairoVM y el nodo completo Papyrus. Entre ellos, el secuenciador Rust es el núcleo de StarkNet Sequencer, que es responsable de procesar transacciones y generar bloques. Rust CairoVM es una máquina virtual que puede ejecutar contratos inteligentes en StarkNet. El nodo completo de Papyrus es un nodo en la red StarkNet que almacena todos los datos en StarkNet y puede procesar transacciones. Estas tres partes trabajan juntas para aumentar significativamente el rendimiento de StarkNet (número de transacciones por segundo).
Starknet v0.11.0 (actualmente solo en Goerli testnet)
Una vez que finalice el período de prueba de Goerli, Starknet v0.11.0 se lanzará en la red principal.
Starknet v0.10.3 (22-12-12)
Rendimiento: cálculos de compromiso de estado separados de la ejecución de transacciones
Se agregó el comando starknet-class-hash para calcular el hash de clase de los contratos Starknet compilados.
Starknet v0.10.2 (29/11/22)
¡Esta versión introduce la paralelización del secuenciador!
Se agrega un nuevo punto final estima_fee_bulk a la puerta de enlace del alimentador. Esto permitirá estimar tarifas para varias transacciones simultáneamente, donde cada transacción se ejecuta en relación con el estado resultante de la transacción anterior aplicada.
Starknet v0.10.1 (25/10/22)
Agregue la transacción DeployAccount (reemplazará la transacción Deploy para implementar el contrato de cuenta). Para usarlo, primero debe agregar suficientes fondos a la dirección de su cuenta para cubrir las tarifas de transacción, luego puede llamar a DeployAccount
Divida el comando starknet implementar_accountCLI en starknet new_account y starknet implementar_account
Se espera que los contratos de cuenta implementados de esta manera implementen el punto de entrada validar_deployDeployAccount(), que debería verificar la firma de la transacción.
Cálculo de tarifas L1 mejorado: calcule tarifas según las diferencias en el estado de almacenamiento
API: Entry_point_type elimina campos de la información de la transacción
Starknet v0.10.0 (09/05/22)
Esta versión presenta los siguientes pasos en el diseño de abstracciones de cuentas de Starknet, específicamente la separación de verificación/ejecución.
Starknet v0.9.1 (20/07/22)
Cambios de API
CLI de StarNet
Starknet v0.9.0 (6 de junio de 22)
Esta versión trae el paradigma de clase/instancia de contrato a Starknet.
Acerca de la cuenta
Estructura de la cuenta Ethereum
En Ethereum, las cuentas de usuario individuales se denominan cuentas de propiedad externa (EOA).
Los EOA se diferencian de los contratos inteligentes en que no están controlados por código. La EOA está determinada por un par de claves públicas y privadas.
La dirección de la cuenta se deriva de estas claves y las transacciones solo se pueden iniciar desde la cuenta si se tiene la clave privada. Si bien los contratos de Ethereum son "pasivos", lo que significa que solo pueden cambiar cuando se solicitan en una transacción, los EOA pueden iniciar transacciones.
A pesar de su simplicidad, los EOA tienen un gran inconveniente: no hay flexibilidad en el comportamiento de la cuenta. El protocolo Ethereum dicta cuándo las transacciones iniciadas por los EOA son válidas (el esquema de firma es fijo). En particular, el control de la clave pública otorga un control total sobre la cuenta. Si bien en teoría este es un método seguro de administración de cuentas, en la práctica tiene algunas desventajas, como requerir que mantenga segura su frase inicial mientras la hace accesible para usted y tener una flexibilidad limitada con las funciones de billetera.
EIP-4337 es una propuesta de diseño para Ethereum que describe una abstracción de cuenta para administrar todas las cuentas a través de contratos inteligentes dedicados en la red Ethereum para aumentar la flexibilidad y la usabilidad. Puede agregar abstracción de cuenta a Ethereum agregando lógica personalizada además de la funcionalidad básica de EOA.
¿Qué es la abstracción de cuentas?
La idea detrás de la abstracción de cuentas es permitir una mayor flexibilidad en la gestión de cuentas, en lugar de que su comportamiento se determine a nivel de protocolo. Esto se puede lograr mediante la introducción de contratos de cuenta: contratos inteligentes con lógica programable que determinan el comportamiento de la cuenta del usuario.
Al utilizar la abstracción de cuenta, ahora puede programar la funcionalidad de su cuenta.
Por ejemplo, puedes:
Determine qué significa una firma válida o con qué contratos puede interactuar su cuenta. Esto se llama "abstracción de firma".
Pagar tarifas de transacción en diferentes tokens; esto a veces se denomina "abstracción de tarifas"
Diseñe su propio mecanismo de protección de reproducción y permita que se envíen múltiples transacciones no relacionadas en paralelo. Compare esto con la solución secuencial nonce utilizada en Ethereum, que da como resultado que las transacciones sean de naturaleza secuencial, incluso si desea enviar dos transacciones en paralelo, debe esperar algunas confirmaciones de la primera transacción antes de enviar las segundas dos transacciones. De lo contrario, la segunda transacción puede ser rechazada debido a un nonce no válido. Utilizando la abstracción de cuentas, se pueden discutir diferentes soluciones para evitar el requisito de nonce secuencial. Esto se llama "abstracción nonce".
Actualmente, Starknet proporciona abstracción de firmas. En el futuro, Starknet enriquecerá el diseño abstracto de la cuenta corriente.
Dos ejemplos de funcionalidad de cuenta personalizada utilizando la abstracción de cuenta
Recuperación social Este es un proceso que le permite recuperar su billetera a través de una red social de su elección cuando la pierde, mejorando en gran medida la experiencia típica de recuperación de billetera.
Opere su cuenta con reconocimiento facial Con la abstracción de firma, puede firmar transacciones utilizando el hardware nativo de su teléfono, lo que hace prácticamente imposible hacerse cargo de la cuenta de otro usuario (incluso en caso de que le roben el teléfono).
Estos ejemplos demuestran cómo se puede aprovechar la abstracción de cuentas para brindar a los usuarios una experiencia de administración de cuentas y billeteras más flexible, segura y altamente personalizada. Al escribir una lógica personalizada, los usuarios pueden adaptar la funcionalidad de la cuenta a sus necesidades y preferencias, mejorando la seguridad y al mismo tiempo mejorando la facilidad de uso.
El contrato de cuenta Starknet debe incluir las dos funciones siguientes
validar
ejecutar
Estas funciones tienen diferentes propósitos para garantizar que solo el propietario de la cuenta pueda iniciar transacciones y que se le puedan cobrar por los recursos que utilice.
Los tipos de cuentas de Starknet están inspirados en Ethereum EIP-4337, donde en lugar de EOA (Cuenta de propiedad externa), ahora se utilizan cuentas de contratos inteligentes con lógica de verificación arbitraria.
Al utilizar contratos inteligentes, se obtiene total flexibilidad en la implementación de la cuenta.
Si bien no es obligatorio a nivel de protocolo, la comunidad desarrolló una interfaz de cuenta estándar más rica. Este estándar fue desarrollado por OpenZeppelin, en estrecha colaboración con el equipo de billetera y otros desarrolladores principales de Starknet.
Economía de tokens:El papel de las fichas:
tarifa de transacción:
Actualmente, las tarifas en StarkNet se pagan en Ethereum (ETH). Pero más adelante, esperamos que las tarifas se paguen en su totalidad utilizando tokens nativos de StarkNet. Para respaldar una buena experiencia de usuario, los mecanismos en cadena automatizados y descentralizados permitirán a los usuarios pagar tarifas en ETH.
Promesa:
Ciertos servicios que son críticos para la vida y la seguridad de StarkNet pueden requerir la apuesta de tokens de StarkNet. Estos servicios pueden incluir realizar pedidos, alcanzar un consenso provisional de L2 antes de llegar a los resultados finales de L1, servicios de certificación STARK y aprovisionamiento de disponibilidad de datos.
Gobernancia:
Las propuestas para mejorar StarkNet requerirán un umbral mínimo de soporte de tokens que se definirá más adelante. Todos los cambios al protocolo que son críticos para la vida, la seguridad y el mantenimiento de StarkNet requieren votación, ya sea directamente o mediante delegación. Por ejemplo, todas las actualizaciones importantes del sistema operativo StarkNet requieren la aprobación del titular del token.
Monto total: 10 mil millones, distribución inicial de tokens: Token Economics
17%: inversores de StarkWare
32,9 % — Colaboradores principales: StarkWare y sus empleados y consultores, y socios de desarrollo de software de StarkNet
StarkWare otorga el 50,1% a la Fundación para los siguientes fines:
9% - Suministro comunitario: se utiliza para recompensar a las personas que trabajan en StarkNet y brindan soporte para su tecnología subyacente, como aquellos que han usado el sistema StarkEx L2 en el pasado. Es importante destacar que todo el reabastecimiento comunitario se basará en trabajos verificables que se hayan completado en el pasado. Por ejemplo, para los usuarios anteriores de StarkEx, las asignaciones se determinarán en función del uso verificable de la tecnología StarkEx que ocurrió antes del 1 de junio de 2022.
9%: reembolso comunitario: se utiliza parcialmente para cubrir el costo de pasar de Ethereum a StarkNet. Para evitar la gamificación, los reembolsos comunitarios solo se aplican a las transacciones que se produjeron después de que se anunciara el mecanismo de reembolso.
12 %: financiación para investigación y desarrollo, pruebas, implementación y mantenimiento del protocolo StarkNet.
10% - reserva estratégica para financiar actividades del ecosistema consistentes con la misión de la fundación.
2%: donado a instituciones y organizaciones muy respetadas, como universidades, ONG, etc., decidido conjuntamente por los poseedores de tokens StarkNet y la Fundación.
8,1%—No asignado: Las reservas financieras no asignadas de la Fundación se utilizarán para apoyar aún más a la comunidad StarkNet, con métodos de apoyo específicos determinados por la comunidad.
Para alinear los incentivos a largo plazo de los principales contribuyentes e inversores con los intereses de la comunidad StarkNet y seguir las prácticas del ecosistema descentralizado, todos los tokens asignados a los principales contribuyentes e inversores estarán sujetos a un período de bloqueo de 4 años. , con lanzamiento lineal y acantilado de un año.
Si es un usuario final, utilice StarkNet sólo si satisface sus necesidades actuales. Úselo para transacciones y aplicaciones que valore en lugar de esperar retornos futuros de los tokens StarkNet. Cuando se anuncien suministros comunitarios, únicamente se referirán a instantáneas que hayan ocurrido antes de la fecha del anuncio, filtrando y excluyendo el uso considerado abusivo y manipulador de la red en función de la información disponible en ese momento. Cuando se establezcan sistemas de reembolso comunitarios, nunca se aplicarán a las transacciones que ocurrieron antes de que se anunciara el reembolso, por lo que negociar hoy con la expectativa de reembolsos futuros es inútil.
Basado en el análisis resumido de la economía de tokens anterior:
El primer 9% de la parte del suministro comunitario se podrá lanzar desde el aire a los usuarios, lo que significa que los usuarios se dividirán entre los 450 millones junto con aquellos que trabajan para Starknet y brindan soporte técnico y desarrollo.
El segundo reembolso comunitario del 9% se utiliza para subsidiar las tarifas de tramitación después de que se anuncien las reglas de reembolso posteriores. Es inútil pagar las tarifas de tramitación antes de que se anuncien las reglas.
La tercera reserva estratégica del 10% se destina a aplicaciones ecológicas de la cadena y se destina a protocolos de aplicación ecológica.
modelo de negocioStarkEx vende servicios de motores de tecnología personalizados y cobra tarifas de servicio directamente a los clientes con necesidades de expansión. Es esencialmente un servicio 2B personalizado.
Cree una red descentralizada de Capa 2 StarkNet que admita la implementación independiente de dApps. Puede cobrar a los usuarios tarifas de transacción de Capa 2 y también puede obtener el valor de MEV a través del mecanismo de subasta del secuenciador. También puede emitir tokens y utilizar tecnología y fondos. para incubar proyectos StarkNet. Impulsar el desarrollo ecológico a través de la tokenómica.
ResumirStarkWare es una de las mejores empresas en el circuito de paquetes acumulativos de zk, con productos que incluyen StarkEX y StarkNet.
StarkEx es un motor de extensión Layer2 que brinda servicios técnicos para dApps.
StarkNet es una solución de Capa 2 más general y completa que no requiere permisos.
Hay más de 80 miembros del equipo y los miembros principales son bastante llamativos. Eli Ben-Sasson es el científico fundador de Zcash y el inventor de zkSNARK. Tiene una investigación e influencia muy profundas en el campo ZK-Rollup. La valoración actual alcanza los 8 mil millones de capital de riesgo y personas como paradigm, Pantera, Polychain y Buterin son todos inversores de StarkWare.
En términos de aplicaciones ecológicas, debido a que se utiliza el lenguaje Cairo, no es compatible con EVM, por lo que el progreso en el desarrollo ecológico será más lento. Actualmente, está comenzando a hacer la transición a Cairo 1.0 y desarrollarse hacia un TPS superior. pero la experiencia actual de la aplicación no es muy fluida y todavía existe una brecha entre la tecnología y la realidad. Espero ver un mejor desarrollo de Starknet en el futuro.