Se informa que Starknet 0.12.0 se implementó oficialmente en la red principal el 12 de julio, logrando un mayor rendimiento y una latencia más baja. Antes de leer este artículo, debe tener una comprensión preliminar del concepto de prueba de conocimiento cero:
La prueba de conocimiento cero pertenece al concepto de criptografía y es una prueba interactiva. Comencemos con un ejemplo clásico: A es daltónico rojo-verde, y B tiene dos bolas de billar, una roja y otra verde. A los ojos de A, las dos bolas tienen exactamente el mismo color, y B necesita demostrarle a A que una de las dos bolas de billar es roja y la otra es verde. En este momento, A pone las bolas de billar detrás de su espalda, puede cambiar las dos bolas o no, y B necesita juzgar si A ha cambiado las dos bolas, repitiéndolo muchas veces, si el resultado de la suposición de B cada vez es correcto. , entonces A piensa que una de las dos bolas de billar es roja y la otra es verde, que es la situación real. Este es un ejemplo de una prueba clásica de conocimiento cero. En la prueba de conocimiento cero, solo necesitamos dos identidades de "probador" y "verificador".
1 Introducción a Starknet
StarkNet es un Validity-Rollup descentralizado sin permiso (también conocido como "ZK-Rollup"). Como Capa 2 en Ethereum, permite que cualquier Dapp logre una expansión infinita en la informática sin sacrificar la componibilidad y la seguridad de Ethereum.
StarkWare, la empresa matriz de StarekNet, se estableció en 2018 y tiene su sede en Israel. Sus principales productos son Starknet y StarkEx. La valoración de su empresa ha alcanzado los 8.000 millones de dólares estadounidenses. Hasta el momento, StarkNet ha pasado por cinco rondas de financiación, recaudando un total de 273 millones de dólares estadounidenses.
Vale la pena mencionar que la Fundación Ethereum ha apoyado públicamente específicamente el starkware que utiliza starks, y ha otorgado una subvención de $ 12 millones para starkware. Y esta es una de las razones por las que la industria es generalmente optimista sobre el desarrollo futuro de StarkNet y su ortodoxia.
Modelo económico simbólico
StarkNet anunció el 16 de noviembre de 2022 que su token nativo $STRK se implementará en la red principal de Ethereum para votar, apostar y pagar tarifas.
Figura 1-1 Modelo económico del token $STARK
En el modelo económico de fichas, a excepción del 49,9 % de las fichas de inversores y contribuyentes principales, el 50,1 % restante de las fichas son propiedad de la Fundación StarkNet. De esto, el 8,1% de los tokens permanecen sin asignar. Esta parte será utilizada por la comunidad para determinar el uso correspondiente, por lo que esta parte de los tokens generalmente se especula como una posible cuota de airdrop. La Fundación Starknet también nombró al exejecutivo de Facebook Diego Oliva como su primer CEO. Oliva ha declarado anteriormente que se centrará en la gobernanza de la comunidad descentralizada de Starknet, haciendo hincapié en los derechos e intereses de los desarrolladores y usuarios.
mapa de ruta
V 0.12.0 rendimiento y latencia
El funcionario anunció recientemente la hoja de ruta general para 2023. La versión 0.12.0 se implementó oficialmente en la red principal el miércoles 12 de julio. La última versión de Starknet, 0.12.0, presenta importantes mejoras de rendimiento, incluidas mejoras en el rendimiento y la latencia. Al adoptar el secuenciador basado en Rust y la máquina virtual Rust-Cairo, el rendimiento de StarkNet mejorará significativamente, y el intercambio OKEX ha comenzado a respaldar el depósito de la red principal ETH starknet.
V 0.13.0 Costo de transacción
En la versión V 0.13.0, el costo de transacción de Starknet se reducirá considerablemente. Esto se logra a través de la voluntad, un componente importante para reducir los costos de transacción. Los costos de datos L1 (Ethereum) representan el 95% de los costos de transacción en la actualidad, y Volition permitirá a los desarrolladores crear aplicaciones Starknet utilizando un modelo híbrido de disponibilidad de datos (DA). Además, se espera que EIP-4844 (Transacciones fragmentadas de blobs) de Ethereum se lance en el cuarto trimestre de 2023. Debido a EIP-4844 de Ethereum y Volition de Starknet (disponibilidad de datos fuera de la cadena), los costos de datos de Starknet se reducirán significativamente.
Mercado de tarifas V 0.14.0
La congestión de la red es un dolor de cabeza para todos los desarrolladores y usuarios. Para resolver este problema, Starknet introducirá un mercado de tarifas en V 0.14.0 para asignar eficientemente los recursos limitados de Starknet de acuerdo con cuánto pagan los usuarios de gas por las transacciones.
V 0.15.0 intervalo de bloque fijo más corto
En la versión V0.15.0, algunos planes de mejora apuntan a mejorar el rendimiento y la experiencia del usuario de Starknet, desvinculando la relación entre bloques y pruebas, reduciendo el intervalo entre bloques y mejorando el rendimiento de la red. Esto hará de Starknet una plataforma blockchain más poderosa y eficiente.
2 Análisis técnico
ZK-Resumen VS OP-Resumen
Actualmente, la Capa 2 más utilizada en el mercado: la tecnología subyacente de Arbitrium es OP-Rollup, (Optimistic Rollup). Logra expansión a través de Pruebas de Fraude. En Op-Rollup, el sistema cree de manera optimista que los datos de la transacción son correctos, sin verificación en tiempo real, ingresando directamente en un período de espera. Durante el período de espera, si un nodo presenta una objeción y proporciona evidencia para probar que existe una transacción maliciosa, la transacción se cancelará; si no hay objeción, la transacción se completará automáticamente y se verificará en la cadena principal después de la espera. el período ha terminado.
Starknet es Layer 2 basado en la tecnología ZK-Rollup. ZK-Rollup se basa principalmente en tecnología de prueba de conocimiento cero Al separar los procesos de cálculo y verificación, la verificación de la ejecución del contrato se completa fuera de la cadena y luego los resultados de la verificación se envían a la red principal de Ethereum. El proceso de cálculo se realiza fuera de la cadena y el resultado de la verificación solo se envía a Ethereum como prueba. Por lo tanto, este método proporciona el más alto nivel de seguridad y protección de la privacidad del usuario.
En comparación con OP-rollup y ZK-rollup, ZK-rollup es una alternativa más segura que OP-rollup, mientras que OP-rollup es una mejor opción para proyectos DeFi con compatibilidad con EVM. Se puede ver que ZK-rollup con compatibilidad con EVM será la futura dirección de desarrollo narrativo de la capa 2 con sus ventajas de seguridad natural. La seguridad se logra gracias a la confianza de StarkNet en STARK, el sistema de prueba criptográfica más seguro y escalable.
Zk-STARK VS Zk-SNARK
STARK (argumentos de conocimiento transparentes escalables de conocimiento cero) y Zk-SNARK (argumento de conocimiento sucinto no interactivo de conocimiento cero) son tecnologías de prueba de conocimiento cero, que se utilizan para crear pruebas que se pueden verificar sin revelar toda la información. Pero hay algunas diferencias clave en su implementación y características.
Elegir usar SNARK o STARK depende de los escenarios y requisitos específicos de la aplicación. Los SNARK tienen ventajas en cuanto al tamaño de la prueba y la velocidad de verificación, pero requieren una configuración de confianza. Los STARK no requieren configuraciones de confianza y son resistentes a los ataques informáticos cuánticos, pero la prueba es más grande y la velocidad de verificación es más lenta.
Aquí se presenta un concepto: Configuración de confianza, que es un proceso utilizado en algunos tipos de sistemas a prueba de conocimiento cero (como zk-SNARK), que crea algunos parámetros iniciales antes de que el sistema comience a funcionar. Estos parámetros se utilizan tanto durante la generación de pruebas como durante la verificación.
La clave para la configuración de confianza es asegurarse de que los generadores destruyan completamente los secretos que usan después de crear los parámetros iniciales. Si el generador mantuviera este secreto, tendría la capacidad de crear pruebas falsas que parecen ser válidas, lo que comprometería la seguridad del sistema. Por lo tanto, el proceso de establecimiento del fideicomiso debe estar sujeto a un riguroso escrutinio y monitoreo para garantizar que todos los generadores hayan destruido correctamente la información secreta. Es por eso que se llama "configuración de confianza" porque el usuario debe confiar en que el proceso es justo y que el generador no está haciendo trampa.
Sin embargo, zk-STARKs es un sistema a prueba de conocimiento cero que no requiere configuraciones de confianza. Esto significa que, a diferencia de los sistemas que requieren una configuración de confianza (como zk-SNARK), el proceso de verificación y generación de pruebas de zk-STARK no se basa en ninguna información secreta. Esto proporciona una mayor transparencia y seguridad, ya que la seguridad del sistema no depende de las acciones de ningún individuo u organización en particular. Los zk-STARK se realizan mediante el uso de una tecnología llamada "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
Acuerdo FRI
La idea básica del protocolo FRI es reducir gradualmente el grado de polinomios a través de una serie de pasos de muestreo e interpolación. En cada paso, el probador proporciona un nuevo polinomio que, según afirma, es una versión comprimida del polinomio original. El verificador puede comprobar que la afirmación es correcta comprobando los valores de estos polinomios en puntos aleatorios.
Este proceso continúa hasta que el grado del polinomio es lo suficientemente bajo como para que el verificador pueda verificar directamente todos sus coeficientes. Dado que el grado del polinomio se reduce a la mitad en cada paso, este proceso se puede realizar en tiempo logarítmico, lo que hace que el protocolo FRI sea muy eficiente.
Una propiedad clave del protocolo FRI es que solo se basa en parámetros públicos predefinidos y no requiere ninguna información secreta. Esto lo hace útil para construir sistemas a prueba de conocimiento cero, como zk-STARK, que no requieren una configuración de confianza. Sin embargo, el protocolo FRI (Fast Reed-Solomon Interactive Oracle Proofs) no es equivalente a una configuración de confianza. En cambio, el protocolo FRI es una tecnología para generar y verificar pruebas de zk-STARK. Permite que el probador demuestre al verificador que los coeficientes de un polinomio son de bajo grado sin revelar el contenido específico del polinomio. La propiedad clave del protocolo FRI es que solo se basa en parámetros públicos predefinidos y no requiere ninguna información secreta. Esto lo hace útil para construir sistemas a prueba de conocimiento cero, como zk-STARK, que no requieren una configuración de confianza. El protocolo FRI es un componente clave de zk-STARK, que permite que zk-STARK funcione sin necesidad de una configuración de confianza. Pero el protocolo FRI en sí mismo no es un proceso de establecimiento de confianza, ya que no implica la generación o destrucción de ninguna información secreta.
Cómo funciona Starknet
Los productos de StarkWare incluyen StarkEx, un servicio empresarial ZKR personalizado para partes del proyecto, y el más general StarkNet. StarkNet consta de cinco partes, a saber: probador (certificador), secuenciador (clasificador) y nodo completo (nodo completo) en Starknet; y verificador (verificador) y núcleo de Starknet (estado central) implementado en el contrato Ethereum).
Su principio de funcionamiento es iniciar una transacción en StarkNet, que es aceptada, clasificada, verificada por el clasificador del servidor fuera de la cadena y empaquetada en bloques, ejecuta la transacción y luego reenvía el estado al contrato de estado central de starknet. Inmediatamente, el probador genera una prueba de la transacción y la envía al verificador de Ethereum para su verificación. El verificador envía el resultado de la verificación al contrato de estado central de Starknet de Ethereum y activa un nuevo conjunto de transacciones de Ethereum del contrato principal de Starknet para actualizar el estado global en la cadena para el mantenimiento de registros. El nodo completo (Full node) desempeña una función de almacenamiento, incluidos los cambios de estado, los metadatos, las pruebas y registra todas las transacciones ejecutadas en Starknet, y realiza un seguimiento del estado global actual del sistema.
Figura 2-1 Diagrama esquemático del principio de funcionamiento de Starknet
3 Ecosistema StarkNet
Figura 3-1 Mapa ecológico de Starknet (de Twitter @odin_free)
Hay muchos proyectos ecológicos en Starknet, que actualmente incluyen más de 100 dapps y servicios. Entre ellos, hay dos tipos de billeteras, Braavos y Argent, pero los mnemotécnicos entre los dos no son interoperables. Se han implementado más de 60 protocolos Defi, incluidos DEX como 10kswap, Jediswap, Myswap y protocolos de préstamo como Zklend; a partir de ahora, según los datos de Defilama, el TVL total de StarkNet es de solo $ 17,36 millones. Aunque el TVL general es en aumento, el En comparación con los $ 189,21 millones de zkSync Era del mismo tipo, todavía hay una brecha de casi diez veces Se puede ver que el ecosistema StarkNet aún se encuentra en su etapa inicial.
Figura 3-2 StarkNet TVL de defilama
El puente de cadenas cruzadas incluye el Stargate oficial del puente de cadenas cruzadas, Orbiter, Layerswap, etc.; Did tiene StarknetID y la plataforma de misiones StarQuest. En la actualidad, las actividades de NFT Odyssey de los diversos protocolos de Starknet están en pleno apogeo. Ya sea que la ecología futura de StarkNet continúe prosperando o sea de corta duración, solo podemos esperar y ver...
Ver originales
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Starknet 0.12.0 despliega oficialmente la Mainnet: Darse cuenta del salto cuántico
Prefacio
Se informa que Starknet 0.12.0 se implementó oficialmente en la red principal el 12 de julio, logrando un mayor rendimiento y una latencia más baja. Antes de leer este artículo, debe tener una comprensión preliminar del concepto de prueba de conocimiento cero:
La prueba de conocimiento cero pertenece al concepto de criptografía y es una prueba interactiva. Comencemos con un ejemplo clásico: A es daltónico rojo-verde, y B tiene dos bolas de billar, una roja y otra verde. A los ojos de A, las dos bolas tienen exactamente el mismo color, y B necesita demostrarle a A que una de las dos bolas de billar es roja y la otra es verde. En este momento, A pone las bolas de billar detrás de su espalda, puede cambiar las dos bolas o no, y B necesita juzgar si A ha cambiado las dos bolas, repitiéndolo muchas veces, si el resultado de la suposición de B cada vez es correcto. , entonces A piensa que una de las dos bolas de billar es roja y la otra es verde, que es la situación real. Este es un ejemplo de una prueba clásica de conocimiento cero. En la prueba de conocimiento cero, solo necesitamos dos identidades de "probador" y "verificador".
1 Introducción a Starknet
StarkNet es un Validity-Rollup descentralizado sin permiso (también conocido como "ZK-Rollup"). Como Capa 2 en Ethereum, permite que cualquier Dapp logre una expansión infinita en la informática sin sacrificar la componibilidad y la seguridad de Ethereum.
StarkWare, la empresa matriz de StarekNet, se estableció en 2018 y tiene su sede en Israel. Sus principales productos son Starknet y StarkEx. La valoración de su empresa ha alcanzado los 8.000 millones de dólares estadounidenses. Hasta el momento, StarkNet ha pasado por cinco rondas de financiación, recaudando un total de 273 millones de dólares estadounidenses.
Vale la pena mencionar que la Fundación Ethereum ha apoyado públicamente específicamente el starkware que utiliza starks, y ha otorgado una subvención de $ 12 millones para starkware. Y esta es una de las razones por las que la industria es generalmente optimista sobre el desarrollo futuro de StarkNet y su ortodoxia.
Modelo económico simbólico
StarkNet anunció el 16 de noviembre de 2022 que su token nativo $STRK se implementará en la red principal de Ethereum para votar, apostar y pagar tarifas.
Figura 1-1 Modelo económico del token $STARK
En el modelo económico de fichas, a excepción del 49,9 % de las fichas de inversores y contribuyentes principales, el 50,1 % restante de las fichas son propiedad de la Fundación StarkNet. De esto, el 8,1% de los tokens permanecen sin asignar. Esta parte será utilizada por la comunidad para determinar el uso correspondiente, por lo que esta parte de los tokens generalmente se especula como una posible cuota de airdrop. La Fundación Starknet también nombró al exejecutivo de Facebook Diego Oliva como su primer CEO. Oliva ha declarado anteriormente que se centrará en la gobernanza de la comunidad descentralizada de Starknet, haciendo hincapié en los derechos e intereses de los desarrolladores y usuarios.
mapa de ruta
V 0.12.0 rendimiento y latencia
El funcionario anunció recientemente la hoja de ruta general para 2023. La versión 0.12.0 se implementó oficialmente en la red principal el miércoles 12 de julio. La última versión de Starknet, 0.12.0, presenta importantes mejoras de rendimiento, incluidas mejoras en el rendimiento y la latencia. Al adoptar el secuenciador basado en Rust y la máquina virtual Rust-Cairo, el rendimiento de StarkNet mejorará significativamente, y el intercambio OKEX ha comenzado a respaldar el depósito de la red principal ETH starknet.
V 0.13.0 Costo de transacción
En la versión V 0.13.0, el costo de transacción de Starknet se reducirá considerablemente. Esto se logra a través de la voluntad, un componente importante para reducir los costos de transacción. Los costos de datos L1 (Ethereum) representan el 95% de los costos de transacción en la actualidad, y Volition permitirá a los desarrolladores crear aplicaciones Starknet utilizando un modelo híbrido de disponibilidad de datos (DA). Además, se espera que EIP-4844 (Transacciones fragmentadas de blobs) de Ethereum se lance en el cuarto trimestre de 2023. Debido a EIP-4844 de Ethereum y Volition de Starknet (disponibilidad de datos fuera de la cadena), los costos de datos de Starknet se reducirán significativamente.
Mercado de tarifas V 0.14.0
La congestión de la red es un dolor de cabeza para todos los desarrolladores y usuarios. Para resolver este problema, Starknet introducirá un mercado de tarifas en V 0.14.0 para asignar eficientemente los recursos limitados de Starknet de acuerdo con cuánto pagan los usuarios de gas por las transacciones.
V 0.15.0 intervalo de bloque fijo más corto
En la versión V0.15.0, algunos planes de mejora apuntan a mejorar el rendimiento y la experiencia del usuario de Starknet, desvinculando la relación entre bloques y pruebas, reduciendo el intervalo entre bloques y mejorando el rendimiento de la red. Esto hará de Starknet una plataforma blockchain más poderosa y eficiente.
2 Análisis técnico
ZK-Resumen VS OP-Resumen
Actualmente, la Capa 2 más utilizada en el mercado: la tecnología subyacente de Arbitrium es OP-Rollup, (Optimistic Rollup). Logra expansión a través de Pruebas de Fraude. En Op-Rollup, el sistema cree de manera optimista que los datos de la transacción son correctos, sin verificación en tiempo real, ingresando directamente en un período de espera. Durante el período de espera, si un nodo presenta una objeción y proporciona evidencia para probar que existe una transacción maliciosa, la transacción se cancelará; si no hay objeción, la transacción se completará automáticamente y se verificará en la cadena principal después de la espera. el período ha terminado.
Starknet es Layer 2 basado en la tecnología ZK-Rollup. ZK-Rollup se basa principalmente en tecnología de prueba de conocimiento cero Al separar los procesos de cálculo y verificación, la verificación de la ejecución del contrato se completa fuera de la cadena y luego los resultados de la verificación se envían a la red principal de Ethereum. El proceso de cálculo se realiza fuera de la cadena y el resultado de la verificación solo se envía a Ethereum como prueba. Por lo tanto, este método proporciona el más alto nivel de seguridad y protección de la privacidad del usuario.
En comparación con OP-rollup y ZK-rollup, ZK-rollup es una alternativa más segura que OP-rollup, mientras que OP-rollup es una mejor opción para proyectos DeFi con compatibilidad con EVM. Se puede ver que ZK-rollup con compatibilidad con EVM será la futura dirección de desarrollo narrativo de la capa 2 con sus ventajas de seguridad natural. La seguridad se logra gracias a la confianza de StarkNet en STARK, el sistema de prueba criptográfica más seguro y escalable.
Zk-STARK VS Zk-SNARK
STARK (argumentos de conocimiento transparentes escalables de conocimiento cero) y Zk-SNARK (argumento de conocimiento sucinto no interactivo de conocimiento cero) son tecnologías de prueba de conocimiento cero, que se utilizan para crear pruebas que se pueden verificar sin revelar toda la información. Pero hay algunas diferencias clave en su implementación y características.
Elegir usar SNARK o STARK depende de los escenarios y requisitos específicos de la aplicación. Los SNARK tienen ventajas en cuanto al tamaño de la prueba y la velocidad de verificación, pero requieren una configuración de confianza. Los STARK no requieren configuraciones de confianza y son resistentes a los ataques informáticos cuánticos, pero la prueba es más grande y la velocidad de verificación es más lenta.
Aquí se presenta un concepto: Configuración de confianza, que es un proceso utilizado en algunos tipos de sistemas a prueba de conocimiento cero (como zk-SNARK), que crea algunos parámetros iniciales antes de que el sistema comience a funcionar. Estos parámetros se utilizan tanto durante la generación de pruebas como durante la verificación.
La clave para la configuración de confianza es asegurarse de que los generadores destruyan completamente los secretos que usan después de crear los parámetros iniciales. Si el generador mantuviera este secreto, tendría la capacidad de crear pruebas falsas que parecen ser válidas, lo que comprometería la seguridad del sistema. Por lo tanto, el proceso de establecimiento del fideicomiso debe estar sujeto a un riguroso escrutinio y monitoreo para garantizar que todos los generadores hayan destruido correctamente la información secreta. Es por eso que se llama "configuración de confianza" porque el usuario debe confiar en que el proceso es justo y que el generador no está haciendo trampa.
Sin embargo, zk-STARKs es un sistema a prueba de conocimiento cero que no requiere configuraciones de confianza. Esto significa que, a diferencia de los sistemas que requieren una configuración de confianza (como zk-SNARK), el proceso de verificación y generación de pruebas de zk-STARK no se basa en ninguna información secreta. Esto proporciona una mayor transparencia y seguridad, ya que la seguridad del sistema no depende de las acciones de ningún individuo u organización en particular. Los zk-STARK se realizan mediante el uso de una tecnología llamada "FRI" (Fast Reed-Solomon Interactive Oracle Proofs).
Acuerdo FRI
La idea básica del protocolo FRI es reducir gradualmente el grado de polinomios a través de una serie de pasos de muestreo e interpolación. En cada paso, el probador proporciona un nuevo polinomio que, según afirma, es una versión comprimida del polinomio original. El verificador puede comprobar que la afirmación es correcta comprobando los valores de estos polinomios en puntos aleatorios.
Este proceso continúa hasta que el grado del polinomio es lo suficientemente bajo como para que el verificador pueda verificar directamente todos sus coeficientes. Dado que el grado del polinomio se reduce a la mitad en cada paso, este proceso se puede realizar en tiempo logarítmico, lo que hace que el protocolo FRI sea muy eficiente.
Una propiedad clave del protocolo FRI es que solo se basa en parámetros públicos predefinidos y no requiere ninguna información secreta. Esto lo hace útil para construir sistemas a prueba de conocimiento cero, como zk-STARK, que no requieren una configuración de confianza. Sin embargo, el protocolo FRI (Fast Reed-Solomon Interactive Oracle Proofs) no es equivalente a una configuración de confianza. En cambio, el protocolo FRI es una tecnología para generar y verificar pruebas de zk-STARK. Permite que el probador demuestre al verificador que los coeficientes de un polinomio son de bajo grado sin revelar el contenido específico del polinomio. La propiedad clave del protocolo FRI es que solo se basa en parámetros públicos predefinidos y no requiere ninguna información secreta. Esto lo hace útil para construir sistemas a prueba de conocimiento cero, como zk-STARK, que no requieren una configuración de confianza. El protocolo FRI es un componente clave de zk-STARK, que permite que zk-STARK funcione sin necesidad de una configuración de confianza. Pero el protocolo FRI en sí mismo no es un proceso de establecimiento de confianza, ya que no implica la generación o destrucción de ninguna información secreta.
Cómo funciona Starknet
Los productos de StarkWare incluyen StarkEx, un servicio empresarial ZKR personalizado para partes del proyecto, y el más general StarkNet. StarkNet consta de cinco partes, a saber: probador (certificador), secuenciador (clasificador) y nodo completo (nodo completo) en Starknet; y verificador (verificador) y núcleo de Starknet (estado central) implementado en el contrato Ethereum).
Su principio de funcionamiento es iniciar una transacción en StarkNet, que es aceptada, clasificada, verificada por el clasificador del servidor fuera de la cadena y empaquetada en bloques, ejecuta la transacción y luego reenvía el estado al contrato de estado central de starknet. Inmediatamente, el probador genera una prueba de la transacción y la envía al verificador de Ethereum para su verificación. El verificador envía el resultado de la verificación al contrato de estado central de Starknet de Ethereum y activa un nuevo conjunto de transacciones de Ethereum del contrato principal de Starknet para actualizar el estado global en la cadena para el mantenimiento de registros. El nodo completo (Full node) desempeña una función de almacenamiento, incluidos los cambios de estado, los metadatos, las pruebas y registra todas las transacciones ejecutadas en Starknet, y realiza un seguimiento del estado global actual del sistema.
Figura 2-1 Diagrama esquemático del principio de funcionamiento de Starknet
3 Ecosistema StarkNet
Figura 3-1 Mapa ecológico de Starknet (de Twitter @odin_free)
Hay muchos proyectos ecológicos en Starknet, que actualmente incluyen más de 100 dapps y servicios. Entre ellos, hay dos tipos de billeteras, Braavos y Argent, pero los mnemotécnicos entre los dos no son interoperables. Se han implementado más de 60 protocolos Defi, incluidos DEX como 10kswap, Jediswap, Myswap y protocolos de préstamo como Zklend; a partir de ahora, según los datos de Defilama, el TVL total de StarkNet es de solo $ 17,36 millones. Aunque el TVL general es en aumento, el En comparación con los $ 189,21 millones de zkSync Era del mismo tipo, todavía hay una brecha de casi diez veces Se puede ver que el ecosistema StarkNet aún se encuentra en su etapa inicial.
Figura 3-2 StarkNet TVL de defilama
El puente de cadenas cruzadas incluye el Stargate oficial del puente de cadenas cruzadas, Orbiter, Layerswap, etc.; Did tiene StarknetID y la plataforma de misiones StarQuest. En la actualidad, las actividades de NFT Odyssey de los diversos protocolos de Starknet están en pleno apogeo. Ya sea que la ecología futura de StarkNet continúe prosperando o sea de corta duración, solo podemos esperar y ver...