La Fundación Sui publica una nueva ronda de financiamiento para la investigación en Cadena de bloques, 17 universidades reciben 420,000 dólares en apoyo.
Se anuncia un nuevo programa de financiamiento para la investigación en cadena de bloques de Sui: participan varias universidades de renombre, 17 proyectos reciben más de 420,000 dólares en financiamiento.
Recientemente, la Fundación Sui anunció la lista de ganadores de la última ronda del programa de financiación para la investigación en cadena de bloques. Este programa tiene como objetivo financiar proyectos de investigación que impulsen el desarrollo de Web3, especialmente aquellos relacionados con innovaciones tecnológicas en redes de bloques, programación de contratos inteligentes y productos construidos sobre Sui.
En esta ronda de financiamiento, un total de 17 proyectos de investigación de universidades de renombre mundial han sido seleccionados, con un monto total de financiamiento de 425,000 dólares. Las universidades participantes incluyen el Instituto de Ciencia y Tecnología de Corea, el University College London, la Escuela Politécnica Federal de Lausana y la Universidad Nacional de Singapur, entre otras.
A continuación se presenta una breve introducción a algunos de los proyectos ganadores:
Estudio de la diversidad de la organización autónoma descentralizada ( DAO )
El equipo de investigación de la Universidad de Cornell explorará la naturaleza de las organizaciones descentralizadas, establecerá indicadores para medir el grado de descentralización de las DAO y estudiará cómo mejorar la descentralización dentro de la organización.
Protocolo de consenso asíncrono DAG seguro y adaptable
Investigadores del University College London propusieron desarrollar un protocolo de gráfico acíclico dirigido asíncrono (DAG) para mejorar la resistencia a ataques y adaptarse a un entorno de adversarios en constante cambio. Este protocolo está diseñado para ofrecer mejor seguridad y adaptabilidad, manteniendo al mismo tiempo un nivel de rendimiento cercano al modelo de sincronización parcial.
Auditoría de contratos inteligentes basada en modelos de lenguaje grandes
Otro equipo de investigación del University College London planea utilizar modelos de lenguaje grande como GPT-4 para mejorar la auditoría de contratos inteligentes en el lenguaje Move. Su análisis previo de 52 contratos inteligentes DeFi en Solidity encontró vulnerabilidades que causaron pérdidas de casi mil millones de dólares. Este proyecto ampliará esta investigación a los contratos inteligentes de Sui.
Mapeo del área del protocolo de consenso
El proyecto de la Universidad de Berna investigará el campo actual de los protocolos de consenso, proporcionando nuevas ideas para los protocolos de consenso criptográficos, con el fin de ayudar a comprender mejor los algoritmos existentes y ofrecer nuevas ideas para el diseño de protocolos distribuidos.
Marco de verificación del protocolo de oráculos descentralizados
Investigadores de la Universidad Carnegie Mellon crearán un marco para analizar y verificar de manera rigurosa los oráculos de la Cadena de bloques a través de métodos formalizados. El proyecto utilizará el sistema de gestión de pruebas Coq para desarrollar una biblioteca completa de definiciones y estrategias de prueba.
Identificación de los cuellos de botella de escalabilidad en la Cadena de bloques
El equipo del Instituto Federal Suizo de Tecnología en Zúrich se dedicará a identificar los cuellos de botella de escalabilidad derivados de defectos en el diseño de contratos inteligentes y explorará cómo mejorar el potencial de paralelización ajustando las tarifas de transacción.
Verificación formal del protocolo de consenso Bullshark
La investigación de la Universidad Nacional de Singapur tiene como objetivo utilizar herramientas modernas de verificación asistida por computadora para realizar una verificación formal del protocolo Bullshark, promoviendo la comprensión de los protocolos de consenso basados en DAG.
Cadena de bloques de estandarización marco
El plan del proyecto de la Universidad de Lihaï es crear un formato estandarizado de referencia de cadena de bloques para comparar de manera justa el rendimiento de varias cadenas de bloques L1 y soluciones de escalado L2, proporcionando a los usuarios y desarrolladores una visión transparente del rendimiento de la cadena.
Estos proyectos de investigación abarcan múltiples áreas clave de la tecnología de la cadena de bloques, desde mecanismos de consenso hasta la seguridad de contratos inteligentes, desde organizaciones descentralizadas hasta protocolos de oráculos. Al apoyar esta investigación de vanguardia, la Fundación Sui tiene como objetivo impulsar el progreso tecnológico y la innovación en todo el ecosistema Web3.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
6 me gusta
Recompensa
6
3
Compartir
Comentar
0/400
ChainWanderingPoet
· hace20h
El dinero que se le da a la escuela realmente se quema.
Ver originalesResponder0
BearMarketNoodler
· hace20h
Este dinero, repartido entre 17 escuelas, es realmente interesante.
Ver originalesResponder0
0xOverleveraged
· hace20h
El dinero está en su lugar, el mundo académico también debe unirse a la diversión.
La Fundación Sui publica una nueva ronda de financiamiento para la investigación en Cadena de bloques, 17 universidades reciben 420,000 dólares en apoyo.
Se anuncia un nuevo programa de financiamiento para la investigación en cadena de bloques de Sui: participan varias universidades de renombre, 17 proyectos reciben más de 420,000 dólares en financiamiento.
Recientemente, la Fundación Sui anunció la lista de ganadores de la última ronda del programa de financiación para la investigación en cadena de bloques. Este programa tiene como objetivo financiar proyectos de investigación que impulsen el desarrollo de Web3, especialmente aquellos relacionados con innovaciones tecnológicas en redes de bloques, programación de contratos inteligentes y productos construidos sobre Sui.
En esta ronda de financiamiento, un total de 17 proyectos de investigación de universidades de renombre mundial han sido seleccionados, con un monto total de financiamiento de 425,000 dólares. Las universidades participantes incluyen el Instituto de Ciencia y Tecnología de Corea, el University College London, la Escuela Politécnica Federal de Lausana y la Universidad Nacional de Singapur, entre otras.
A continuación se presenta una breve introducción a algunos de los proyectos ganadores:
Estudio de la diversidad de la organización autónoma descentralizada ( DAO )
El equipo de investigación de la Universidad de Cornell explorará la naturaleza de las organizaciones descentralizadas, establecerá indicadores para medir el grado de descentralización de las DAO y estudiará cómo mejorar la descentralización dentro de la organización.
Protocolo de consenso asíncrono DAG seguro y adaptable
Investigadores del University College London propusieron desarrollar un protocolo de gráfico acíclico dirigido asíncrono (DAG) para mejorar la resistencia a ataques y adaptarse a un entorno de adversarios en constante cambio. Este protocolo está diseñado para ofrecer mejor seguridad y adaptabilidad, manteniendo al mismo tiempo un nivel de rendimiento cercano al modelo de sincronización parcial.
Auditoría de contratos inteligentes basada en modelos de lenguaje grandes
Otro equipo de investigación del University College London planea utilizar modelos de lenguaje grande como GPT-4 para mejorar la auditoría de contratos inteligentes en el lenguaje Move. Su análisis previo de 52 contratos inteligentes DeFi en Solidity encontró vulnerabilidades que causaron pérdidas de casi mil millones de dólares. Este proyecto ampliará esta investigación a los contratos inteligentes de Sui.
Mapeo del área del protocolo de consenso
El proyecto de la Universidad de Berna investigará el campo actual de los protocolos de consenso, proporcionando nuevas ideas para los protocolos de consenso criptográficos, con el fin de ayudar a comprender mejor los algoritmos existentes y ofrecer nuevas ideas para el diseño de protocolos distribuidos.
Marco de verificación del protocolo de oráculos descentralizados
Investigadores de la Universidad Carnegie Mellon crearán un marco para analizar y verificar de manera rigurosa los oráculos de la Cadena de bloques a través de métodos formalizados. El proyecto utilizará el sistema de gestión de pruebas Coq para desarrollar una biblioteca completa de definiciones y estrategias de prueba.
Identificación de los cuellos de botella de escalabilidad en la Cadena de bloques
El equipo del Instituto Federal Suizo de Tecnología en Zúrich se dedicará a identificar los cuellos de botella de escalabilidad derivados de defectos en el diseño de contratos inteligentes y explorará cómo mejorar el potencial de paralelización ajustando las tarifas de transacción.
Verificación formal del protocolo de consenso Bullshark
La investigación de la Universidad Nacional de Singapur tiene como objetivo utilizar herramientas modernas de verificación asistida por computadora para realizar una verificación formal del protocolo Bullshark, promoviendo la comprensión de los protocolos de consenso basados en DAG.
Cadena de bloques de estandarización marco
El plan del proyecto de la Universidad de Lihaï es crear un formato estandarizado de referencia de cadena de bloques para comparar de manera justa el rendimiento de varias cadenas de bloques L1 y soluciones de escalado L2, proporcionando a los usuarios y desarrolladores una visión transparente del rendimiento de la cadena.
Estos proyectos de investigación abarcan múltiples áreas clave de la tecnología de la cadena de bloques, desde mecanismos de consenso hasta la seguridad de contratos inteligentes, desde organizaciones descentralizadas hasta protocolos de oráculos. Al apoyar esta investigación de vanguardia, la Fundación Sui tiene como objetivo impulsar el progreso tecnológico y la innovación en todo el ecosistema Web3.