¿Una nueva tecnología para asegurar el metaverso? ¿Qué es la "Biblioteca de Verificación Formal" de Sonic Labs?
Hola, soy John, ¡un Navegante del Metaverso! Cuando escuchas la palabra "Metaverso", ¿qué futuro imaginas? Convertirte en un avatar y explorar un espacio virtual, interactuando con personas de todo el mundo... suena emocionante, ¿verdad?
Pero como es un mundo nuevo donde se reúne tanta gente,安全" es una palabra clave muy importante. Si objetos importantes que tienes en el metaverso desaparecieran, o si tu dinero se usara fraudulentamente... da miedo solo imaginarlo, ¿verdad?
Hoy les traemos noticias técnicas pero importantes que podrían hacer que el futuro del metaverso sea más seguro y confiable. Una compañía llamada "Sonic Labs" ha desarrollado una nueva "herramienta". ¿Suena complicado? No se preocupen, como siempre, lo explicaremos de forma sencilla, incluso para principiantes. ¡Sigan leyendo!
Primero, ¡lo básico! ¿Te acuerdas de "blockchain"?
Últimamente, escuchamos con frecuencia sobre el metaverso y nuevos temas digitales.Cadena de bloques"Quizás hayas escuchado esta frase antes.
Para decirlo de forma muy sencilla,Un libro de contabilidad digital como una cadena que puede ser compartida y monitoreada por todosEs así. Los registros de transacciones y la propiedad de los datos se almacenan en bloques, que luego se enlazan cronológicamente como una cadena.
Lo bueno de esta cadena de bloques es que
- Es extremadamente difícil manipular la información una vez que ha sido registrada.
- Los participantes pueden gestionar la información juntos sin un administrador central
Por eso se utiliza en situaciones donde se requiere “confianza”, como las monedas virtuales (también llamadas criptoactivos) y las transacciones de artículos digitales en el metaverso.
¿Un pariente cercano de la cadena de bloques? ¿Qué es la nueva tecnología «DAG»?
Bueno, la palabra clave en esta noticia es “blockchain”, que puede considerarse una versión complementaria o evolucionada de esta blockchain.TROZO DE CUERO"Esta es la tecnología.
DAG es una abreviatura de "Directed Acyclic Graph", que en japonés se llama "Directed Acyclic Graph"... ¡Hmm, sigue siendo difícil!
En pocas palabras, mientras que blockchain conecta información como una sola cadena, DAGLa información se vuelve más compleja y directamente conectada como una telaraña.Así funciona. Es como si cada transacción estuviera directamente vinculada, sin necesidad de agrupar los datos de las transacciones en bloques uno por uno.
Los beneficios esperados de este DAG son:
- Más que blockchainMás rápidoPosibilidad de procesar información
- よ りMuchas transacciones a la vezPosibilidad de manipulación
En un lugar como el Metaverso, donde muchas personas participan simultáneamente en diversas actividades, se cree que la "velocidad" y el "alto poder de procesamiento" serán extremadamente importantes.
"Protocolo de Consenso": Reglas para que todos estén de acuerdo
En un sistema donde la información es gestionada por todos (llamado sistema descentralizado), como blockchain o el DAG mencionado anteriormente, todos los participantes deben confirmar y acordar qué información es correcta y qué información debe registrarse.
este"Reglas y procedimientos para que todos participen"Protocolo de consensoPor ejemplo, si ocurre una transacción en la que la persona A envía un artículo digital a la persona B, todos los participantes de la transacción seguirán las mismas reglas para verificar si el artículo se envió correctamente y si se envió dos veces.
Si este protocolo de consenso no es sólido, existe la posibilidad de que se produzcan transacciones fraudulentas o que los registros se fragmenten. Por lo tanto, estas "reglas de acuerdo" son fundamentales para mantener la fiabilidad del sistema.
¡Probando la seguridad con matemáticas! ¿Qué es la "verificación formal"?
Ahora, el personaje principal de esta noticia,Verificación formal" ¡está aquí!
Esto se debe a que los programas y sistemas informáticos son¿Funcionará exactamente como está diseñado?」「¿Existen fallas o trampas peligrosas?",Cómo demostrar algo usando las matemáticasん で す。
En las pruebas de software normales, a menudo se prueban algunos patrones y se confirma que "probablemente todo esté bien". Pero la verificación formal consiste más bien en analizar matemáticamente cada situación imaginable y dar el visto bueno: "¡Este sistema definitivamente se comportará así en estas condiciones! Por lo tanto, ¡es seguro!".
Se trata de una tecnología extremadamente avanzada que se utiliza a menudo en campos que requieren niveles de seguridad extremadamente altos y donde no se puede tolerar ni el más mínimo error, como en los sistemas de piloto automático de aviones, los sistemas bancarios en línea y los sistemas de control de plantas de energía nuclear.
Sonic Labs creó una "biblioteca de verificación formal"
Esta vez, una empresa llamada Sonic Labs anunció que ha desarrollado un programa de "verificación formal" para el "protocolo de consenso" de la tecnología "DAG" que mencioné anteriormente.BibliotecaLo es.
Cuando escuchas la palabra "biblioteca", es posible que pienses en una biblioteca, pero en el mundo de las TI,Un "conjunto de herramientas" que reúne funciones y herramientas útiles que los desarrolladores suelen utilizarSe refiere a algo así.
En otras palabras, Sonic Labs ha desarrollado una caja de herramientas que facilita la verificación matemática de si los "protocolos de consenso" de los sistemas basados en DAG son verdaderamente seguros y confiables, y la ha puesto a disposición de cualquiera para su uso.
Además, esta biblioteca esFuente abiertaEl código abierto significa que el plano de un programa (llamado código fuente) está disponible públicamente y cualquiera puede verlo, usarlo e incluso mejorarlo libremente. Esto es excelente, ya que ayuda a los desarrolladores de todo el mundo a colaborar para crear un sistema más seguro.
¿Por qué es esto importante para el Metaverso?
Algunos de ustedes quizás se estén rascando la cabeza y pensando: "Hmm, eso fue un poco complicado, pero ¿qué tiene esto que ver con el metaverso?"
El metaverso es un nuevo espacio digital donde muchas personas se reúnen para participar en actividades económicas y comunicarse. Habrá un intercambio activo de terrenos y edificios digitales, ropa y objetos de avatar, e incluso dinero que solo podrá usarse dentro del metaverso (que también podría ser un tipo de moneda virtual).
Piénsalo. ¿Qué pasaría si los objetos raros que tanto te costó conseguir en el metaverso desaparecieran repentinamente un día debido a una falla del sistema o un agujero de seguridad? ¿O si tu dinero fuera transferido fraudulentamente a alguien? Si algo así sucediera, ya no podrías disfrutar del metaverso con tranquilidad.
El anuncio de Sonic Labs es un paso crucial para prevenir estos problemas, ya que es un intento de "probar" la seguridad de DAG, que se espera que sea la tecnología fundamental del metaverso, utilizando la poderosa herramienta de las matemáticas para hacerlo más seguro y confiable.
A medida que esta tecnología se vuelve más común,
- Fiabilidad mejorada:Si los usuarios saben que la seguridad del sistema metaverso ha sido verificada matemáticamente, podrán utilizar el servicio con mayor tranquilidad.
- Proteja sus activos digitales:Cuanto mayor sea el valor de los objetos y monedas digitales intercambiados dentro del metaverso, más importante será la tecnología para mantenerlos seguros.
- Desarrollando un ecosistema saludable:Solo con una base segura y confiable los creadores y las empresas pueden crear nuevos servicios y experiencias atractivas con tranquilidad.
En otras palabras, las "bibliotecas de verificación formal" como las desarrolladas por Sonic Labs pueden parecer poco impresionantes a primera vista, pero tienen el potencial de desempeñar un papel importante, detrás de escena, en la realización de un metaverso que todos podamos disfrutar verdaderamente en el futuro.
Del autor
Cuando pensamos en el metaverso, solemos centrarnos en su apariencia, como avatares llamativos y hermosos espacios virtuales. Sin embargo, entre bastidores, los avances tecnológicos avanzan constantemente para mejorar la seguridad y la fiabilidad del sistema, como la "verificación formal" que presentamos en este artículo. Al pensar en cómo cada una de estas mejoras hará que nuestras vidas digitales sean más ricas y seguras, ¿no te emociona? ¡Me gustaría estar al tanto de cómo evoluciona la tecnología en el futuro!
Este artículo se basa en los siguientes artículos originales y se resume desde la perspectiva del autor:
Sonic Labs presenta una biblioteca de verificación formal para DAG
Protocolos de consenso