Se anuncian los resultados de la última ronda del Premio de Investigación Académica Sui: Universidades de renombre mundial participan, 17 proyectos reciben 420,000 dólares en financiación.
Recientemente, la Fundación Sui anunció la lista de ganadores de la nueva ronda de premios de investigación académica Sui. Este programa tiene como objetivo financiar investigaciones que impulsen el desarrollo de Web3, especialmente para promover el avance de redes de blockchain, programación de contratos inteligentes y tecnologías relacionadas con productos construidos sobre Sui.
En las últimas dos fases, un total de 17 propuestas de universidades de renombre internacional han sido aprobadas, con un monto total de financiación 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.
Resumen de algunas propuestas premiadas
Estudio sobre la diversidad del grupo de votación de las Organizaciones Autónomas Descentralizadas ( DAOs )
El profesor Ari Juels de la Universidad de Cornell explorará la naturaleza de las organizaciones descentralizadas y establecerá indicadores para medir el grado de descentralización. Este estudio tiene como objetivo identificar prácticas que puedan mejorar la descentralización dentro de las organizaciones.
Protocolo de consenso DAG asíncrono seguro y adaptable
El Dr. Philipp Jovanovic de University College London propuso desarrollar un protocolo DAG asíncrono para mejorar la resistencia a ataques y adaptarse a oponentes en constante cambio. Este protocolo tiene como objetivo proporcionar una mejor seguridad y adaptabilidad, al tiempo que mantiene un nivel de rendimiento cercano al de oponentes parcialmente sincronizados.
Auditoría de contratos inteligentes Sui asistida por modelos de lenguaje grande
El equipo de Arthur Gervais de University College London planea utilizar grandes modelos de lenguaje como GPT-4-32k y Claude-v2-100k para mejorar la auditoría de contratos inteligentes Move. El proyecto se basará en la experiencia previa de análisis de 52 contratos inteligentes DeFi en Solidity, ampliándose a la evaluación de seguridad de contratos inteligentes en Sui.
Un análisis exhaustivo del campo de los protocolos de consenso
El profesor Christopher Cachin de la Universidad de Berna llevará a cabo una investigación exhaustiva sobre el campo del consenso actual, proporcionando nuevas perspectivas para los protocolos de consenso criptográfico. Los resultados de la investigación ayudarán a comprender mejor los algoritmos existentes y ofrecerán nuevas ideas para el diseño de protocolos distribuidos.
Marco de verificación de alta confiabilidad para el protocolo de oráculo descentralizado
Giselle Reis de la Universidad Carnegie Mellon y Bruno Woltzenlogel Paleo de Djed Alliance crearán un marco para analizar y verificar de manera rigurosa los oráculos de blockchain a través de métodos formalizados. Este proyecto utilizará el sistema de gestión de pruebas Coq, desarrollando una biblioteca completa de definiciones y estrategias de prueba.
Identificación de los cuellos de botella en la escalabilidad de blockchain
El profesor Roger Wattenhofer del Instituto Federal Suizo de Tecnología de Zúrich se dedicará a identificar los cuellos de botella derivados de los defectos en el diseño de contratos inteligentes, con el fin de mejorar el potencial de paralelización de las aplicaciones de blockchain. La investigación también explorará el impacto de ajustar las tarifas de transacción en el potencial de paralelización.
Verificación mecanizada del protocolo Bullshark
El profesor Ilya Sergey de la Universidad Nacional de Singapur planea utilizar herramientas modernas de verificación asistida por computadora para realizar una verificación formal de las propiedades de Bullshark, avanzando en la comprensión de los protocolos de consenso basados en grafos dirigidos acíclicos.
Marco de estándares de referencia de blockchain(BBSF)
El profesor Henry F. Korth de la Universidad de Lehigh propuso la creación de un formato de estandarización de referencia para blockchain, con el fin de comparar de manera justa el rendimiento de las soluciones L1 y L2 de escalado. Este proyecto tiene como objetivo proporcionar a los usuarios y desarrolladores una visión transparente del rendimiento de la cadena.
Construir una capa de secuencias compartidas escalable y descentralizada
El profesor Min Suk Kang del Instituto de Ciencia y Tecnología de Corea explorará la posibilidad de utilizar Bullshark/Mysticeti como un algoritmo de ordenación compartido, investigando cómo ejecutar múltiples Rollups utilizando Sui como capa de ordenación.
Optimización de precios de congestión en el mercado de tarifas locales
El profesor Abdoulaye Ndiaye de la Universidad de Nueva York investigará el mercado de tarifas locales para optimizar la fijación de precios por congestión, estableciendo un mecanismo de precios efectivo que refleje el estado de congestión, con el fin de lograr una asignación óptima de recursos.
Estos proyectos de investigación abarcan múltiples áreas clave de la tecnología blockchain, desde mecanismos de consenso hasta la seguridad de los contratos inteligentes, desde oráculos hasta finanzas descentralizadas. Se espera que sus resultados traigan importantes avances e innovaciones al ecosistema de Sui y a toda la industria blockchain.
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.
18 me gusta
Recompensa
18
3
Compartir
Comentar
0/400
NftDataDetective
· 07-12 07:53
los fondos de investigación parecen decentes pero veamos los resultados, para ser honesto...
Ver originalesResponder0
rugged_again
· 07-11 14:00
Otra institución quiere tomar a la gente por tonta.
Se anuncian los nuevos resultados de la Beca de Investigación Académica Sui: 17 proyectos reciben 420,000 dólares en financiación.
Se anuncian los resultados de la última ronda del Premio de Investigación Académica Sui: Universidades de renombre mundial participan, 17 proyectos reciben 420,000 dólares en financiación.
Recientemente, la Fundación Sui anunció la lista de ganadores de la nueva ronda de premios de investigación académica Sui. Este programa tiene como objetivo financiar investigaciones que impulsen el desarrollo de Web3, especialmente para promover el avance de redes de blockchain, programación de contratos inteligentes y tecnologías relacionadas con productos construidos sobre Sui.
En las últimas dos fases, un total de 17 propuestas de universidades de renombre internacional han sido aprobadas, con un monto total de financiación 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.
Resumen de algunas propuestas premiadas
Estudio sobre la diversidad del grupo de votación de las Organizaciones Autónomas Descentralizadas ( DAOs )
El profesor Ari Juels de la Universidad de Cornell explorará la naturaleza de las organizaciones descentralizadas y establecerá indicadores para medir el grado de descentralización. Este estudio tiene como objetivo identificar prácticas que puedan mejorar la descentralización dentro de las organizaciones.
Protocolo de consenso DAG asíncrono seguro y adaptable
El Dr. Philipp Jovanovic de University College London propuso desarrollar un protocolo DAG asíncrono para mejorar la resistencia a ataques y adaptarse a oponentes en constante cambio. Este protocolo tiene como objetivo proporcionar una mejor seguridad y adaptabilidad, al tiempo que mantiene un nivel de rendimiento cercano al de oponentes parcialmente sincronizados.
Auditoría de contratos inteligentes Sui asistida por modelos de lenguaje grande
El equipo de Arthur Gervais de University College London planea utilizar grandes modelos de lenguaje como GPT-4-32k y Claude-v2-100k para mejorar la auditoría de contratos inteligentes Move. El proyecto se basará en la experiencia previa de análisis de 52 contratos inteligentes DeFi en Solidity, ampliándose a la evaluación de seguridad de contratos inteligentes en Sui.
Un análisis exhaustivo del campo de los protocolos de consenso
El profesor Christopher Cachin de la Universidad de Berna llevará a cabo una investigación exhaustiva sobre el campo del consenso actual, proporcionando nuevas perspectivas para los protocolos de consenso criptográfico. Los resultados de la investigación ayudarán a comprender mejor los algoritmos existentes y ofrecerán nuevas ideas para el diseño de protocolos distribuidos.
Marco de verificación de alta confiabilidad para el protocolo de oráculo descentralizado
Giselle Reis de la Universidad Carnegie Mellon y Bruno Woltzenlogel Paleo de Djed Alliance crearán un marco para analizar y verificar de manera rigurosa los oráculos de blockchain a través de métodos formalizados. Este proyecto utilizará el sistema de gestión de pruebas Coq, desarrollando una biblioteca completa de definiciones y estrategias de prueba.
Identificación de los cuellos de botella en la escalabilidad de blockchain
El profesor Roger Wattenhofer del Instituto Federal Suizo de Tecnología de Zúrich se dedicará a identificar los cuellos de botella derivados de los defectos en el diseño de contratos inteligentes, con el fin de mejorar el potencial de paralelización de las aplicaciones de blockchain. La investigación también explorará el impacto de ajustar las tarifas de transacción en el potencial de paralelización.
Verificación mecanizada del protocolo Bullshark
El profesor Ilya Sergey de la Universidad Nacional de Singapur planea utilizar herramientas modernas de verificación asistida por computadora para realizar una verificación formal de las propiedades de Bullshark, avanzando en la comprensión de los protocolos de consenso basados en grafos dirigidos acíclicos.
Marco de estándares de referencia de blockchain(BBSF)
El profesor Henry F. Korth de la Universidad de Lehigh propuso la creación de un formato de estandarización de referencia para blockchain, con el fin de comparar de manera justa el rendimiento de las soluciones L1 y L2 de escalado. Este proyecto tiene como objetivo proporcionar a los usuarios y desarrolladores una visión transparente del rendimiento de la cadena.
Construir una capa de secuencias compartidas escalable y descentralizada
El profesor Min Suk Kang del Instituto de Ciencia y Tecnología de Corea explorará la posibilidad de utilizar Bullshark/Mysticeti como un algoritmo de ordenación compartido, investigando cómo ejecutar múltiples Rollups utilizando Sui como capa de ordenación.
Optimización de precios de congestión en el mercado de tarifas locales
El profesor Abdoulaye Ndiaye de la Universidad de Nueva York investigará el mercado de tarifas locales para optimizar la fijación de precios por congestión, estableciendo un mecanismo de precios efectivo que refleje el estado de congestión, con el fin de lograr una asignación óptima de recursos.
Estos proyectos de investigación abarcan múltiples áreas clave de la tecnología blockchain, desde mecanismos de consenso hasta la seguridad de los contratos inteligentes, desde oráculos hasta finanzas descentralizadas. Se espera que sus resultados traigan importantes avances e innovaciones al ecosistema de Sui y a toda la industria blockchain.