La Fundación Sui anuncia una nueva ronda de financiamiento académico: 17 proyectos reciben 420,000 dólares, con la participación de universidades de renombre mundial.
Se anuncia una nueva ronda de financiamiento para la investigación académica de Sui: universidades de renombre mundial participan, 17 proyectos reciben más de 420,000 dólares en apoyo.
Recientemente, la Fundación Sui anunció la lista de ganadores de una nueva ronda de financiamiento para investigaciones académicas. Este programa está diseñado para financiar investigaciones que impulsen el desarrollo de Web3, especialmente las que avanzan en los límites tecnológicos relacionados con redes blockchain, programación de contratos inteligentes y productos construidos sobre Sui.
En las dos etapas pasadas, la fundación aprobó propuestas de 17 universidades internacionales de renombre, 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.
Introducción al Proyecto Financiado
DAOs: Diversidad en los grupos de votación
El profesor Ari Juels de la Universidad de Cornell estudiará el significado esencial de las organizaciones descentralizadas, establecerá indicadores para medir el grado de descentralización de las DAO y explorará métodos prácticos para mejorar la descentralización dentro de las organizaciones.
Consenso de protocolo DAG asíncrono seguro y adaptable
El equipo de Philipp Jovanovic de University College London se dedica al desarrollo de un protocolo DAG asíncrono para mejorar la resistencia a ataques y adaptarse a un entorno de amenazas cambiante. Este protocolo tiene como objetivo proporcionar mejor seguridad y adaptabilidad, manteniendo al mismo tiempo niveles de rendimiento cercanos a los de un oponente parcialmente sincronizado.
Auditoría de contratos inteligentes Sui bajo la guía de modelos de lenguaje grandes
El equipo de Arthur Gervais de University College London utilizará modelos de lenguaje de gran tamaño como GPT-4-32k y Claude-v2-100k para mejorar la auditoría de contratos inteligentes Move. Su investigación preliminar descubrió vulnerabilidades en 52 contratos inteligentes DeFi en Solidity que causaron pérdidas de casi mil millones de dólares. Este proyecto ampliará esta investigación a los contratos inteligentes de Sui.
protocolo de consenso de mapeo de dominios
El profesor Christopher Cachin de la Universidad de Berna llevará a cabo una investigación exhaustiva sobre el campo actual de los consensos, proporcionando nuevas perspectivas sobre los protocolos de consenso criptográfico, lo que ayudará a comprender mejor los algoritmos existentes y ofrecerá nuevas ideas para el diseño de protocolos distribuidos.
Marco de verificación de alta confianza para el protocolo de oráculos descentralizados
Giselle Reis de la Universidad Carnegie Mellon y Bruno Woltzenlogel Paleo de Djed Alliance crearán un marco para analizar y verificar rigurosamente los oráculos de blockchain mediante métodos formalizados. El proyecto utilizará el sistema de gestión de pruebas Coq para desarrollar una biblioteca integral de definiciones y estrategias de prueba.
Identificar cuellos de botella de escalabilidad
El equipo de Roger Wattenhofer del Instituto Federal Suizo de Tecnología en Zúrich identificará los cuellos de botella derivados de los defectos de diseño de contratos inteligentes para mejorar el potencial de paralelización de las aplicaciones de blockchain. También investigarán el impacto de ajustar las tarifas de transacción en la paralelización.
Protocolo Bullshark mecanizado
El profesor Ilya Sergey de la Universidad Nacional de Singapur utilizará herramientas modernas de verificación asistida por computadora para validar formalmente las propiedades de Bullshark, avanzando en la comprensión de los protocolos de consenso basados en DAG.
BBSF: Marco estándar de referencia de blockchain
El profesor Henry F. Korth de la Universidad de Lehigh creará un formato de estandarización de referencia de blockchain para comparar de manera justa las blockchains L1 y las soluciones de escalado L2, proporcionando a los usuarios y desarrolladores una visión transparente del rendimiento de la cadena.
Construir capas de secuencia compartida escalables y descentralizadas
El equipo de Min Suk Kang del Instituto de Ciencia y Tecnología de Corea explorará el uso de Bullshark/Mysticeti como algoritmo de ordenación compartida, investigando múltiples Rollups que utilizan Sui como capa de ordenación.
mercado local de tarifas para el mejor precio de congestión
El profesor Abdoulaye Ndiaye de la Universidad de Nueva York estudiará el mercado de tarifas locales para optimizar la fijación de precios por congestión, estableciendo un mecanismo de precios eficaz que refleje el estado de congestión, con el fin de lograr una asignación óptima de recursos.
SAMM: Creación automática de mercado mediante fragmentación
El equipo de Ittay Eyal del Instituto de Tecnología de Israel está desarrollando el concepto de contratos de fragmentación, utilizando múltiples contratos para aumentar la concurrencia. Ajustarán los incentivos para los proveedores de liquidez y los comerciantes para mantener múltiples fragmentos de AMM.
Divulgación privada en el mecanismo de competencia
El profesor Andrea Attar de la Universidad de Roma Tor Vergata explorará nuevos métodos de diseño de mecanismos de mercado, investigando el impacto de la divulgación privada de información por parte de los diseñadores a los agentes en los resultados del mercado y la interacción estratégica.
Aplicar modelos de lenguaje de gran tamaño para generar contratos inteligentes de Sui
Ken Koedinger y Eason Chen de la Universidad Carnegie Mellon ajustarán modelos de lenguaje grandes utilizando código Move y consejos específicos de Sui para abordar los desafíos de la generación de contratos inteligentes en el lenguaje Move.
COMET: Medidas y marco de comparación para la transición a Move
El profesor George Giaglis de la Universidad de Nicosia completará un análisis comparativo exhaustivo entre Solidity y Move, promoviendo una comprensión más profunda de las funciones y capacidades de Move.
DeFi revolucionario: Optimización de la liquidez y tarifas dinámicas en Sui mediante métodos de aprendizaje profundo
Rachid Guerraoui y Walid Sofiane del Instituto Federal Suizo de Tecnología en Lausana desarrollarán un modelo de aprendizaje profundo híbrido para la predicción óptima de rangos en el protocolo Sui DeFi, integrando el análisis de sentimientos de las redes sociales para mejorar la precisión.
Evaluación de la capacidad predictiva de la volatilidad de SUI
El profesor Stavros Degiannakis de la Universidad Abierta de Chipre investigará la efectividad del algoritmo SPEC en la predicción de la volatilidad de los activos Sui, enfocándose principalmente en SUI y validándolo en varios activos de blockchain.
zkSNARKs transparentes post-cuánticos de baja memoria
Brett Falk y Pratyush Mishra de la Universidad de Pensilvania se dedicarán a desarrollar zkSNARKs escalables, abordando al mismo tiempo tres obstáculos principales: la complejidad temporal del probador, la complejidad espacial y el tamaño de SRS.
Estos proyectos de investigación abarcan múltiples campos de vanguardia de la tecnología blockchain, desde la gobernanza descentralizada hasta la seguridad de los contratos inteligentes, desde los mecanismos de consenso hasta la verificación de oráculos, reflejando la importancia que el ecosistema Sui otorga a la innovación académica. Al apoyar estos proyectos de investigación de alto nivel, la Fundación Sui tiene como objetivo promover el desarrollo general de la tecnología blockchain y establecer una base teórica y técnica sólida para el futuro de 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.
14 me gusta
Recompensa
14
7
Republicar
Compartir
Comentar
0/400
APY追逐者
· 07-23 04:17
42w realmente se ve un poco pobre
Ver originalesResponder0
WalletManager
· 07-22 14:57
La capacidad de auditoría ha mejorado, y el mercado también debería pump.
La Fundación Sui anuncia una nueva ronda de financiamiento académico: 17 proyectos reciben 420,000 dólares, con la participación de universidades de renombre mundial.
Se anuncia una nueva ronda de financiamiento para la investigación académica de Sui: universidades de renombre mundial participan, 17 proyectos reciben más de 420,000 dólares en apoyo.
Recientemente, la Fundación Sui anunció la lista de ganadores de una nueva ronda de financiamiento para investigaciones académicas. Este programa está diseñado para financiar investigaciones que impulsen el desarrollo de Web3, especialmente las que avanzan en los límites tecnológicos relacionados con redes blockchain, programación de contratos inteligentes y productos construidos sobre Sui.
En las dos etapas pasadas, la fundación aprobó propuestas de 17 universidades internacionales de renombre, 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.
Introducción al Proyecto Financiado
DAOs: Diversidad en los grupos de votación
El profesor Ari Juels de la Universidad de Cornell estudiará el significado esencial de las organizaciones descentralizadas, establecerá indicadores para medir el grado de descentralización de las DAO y explorará métodos prácticos para mejorar la descentralización dentro de las organizaciones.
Consenso de protocolo DAG asíncrono seguro y adaptable
El equipo de Philipp Jovanovic de University College London se dedica al desarrollo de un protocolo DAG asíncrono para mejorar la resistencia a ataques y adaptarse a un entorno de amenazas cambiante. Este protocolo tiene como objetivo proporcionar mejor seguridad y adaptabilidad, manteniendo al mismo tiempo niveles de rendimiento cercanos a los de un oponente parcialmente sincronizado.
Auditoría de contratos inteligentes Sui bajo la guía de modelos de lenguaje grandes
El equipo de Arthur Gervais de University College London utilizará modelos de lenguaje de gran tamaño como GPT-4-32k y Claude-v2-100k para mejorar la auditoría de contratos inteligentes Move. Su investigación preliminar descubrió vulnerabilidades en 52 contratos inteligentes DeFi en Solidity que causaron pérdidas de casi mil millones de dólares. Este proyecto ampliará esta investigación a los contratos inteligentes de Sui.
protocolo de consenso de mapeo de dominios
El profesor Christopher Cachin de la Universidad de Berna llevará a cabo una investigación exhaustiva sobre el campo actual de los consensos, proporcionando nuevas perspectivas sobre los protocolos de consenso criptográfico, lo que ayudará a comprender mejor los algoritmos existentes y ofrecerá nuevas ideas para el diseño de protocolos distribuidos.
Marco de verificación de alta confianza para el protocolo de oráculos descentralizados
Giselle Reis de la Universidad Carnegie Mellon y Bruno Woltzenlogel Paleo de Djed Alliance crearán un marco para analizar y verificar rigurosamente los oráculos de blockchain mediante métodos formalizados. El proyecto utilizará el sistema de gestión de pruebas Coq para desarrollar una biblioteca integral de definiciones y estrategias de prueba.
Identificar cuellos de botella de escalabilidad
El equipo de Roger Wattenhofer del Instituto Federal Suizo de Tecnología en Zúrich identificará los cuellos de botella derivados de los defectos de diseño de contratos inteligentes para mejorar el potencial de paralelización de las aplicaciones de blockchain. También investigarán el impacto de ajustar las tarifas de transacción en la paralelización.
Protocolo Bullshark mecanizado
El profesor Ilya Sergey de la Universidad Nacional de Singapur utilizará herramientas modernas de verificación asistida por computadora para validar formalmente las propiedades de Bullshark, avanzando en la comprensión de los protocolos de consenso basados en DAG.
BBSF: Marco estándar de referencia de blockchain
El profesor Henry F. Korth de la Universidad de Lehigh creará un formato de estandarización de referencia de blockchain para comparar de manera justa las blockchains L1 y las soluciones de escalado L2, proporcionando a los usuarios y desarrolladores una visión transparente del rendimiento de la cadena.
Construir capas de secuencia compartida escalables y descentralizadas
El equipo de Min Suk Kang del Instituto de Ciencia y Tecnología de Corea explorará el uso de Bullshark/Mysticeti como algoritmo de ordenación compartida, investigando múltiples Rollups que utilizan Sui como capa de ordenación.
mercado local de tarifas para el mejor precio de congestión
El profesor Abdoulaye Ndiaye de la Universidad de Nueva York estudiará el mercado de tarifas locales para optimizar la fijación de precios por congestión, estableciendo un mecanismo de precios eficaz que refleje el estado de congestión, con el fin de lograr una asignación óptima de recursos.
SAMM: Creación automática de mercado mediante fragmentación
El equipo de Ittay Eyal del Instituto de Tecnología de Israel está desarrollando el concepto de contratos de fragmentación, utilizando múltiples contratos para aumentar la concurrencia. Ajustarán los incentivos para los proveedores de liquidez y los comerciantes para mantener múltiples fragmentos de AMM.
Divulgación privada en el mecanismo de competencia
El profesor Andrea Attar de la Universidad de Roma Tor Vergata explorará nuevos métodos de diseño de mecanismos de mercado, investigando el impacto de la divulgación privada de información por parte de los diseñadores a los agentes en los resultados del mercado y la interacción estratégica.
Aplicar modelos de lenguaje de gran tamaño para generar contratos inteligentes de Sui
Ken Koedinger y Eason Chen de la Universidad Carnegie Mellon ajustarán modelos de lenguaje grandes utilizando código Move y consejos específicos de Sui para abordar los desafíos de la generación de contratos inteligentes en el lenguaje Move.
COMET: Medidas y marco de comparación para la transición a Move
El profesor George Giaglis de la Universidad de Nicosia completará un análisis comparativo exhaustivo entre Solidity y Move, promoviendo una comprensión más profunda de las funciones y capacidades de Move.
DeFi revolucionario: Optimización de la liquidez y tarifas dinámicas en Sui mediante métodos de aprendizaje profundo
Rachid Guerraoui y Walid Sofiane del Instituto Federal Suizo de Tecnología en Lausana desarrollarán un modelo de aprendizaje profundo híbrido para la predicción óptima de rangos en el protocolo Sui DeFi, integrando el análisis de sentimientos de las redes sociales para mejorar la precisión.
Evaluación de la capacidad predictiva de la volatilidad de SUI
El profesor Stavros Degiannakis de la Universidad Abierta de Chipre investigará la efectividad del algoritmo SPEC en la predicción de la volatilidad de los activos Sui, enfocándose principalmente en SUI y validándolo en varios activos de blockchain.
zkSNARKs transparentes post-cuánticos de baja memoria
Brett Falk y Pratyush Mishra de la Universidad de Pensilvania se dedicarán a desarrollar zkSNARKs escalables, abordando al mismo tiempo tres obstáculos principales: la complejidad temporal del probador, la complejidad espacial y el tamaño de SRS.
Estos proyectos de investigación abarcan múltiples campos de vanguardia de la tecnología blockchain, desde la gobernanza descentralizada hasta la seguridad de los contratos inteligentes, desde los mecanismos de consenso hasta la verificación de oráculos, reflejando la importancia que el ecosistema Sui otorga a la innovación académica. Al apoyar estos proyectos de investigación de alto nivel, la Fundación Sui tiene como objetivo promover el desarrollo general de la tecnología blockchain y establecer una base teórica y técnica sólida para el futuro de Web3.