Estaba leyendo el reciente artículo de @SonicLabs sobre Verificación Formal y consenso DAG La verdad es que este tipo de cosas me entusiasma mucho, así que tuve que simplificarlo y compartirlo para que mis compañeros nerds de Sooonic que aman los agujeros técnicos, cosas de cerebro gigante, lo entiendan más fácilmente. Primero, si estás como "¿Qué son los DAGs, amigo, qué significa?" 🔷DAG (Grafico Acíclico Dirigido): 🔹Cada transacción es como un nodo en una enorme red 🔹En lugar de esperar bloques, las transacciones hacen referencia directamente a varias anteriores, de esa manera la red se profundiza 🔹Crea una estructura ramificada, similar a una red, en comparación con el estilo de blockchain lineal de un solo bloque tradicional 🔹Diferentes protocolos DAG actualmente en uso (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) cada uno sobresale en diferentes áreas, no hay un ganador perfecto (vean mi gráfico 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 prueba la corrección a través de múltiples protocolos DAG, incluyendo Sonic (términos cortos, cosas de cerebro gigante👀): 🔹Los validadores crean bloques de eventos que hacen referencia a varios eventos anteriores 🔹Utiliza elecciones superpuestas a través de capas para elegir eventos "líderes" para mayor velocidad 🔹Una vez elegidos como líderes, los eventos se linealizan en la cadena principal 🔹Construido específicamente para BFT Asincrónico (Tolerancia a Fallos Bizantinos) y PoS (sin mezclar DAG-rider, Hashgraph, etc.) 🔷Por qué esto realmente importa: La mayoría de la seguridad cripto hoy en día = "lo probamos extensivamente, no encontramos errores... probablemente seguro?" 🤷‍♂️ Sonic ahora utiliza PRUEBA matemática de que el comportamiento inseguro es literalmente imposible. No "poco probable", IMPOSIBLE. No solo probabilidad, sino certeza matemática. Los números son sorprendentes: 14 meses-persona de investigación de verificación formal, ahora de código abierto para toda la comunidad blockchain. Esto cambia toda la industria de "confía en nosotros, lo probamos" a "aquí está la prueba matemática de que funciona" utilizando verificación formal TLA+. Tu cripto siempre fue tan seguro como las matemáticas detrás de ella, y ahora tenemos LAS MATEMÁTICAS DE LAS MATEMÁTICAS MATEMÁTICAS. Un saludo a @SonicAssistant por volver a publicar el artículo, de lo contrario, me lo habría perdido🤝 🔷gráficos a continuación: 1⃣Mecanismos generales de DAG 2⃣5 capacidades de arquitectura DAG diferentes 3⃣Acerca de Sonic 4⃣Perspectivas clave