A Fundação Sui anunciou uma nova rodada de financiamento acadêmico: 17 projetos receberam 420 mil dólares, com a participação de universidades de renome mundial.
Sui nova ronda de financiamento para pesquisa acadêmica anunciada: universidades de renome mundial participam, 17 projetos recebem mais de 420 mil dólares de apoio
Recentemente, a Fundação Sui anunciou a lista de premiados da nova rodada de financiamento para pesquisa acadêmica. Este programa visa financiar pesquisas que promovam o desenvolvimento da Web3, especialmente aquelas que avançam os limites tecnológicos relacionados a redes blockchain, programação de contratos inteligentes e produtos construídos com base no Sui.
Durante as duas fases anteriores, a fundação aprovou propostas de 17 universidades internacionais de renome, com um total de financiamento de 425.000 dólares. As universidades participantes incluem a Universidade de Ciência e Tecnologia da Coreia, o University College London, a École Polytechnique Fédérale de Lausanne e a Universidade Nacional de Cingapura.
Introdução ao projeto financiado
DAOs: diversidade de grupos de votação
O professor Ari Juels da Universidade Cornell irá investigar o significado essencial das organizações descentralizadas, estabelecer indicadores para medir o grau de descentralização de DAOs e explorar métodos práticos para aumentar a descentralização dentro das organizações.
Protocolo de consenso DAG assíncrono seguro e adaptativo
A equipe de Philipp Jovanovic da University College London está dedicada ao desenvolvimento de um protocolo DAG assíncrono para melhorar a resistência a ataques e se adaptar a um ambiente de ameaças em mudança. O protocolo visa fornecer melhor segurança e adaptabilidade, mantendo um nível de desempenho próximo ao de um concorrente parcialmente síncrono.
Auditoria de contratos inteligentes Sui guiada por modelos de linguagem de grande escala
A equipe de Arthur Gervais da University College London utilizará modelos de linguagem de grande escala, como GPT-4-32k e Claude-v2-100k, para melhorar a auditoria de contratos inteligentes Move. Sua pesquisa preliminar identificou vulnerabilidades que resultaram em perdas de quase 1 bilhão de dólares em 52 contratos inteligentes DeFi em Solidity. O projeto expandirá essa pesquisa para contratos inteligentes Sui.
mapeamento do campo de protocolos de consenso
O professor Christopher Cachin da Universidade de Berna fará uma investigação abrangente no campo do consenso atual, oferecendo novas perspectivas sobre protocolos de consenso criptográficos, ajudando a entender melhor os algoritmos existentes e fornecendo novas ideias para o design de protocolos distribuídos.
Quadro de verificação de alta confiabilidade para protocolos de oráculo descentralizados
Giselle Reis da Universidade Carnegie Mellon e Bruno Woltzenlogel Paleo da Djed Alliance irão criar uma estrutura para analisar e verificar rigorosamente oráculos de blockchain por meio de métodos formais. O projeto utilizará o sistema de gerenciamento de provas Coq para desenvolver uma biblioteca abrangente de definições e estratégias de prova.
Identificar gargalos de escalabilidade
A equipe de Roger Wattenhofer do Instituto Federal de Tecnologia de Zurique identificará gargalos originados de falhas no design de contratos inteligentes, a fim de aumentar o potencial de paralelização de aplicações em blockchain. Eles também estudarão o impacto do ajuste das taxas de transação na paralelização.
Protocolo Bullshark Mecânico
O professor Ilya Sergey da Universidade Nacional de Cingapura usará ferramentas modernas de verificação assistida por computador para validar formalmente as propriedades do Bullshark, avançando na compreensão dos protocolos de consenso baseados em DAG.
BBSF: Estrutura Padrão de Referência para Blockchain
O professor Henry F. Korth da Universidade de Lehigh criará um formato padronizado de benchmark de blockchain para comparar de forma justa as blockchains L1 e as soluções de escalonamento L2, proporcionando aos usuários e desenvolvedores uma visão transparente do desempenho da cadeia.
Construir uma camada de sequência compartilhada escalável e descentralizada
A equipe de Min Suk Kang do Instituto de Ciência e Tecnologia da Coreia irá explorar o uso de Bullshark/Mysticeti como algoritmo de ordenação compartilhada, pesquisando múltiplos Rollups que utilizam Sui como camada de ordenação.
mercado de tarifas locais para melhor precificação de congestionamento
O professor Abdoulaye Ndiaye da Universidade de Nova Iorque irá pesquisar o mercado de custos locais para otimizar a precificação de congestionamento, estabelecendo um mecanismo de precificação eficaz que reflita o estado de congestionamento, a fim de alcançar a melhor alocação de recursos.
SAMM: Protocolo de Market Making Automático por Fragmentação
A equipe de Ittay Eyal do Instituto de Tecnologia de Israel está desenvolvendo o conceito de contratos em fragmentos, utilizando múltiplos contratos para aumentar a concorrência. Eles ajustarão os incentivos para provedores de liquidez e negociantes para manter múltiplos fragmentos de AMM.
Divulgação privada no mecanismo de competição
O Professor Andrea Attar da Universidade de Roma Tor Vergata explorará novas abordagens para o design de mecanismos de mercado, estudando o impacto da divulgação privada de informações pelos projetistas aos agentes nos resultados do mercado e nas interações estratégicas.
Aplicar modelos de linguagem grandes para gerar contratos inteligentes Sui
Ken Koedinger e Eason Chen da Universidade Carnegie Mellon irão ajustar modelos de linguagem de grande porte utilizando código Move e dicas específicas do Sui para enfrentar os desafios da geração de contratos inteligentes na linguagem Move.
COMET: Medidas e estruturas comparativas para a transição para Move
O professor George Giaglis da Universidade de Nicósia completará uma análise comparativa abrangente entre Solidity e Move, promovendo uma compreensão mais profunda das funcionalidades e capacidades do Move.
DeFi revolucionário: otimização da liquidez e das taxas dinâmicas na Sui através de métodos de aprendizado profundo
Rachid Guerraoui e Walid Sofiane da École Polytechnique Fédérale de Lausanne desenvolverão um modelo híbrido de aprendizado profundo para previsão de alcance otimizado no protocolo Sui DeFi, integrando análise de sentimentos de mídias sociais para aumentar a precisão.
Avaliação da capacidade preditiva da volatilidade do SUI
O professor Stavros Degiannakis da Universidade Aberta de Chipre irá investigar a eficácia do algoritmo SPEC na previsão da volatilidade dos ativos Sui, com foco principal no SUI, e realizará validações em vários ativos de blockchain.
zkSNARKs transparentes pós-quânticos de baixa memória
Brett Falk e Pratyush Mishra da Universidade da Pensilvânia vão trabalhar no desenvolvimento de zkSNARKs escaláveis, abordando ao mesmo tempo três principais obstáculos: a complexidade de tempo do provador, a complexidade de espaço e o tamanho do SRS.
Estes projetos de pesquisa abrangem várias áreas de ponta da tecnologia blockchain, desde governança descentralizada até segurança de contratos inteligentes, de mecanismos de consenso a validação de oráculos, refletindo a ênfase do ecossistema Sui na inovação acadêmica. Ao apoiar esses projetos de pesquisa de alto nível, a Fundação Sui pretende promover o desenvolvimento global da tecnologia blockchain, estabelecendo uma base teórica e técnica sólida para o futuro do Web3.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
14 Curtidas
Recompensa
14
7
Compartilhar
Comentário
0/400
APY追逐者
· 07-23 04:17
42w ainda é um pouco modesto
Ver originalResponder0
WalletManager
· 07-22 14:57
A capacidade de auditoria aumentou, e o mercado também deve subir.
A Fundação Sui anunciou uma nova rodada de financiamento acadêmico: 17 projetos receberam 420 mil dólares, com a participação de universidades de renome mundial.
Sui nova ronda de financiamento para pesquisa acadêmica anunciada: universidades de renome mundial participam, 17 projetos recebem mais de 420 mil dólares de apoio
Recentemente, a Fundação Sui anunciou a lista de premiados da nova rodada de financiamento para pesquisa acadêmica. Este programa visa financiar pesquisas que promovam o desenvolvimento da Web3, especialmente aquelas que avançam os limites tecnológicos relacionados a redes blockchain, programação de contratos inteligentes e produtos construídos com base no Sui.
Durante as duas fases anteriores, a fundação aprovou propostas de 17 universidades internacionais de renome, com um total de financiamento de 425.000 dólares. As universidades participantes incluem a Universidade de Ciência e Tecnologia da Coreia, o University College London, a École Polytechnique Fédérale de Lausanne e a Universidade Nacional de Cingapura.
Introdução ao projeto financiado
DAOs: diversidade de grupos de votação
O professor Ari Juels da Universidade Cornell irá investigar o significado essencial das organizações descentralizadas, estabelecer indicadores para medir o grau de descentralização de DAOs e explorar métodos práticos para aumentar a descentralização dentro das organizações.
Protocolo de consenso DAG assíncrono seguro e adaptativo
A equipe de Philipp Jovanovic da University College London está dedicada ao desenvolvimento de um protocolo DAG assíncrono para melhorar a resistência a ataques e se adaptar a um ambiente de ameaças em mudança. O protocolo visa fornecer melhor segurança e adaptabilidade, mantendo um nível de desempenho próximo ao de um concorrente parcialmente síncrono.
Auditoria de contratos inteligentes Sui guiada por modelos de linguagem de grande escala
A equipe de Arthur Gervais da University College London utilizará modelos de linguagem de grande escala, como GPT-4-32k e Claude-v2-100k, para melhorar a auditoria de contratos inteligentes Move. Sua pesquisa preliminar identificou vulnerabilidades que resultaram em perdas de quase 1 bilhão de dólares em 52 contratos inteligentes DeFi em Solidity. O projeto expandirá essa pesquisa para contratos inteligentes Sui.
mapeamento do campo de protocolos de consenso
O professor Christopher Cachin da Universidade de Berna fará uma investigação abrangente no campo do consenso atual, oferecendo novas perspectivas sobre protocolos de consenso criptográficos, ajudando a entender melhor os algoritmos existentes e fornecendo novas ideias para o design de protocolos distribuídos.
Quadro de verificação de alta confiabilidade para protocolos de oráculo descentralizados
Giselle Reis da Universidade Carnegie Mellon e Bruno Woltzenlogel Paleo da Djed Alliance irão criar uma estrutura para analisar e verificar rigorosamente oráculos de blockchain por meio de métodos formais. O projeto utilizará o sistema de gerenciamento de provas Coq para desenvolver uma biblioteca abrangente de definições e estratégias de prova.
Identificar gargalos de escalabilidade
A equipe de Roger Wattenhofer do Instituto Federal de Tecnologia de Zurique identificará gargalos originados de falhas no design de contratos inteligentes, a fim de aumentar o potencial de paralelização de aplicações em blockchain. Eles também estudarão o impacto do ajuste das taxas de transação na paralelização.
Protocolo Bullshark Mecânico
O professor Ilya Sergey da Universidade Nacional de Cingapura usará ferramentas modernas de verificação assistida por computador para validar formalmente as propriedades do Bullshark, avançando na compreensão dos protocolos de consenso baseados em DAG.
BBSF: Estrutura Padrão de Referência para Blockchain
O professor Henry F. Korth da Universidade de Lehigh criará um formato padronizado de benchmark de blockchain para comparar de forma justa as blockchains L1 e as soluções de escalonamento L2, proporcionando aos usuários e desenvolvedores uma visão transparente do desempenho da cadeia.
Construir uma camada de sequência compartilhada escalável e descentralizada
A equipe de Min Suk Kang do Instituto de Ciência e Tecnologia da Coreia irá explorar o uso de Bullshark/Mysticeti como algoritmo de ordenação compartilhada, pesquisando múltiplos Rollups que utilizam Sui como camada de ordenação.
mercado de tarifas locais para melhor precificação de congestionamento
O professor Abdoulaye Ndiaye da Universidade de Nova Iorque irá pesquisar o mercado de custos locais para otimizar a precificação de congestionamento, estabelecendo um mecanismo de precificação eficaz que reflita o estado de congestionamento, a fim de alcançar a melhor alocação de recursos.
SAMM: Protocolo de Market Making Automático por Fragmentação
A equipe de Ittay Eyal do Instituto de Tecnologia de Israel está desenvolvendo o conceito de contratos em fragmentos, utilizando múltiplos contratos para aumentar a concorrência. Eles ajustarão os incentivos para provedores de liquidez e negociantes para manter múltiplos fragmentos de AMM.
Divulgação privada no mecanismo de competição
O Professor Andrea Attar da Universidade de Roma Tor Vergata explorará novas abordagens para o design de mecanismos de mercado, estudando o impacto da divulgação privada de informações pelos projetistas aos agentes nos resultados do mercado e nas interações estratégicas.
Aplicar modelos de linguagem grandes para gerar contratos inteligentes Sui
Ken Koedinger e Eason Chen da Universidade Carnegie Mellon irão ajustar modelos de linguagem de grande porte utilizando código Move e dicas específicas do Sui para enfrentar os desafios da geração de contratos inteligentes na linguagem Move.
COMET: Medidas e estruturas comparativas para a transição para Move
O professor George Giaglis da Universidade de Nicósia completará uma análise comparativa abrangente entre Solidity e Move, promovendo uma compreensão mais profunda das funcionalidades e capacidades do Move.
DeFi revolucionário: otimização da liquidez e das taxas dinâmicas na Sui através de métodos de aprendizado profundo
Rachid Guerraoui e Walid Sofiane da École Polytechnique Fédérale de Lausanne desenvolverão um modelo híbrido de aprendizado profundo para previsão de alcance otimizado no protocolo Sui DeFi, integrando análise de sentimentos de mídias sociais para aumentar a precisão.
Avaliação da capacidade preditiva da volatilidade do SUI
O professor Stavros Degiannakis da Universidade Aberta de Chipre irá investigar a eficácia do algoritmo SPEC na previsão da volatilidade dos ativos Sui, com foco principal no SUI, e realizará validações em vários ativos de blockchain.
zkSNARKs transparentes pós-quânticos de baixa memória
Brett Falk e Pratyush Mishra da Universidade da Pensilvânia vão trabalhar no desenvolvimento de zkSNARKs escaláveis, abordando ao mesmo tempo três principais obstáculos: a complexidade de tempo do provador, a complexidade de espaço e o tamanho do SRS.
Estes projetos de pesquisa abrangem várias áreas de ponta da tecnologia blockchain, desde governança descentralizada até segurança de contratos inteligentes, de mecanismos de consenso a validação de oráculos, refletindo a ênfase do ecossistema Sui na inovação acadêmica. Ao apoiar esses projetos de pesquisa de alto nível, a Fundação Sui pretende promover o desenvolvimento global da tecnologia blockchain, estabelecendo uma base teórica e técnica sólida para o futuro do Web3.