- Tema
70k Popularidad
45k Popularidad
15k Popularidad
4k Popularidad
5k Popularidad
29k Popularidad
16k Popularidad
23k Popularidad
13k Popularidad
3k Popularidad
- Anclado
70k Popularidad
45k Popularidad
15k Popularidad
4k Popularidad
5k Popularidad
29k Popularidad
16k Popularidad
23k Popularidad
13k Popularidad
3k Popularidad
StarkWare lanza el probador compartido SHARP: ¿Cómo reducir aún más las tarifas de gas?
Escrito por: StarkWare
Traducción y revisión: comunidad china de Starknet
Datos breves destacados
Recorrido extendido
Escalar Ethereum es un viaje de innovación, buscando constantemente soluciones para mejorar aún más la escalabilidad. En junio de 2020, StarkWare lanzó StarkEx, la primera solución de expansión L2 basada en STARK. En septiembre de 2020, se anunció el lenguaje Cairo, el primer lenguaje de programación diseñado para maximizar la eficiencia de las pruebas STARK. Cairo, junto con la computación general, allana el camino para pruebas codificadas rápidas y seguras de cualquier lógica comercial y declaraciones de cómputo arbitrario. Con esta innovación, una nueva ola de desarrolladores se unió al ecosistema StarkWare.
Si bien los desarrolladores desean la escalabilidad, la seguridad y la eficiencia de StarkEx, la mayoría de sus proyectos no tienen suficiente actividad de transacciones para completar una prueba de STARK. Asimismo, los usuarios aún se ven afectados por la imprevisibilidad del aumento de las tarifas del gas debido a la congestión en la red Ethereum.
Así nació SHARP.
¿Qué es SHARP?
SHARP (SHARed Prover) es un poderoso sistema diseñado para generar pruebas STARK para programas agregados de Cairo. Cairo es un lenguaje de programación computacional de propósito general que puede acomodar varias lógicas de código en una sola prueba. SHARP procesa un lote de transacciones fuera de la cadena y prueba sus pruebas computacionales en la cadena, amortizando el costo de todas las transacciones en una sola prueba. La prueba STARK unificada generada es verificada por el contrato de validación de Solidity en la cadena, lo que permite a SHARP aumentar el rendimiento, reducir los costos de gas y minimizar la latencia.
Por ejemplo, SHARP puede manejar el código Cairo desde programas y lógicas completamente diferentes, incluida la acuñación de NFT e incluso el sistema operativo de la red Starknet. SHARP puede certificar siempre que esté escrito en El Cairo y puede agregar varios programas bajo una sola prueba. Las eficiencias aportadas por SHARP le permiten empaquetar miles de transacciones en una sola prueba en la red principal. El costo de procesar pruebas en cadena se amortiza en todas las transacciones en un lote, por lo que cuantas más transacciones se empaquetan, menor es el costo del gas por transacción.
Para ilustrar esto con un ejemplo:
Digamos que usted y su hermana están comprando regalos para sus padres: un teléfono nuevo, una taza y una camiseta. Cada obsequio se compra en un minorista en línea diferente y se entregará en sus respectivos hogares en una fecha diferente, en un paquete de tamaño y forma diferente. Tu plan es envolver cada regalo y enviarlo por correo a tus padres.
Sin embargo, la oficina de correos tuvo problemas. Atrás quedaron las cajas pequeñas y medianas, quedando solo la caja grande que puede contener cualquier tamaño. Esto deja dos opciones:
Opción 1: Cada regalo llega envuelto individualmente y enviado por correo en una caja grande. Si bien esto puede acelerar el envío de un solo regalo, requiere empacar tres cajas separadas y hacer tres viajes a la oficina de correos para enviar tres paquetes separados. Por lo tanto, este método no ahorra tiempo ni es rentable.
Opción 2: Envíe todos los regalos en una caja grande. Esto significa que solo tiene que lidiar con una caja en lugar de tres.
En este ejemplo, SHARP es la opción 2, lo que permite una utilización eficiente de los recursos y una gestión del tiempo más fluida.
AFILADO
Aunque SHARP nació para el ecosistema StarkWare, puede certificar cualquier programa Cairo con ejecución válida. La eficiencia en el ahorro de tiempo y costos hace de SHARP la solución para cualquiera que necesite un método de prueba innovador.
SHARP recursivo
Desde sus inicios, SHARP ha pasado por varias mejoras de eficiencia. El más poderoso de estos es la transición de modelos lineales a recursivos.
En las pruebas recursivas, SHARP prueba cada reclamo a medida que llega, en lugar de recopilar un lote de reclamos para completar una prueba y luego probar el procesamiento del lote de reclamos. Esta es una forma eficiente en el tiempo de verificar las afirmaciones de un cálculo, mucho más rápido que el propio cálculo.
Esto se logra procesando los reclamos entrantes en paralelo, evitando las barreras de escalabilidad anteriores que requerían que se recibieran todos los reclamos individuales antes de probar un reclamo combinado. Ahora, SHARP no solo puede probar la corrección de miles de transacciones, sino que también se pueden verificar múltiples pruebas STARK con los validadores STARK correspondientes. Esto puede generar una sola prueba de la validez de múltiples pruebas aguas arriba.
Después de la implementación recursiva, SHARP prueba inmediatamente las afirmaciones entrantes. Las pruebas en sí mismas se pueden iterar y combinar en pruebas recursivas. Este proceso de prueba recursivo se lleva a cabo hasta el final, y la prueba final se envía a un contrato de validación de Solidity en cadena. Es como un esquema anidado: un programa de Cairo verifica las pruebas anteriores, lo que a su vez produce nuevas pruebas, y los validadores de STARK confirman su validez.
En la analogía anterior, la oficina de correos originalmente ofrecía solo un tamaño de caja estándar, pero SHARP recursivo introdujo un gran avance al ofrecer cajas pequeñas de diferentes tamaños, cada una asignada específicamente a un solo artículo. Si bien las cajas no se adaptan con precisión al tamaño de cada artículo específico, este enfoque innovador permite que los obsequios lleguen empacados en cajas pequeñas, lo que elimina cargos innecesarios por espacio no utilizado y reduce las demoras. Las cajas pequeñas pueden envolverse y estar listas para enviar tan pronto como todos los regalos estén listos, en lugar de esperar a que lleguen los tres regalos antes de empacarlos en una caja grande.
Siguiente paso: diseño dinámico
El equipo de StarkWare actualmente está desarrollando diseños dinámicos como una personalización del servicio SHARP. Con un diseño dinámico, el probador calcula los recursos necesarios para cada lógica específica y genera una prueba personalizada en consecuencia.
Usando nuevamente la analogía de la oficina de correos, los diseños dinámicos pueden verse como la idea de cajas personalizadas. Estas cajas personalizadas están hechas para adaptarse perfectamente a la forma de cada regalo, lo que garantiza que solo pague por el tamaño exacto que necesita y evite cargos innecesarios. Asimismo, con el diseño dinámico, se creará una prueba personalizada para cada lógica y los recursos informáticos específicos que requiere, asegurándose de que solo pague por la informática que utiliza. SHARP puede hacer pruebas precisas siempre que estén escritas en El Cairo.
El equipo de StarkWare espera introducir esta mejora en la adaptabilidad y la eficiencia en el próximo lanzamiento de SHARP. El objetivo del diseño dinámico es reducir significativamente los costos de gas.
Al aprovechar la generación de prueba recursiva basada en STARK, esta tecnología mejorará en gran medida la escalabilidad y la eficiencia de la red Ethereum.