Estaba leyendo el artículo reciente de @SonicLabs Verificación Formal y el consenso del DAG Para ser sinceros, este es el tipo de cosas que me hacen friki, así que tuve que simplificarlo y compartirlo para facilitar la comprensión a mis compañeros nerds de Sooonic que aman las madrigueras de conejo técnicas, las cosas del cerebro giga En primer lugar, si dices "Wat DAG do bro, ¿qué significa?" 🔷DAG (Grafo Acíclico Dirigido): 🔹Cada transacción es como un nodo en una red gigante 🔹En lugar de esperar bloques, las txs hacen referencia directamente a varios anteriores, de esa manera la web profundiza 🔹Crea una estructura ramificada, similar a la web, en comparación con la cadena de bloques tradicional de estilo lineal de un solo bloque 🔹Los diferentes protocolos DAG actualmente en uso (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) sobresalen cada uno en diferentes áreas, no hay un ganador perfecto (vea mi gráfico de Radar a continuación ⤵️) 🔷Ahora, cómo el enfoque de Sonic es diferente: Sonic construyó su propio protocolo único desde cero y desarrolló una biblioteca de verificación que demuestra la exactitud en múltiples protocolos DAG, incluido el de Sonic (términos cortos, cosas de giga cerebro👀): 🔹Los validadores crean bloques de eventos que hacen referencia a varios eventos anteriores 🔹 Utiliza elecciones superpuestas entre capas para elegir eventos "líderes" para la velocidad 🔹 Una vez elegidos como líderes, los eventos se linealizan en la cadena principal 🔹 Construido específicamente para BFT asíncrono (tolerancia a fallas bizantinas) y PoS (sin mezclar DAG-rider, Hashgraph, etc.) 🔷Por qué esto es realmente importante: La mayoría de las criptomonedas de hoy en día = "lo probamos exhaustivamente, no encontramos errores... ¿Probablemente a salvo? 🤷 ♂️ Sonic ahora usó la prueba matemática de que el comportamiento inseguro es literalmente imposible. No es "improbable" IMPOSIBLE. No es solo probabilidad, sino certeza matemática Los números son salvajes: 14 meses-persona de investigación de verificación formal, ahora de código abierto para toda la comunidad blockchain. Esto hace que toda la industria pase de "confía en nosotros, probamos" a "aquí está la prueba matemática de que funciona" utilizando la verificación formal TLA+. Su criptomoneda siempre fue tan segura como las matemáticas detrás de ella, y ahora tenemos LA MATEMÁTICA DE LAS MATEMÁTICAS MATEMÁTICAS para ella. ¡@SonicAssistant¡🤝 🔷Gráficos a continuación: 1⃣Mecanismos generales del DAG 2⃣5 capacidades diferentes de arquitectura DAG 3⃣Acerca de Sonic 4⃣Perspectivas clave