Resultados da última rodada do Prêmio de Pesquisa Acadêmica Sui divulgados: Universidades de renome mundial participam, 17 projetos recebem 420 mil dólares em financiamento
Recentemente, a Fundação Sui anunciou a lista dos vencedores da nova rodada do Prêmio de Pesquisa Acadêmica Sui. Este programa visa financiar pesquisas que promovam o desenvolvimento do Web3, especialmente o avanço de redes blockchain, programação de contratos inteligentes e tecnologias relacionadas a produtos construídos com Sui.
Nos últimos dois períodos, um total de 17 propostas de universidades internacionais de renome foram aprovadas, com um montante total de financiamento de 425 mil dólares. As universidades participantes incluem a Korea Advanced Institute of Science and Technology, University College London, École Polytechnique Fédérale de Lausanne e a National University of Singapore.
Visão geral das propostas premiadas
Estudo sobre a diversidade do grupo de votação das Organizações Autônomas Descentralizadas (DAOs)
O professor Ari Juels da Universidade de Cornell irá explorar a natureza das organizações descentralizadas e estabelecer métricas para medir o grau de descentralização. O estudo visa identificar práticas que possam fortalecer a descentralização dentro das organizações.
Protocolo de consenso assíncrono DAG adaptativo e seguro
O Dr. Philipp Jovanovic da University College London propôs o desenvolvimento de um protocolo DAG assíncrono para aumentar a resistência a ataques e se adaptar a oponentes em constante mudança. Este protocolo visa oferecer melhor segurança e adaptabilidade, enquanto mantém um nível de desempenho próximo ao de oponentes parcialmente síncronos.
Auditoria de contratos inteligentes Sui assistida por grandes modelos de linguagem
A equipe de Arthur Gervais da University College London planeja usar grandes modelos de linguagem como GPT-4-32k e Claude-v2-100k para melhorar a auditoria de contratos inteligentes Move. Este projeto se baseará na experiência anterior de análise de 52 contratos inteligentes DeFi em Solidity, expandindo para a avaliação de segurança de contratos inteligentes Sui.
Revisão abrangente do campo dos protocolos de consenso
O Professor Christopher Cachin da Universidade de Berna realizará uma investigação abrangente no campo do consenso atual, fornecendo novos insights sobre protocolos de consenso criptográficos. Os resultados da pesquisa ajudarão a entender melhor os algoritmos existentes e oferecerão novas ideias para o design de protocolos distribuídos.
Quadro de validação de alta confiabilidade para protocolos de oráculos descentralizados
Giselle Reis da Universidade Carnegie Mellon e Bruno Woltzenlogel Paleo da Djed Alliance criarão uma estrutura para analisar e verificar rigorosamente oráculos de blockchain através 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.
Identificação dos gargalos de escalabilidade da blockchain
O Professor Roger Wattenhofer do Instituto Federal de Tecnologia de Zurique dedicará-se a identificar os gargalos originados de falhas no design de contratos inteligentes, a fim de aumentar o potencial de paralelização das aplicações em blockchain. A pesquisa também irá explorar o impacto do ajuste das taxas de transação no potencial de paralelização.
Verificação mecanizada do protocolo Bullshark
O professor Ilya Sergey da Universidade Nacional de Cingapura planeja usar ferramentas modernas de verificação assistida por computador para validar formalmente as propriedades do Bullshark, avançando na compreensão de protocolos de consenso baseados em grafos acíclicos direcionados.
Quadro de Padrões de Referência de Blockchain ( BBSF )
O professor Henry F. Korth da Universidade de Lehigh propôs a criação de um formato de padronização de referência em blockchain para comparar de forma justa o desempenho das blockchains L1 e das soluções de escalabilidade L2. O projeto visa fornecer aos usuários e desenvolvedores uma visão transparente do desempenho da cadeia.
Construir uma camada de sequência compartilhada escalável e descentralizada
O Professor Min Suk Kang da KAIST irá explorar a possibilidade de usar Bullshark/Mysticeti como um algoritmo de ordenação compartilhada, investigando como executar múltiplos Rollups que utilizam Sui como camada de ordenação.
Otimização de preços de congestionamento no mercado de taxas locais
O professor Abdoulaye Ndiaye da Universidade de Nova Iorque irá estudar o mercado de taxas 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.
Estes projetos de pesquisa abrangem várias áreas-chave da tecnologia blockchain, desde mecanismos de consenso até segurança de contratos inteligentes, desde oráculos até finanças descentralizadas. Os seus resultados prometem trazer importantes avanços e inovações para o ecossistema Sui e para toda a indústria de blockchain.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
18 gostos
Recompensa
18
3
Partilhar
Comentar
0/400
NftDataDetective
· 07-12 07:53
os fundos de pesquisa parecem decentes, mas vamos ver os resultados, para ser sincero...
Ver originalResponder0
rugged_again
· 07-11 14:00
Outra instituição quer fazer as pessoas de parvas novamente.
O Prémio de Pesquisa Acadêmica Sui anunciou os novos resultados: 17 projetos receberam 420.000 dólares em financiamento.
Resultados da última rodada do Prêmio de Pesquisa Acadêmica Sui divulgados: Universidades de renome mundial participam, 17 projetos recebem 420 mil dólares em financiamento
Recentemente, a Fundação Sui anunciou a lista dos vencedores da nova rodada do Prêmio de Pesquisa Acadêmica Sui. Este programa visa financiar pesquisas que promovam o desenvolvimento do Web3, especialmente o avanço de redes blockchain, programação de contratos inteligentes e tecnologias relacionadas a produtos construídos com Sui.
Nos últimos dois períodos, um total de 17 propostas de universidades internacionais de renome foram aprovadas, com um montante total de financiamento de 425 mil dólares. As universidades participantes incluem a Korea Advanced Institute of Science and Technology, University College London, École Polytechnique Fédérale de Lausanne e a National University of Singapore.
Visão geral das propostas premiadas
Estudo sobre a diversidade do grupo de votação das Organizações Autônomas Descentralizadas (DAOs)
O professor Ari Juels da Universidade de Cornell irá explorar a natureza das organizações descentralizadas e estabelecer métricas para medir o grau de descentralização. O estudo visa identificar práticas que possam fortalecer a descentralização dentro das organizações.
Protocolo de consenso assíncrono DAG adaptativo e seguro
O Dr. Philipp Jovanovic da University College London propôs o desenvolvimento de um protocolo DAG assíncrono para aumentar a resistência a ataques e se adaptar a oponentes em constante mudança. Este protocolo visa oferecer melhor segurança e adaptabilidade, enquanto mantém um nível de desempenho próximo ao de oponentes parcialmente síncronos.
Auditoria de contratos inteligentes Sui assistida por grandes modelos de linguagem
A equipe de Arthur Gervais da University College London planeja usar grandes modelos de linguagem como GPT-4-32k e Claude-v2-100k para melhorar a auditoria de contratos inteligentes Move. Este projeto se baseará na experiência anterior de análise de 52 contratos inteligentes DeFi em Solidity, expandindo para a avaliação de segurança de contratos inteligentes Sui.
Revisão abrangente do campo dos protocolos de consenso
O Professor Christopher Cachin da Universidade de Berna realizará uma investigação abrangente no campo do consenso atual, fornecendo novos insights sobre protocolos de consenso criptográficos. Os resultados da pesquisa ajudarão a entender melhor os algoritmos existentes e oferecerão novas ideias para o design de protocolos distribuídos.
Quadro de validação de alta confiabilidade para protocolos de oráculos descentralizados
Giselle Reis da Universidade Carnegie Mellon e Bruno Woltzenlogel Paleo da Djed Alliance criarão uma estrutura para analisar e verificar rigorosamente oráculos de blockchain através 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.
Identificação dos gargalos de escalabilidade da blockchain
O Professor Roger Wattenhofer do Instituto Federal de Tecnologia de Zurique dedicará-se a identificar os gargalos originados de falhas no design de contratos inteligentes, a fim de aumentar o potencial de paralelização das aplicações em blockchain. A pesquisa também irá explorar o impacto do ajuste das taxas de transação no potencial de paralelização.
Verificação mecanizada do protocolo Bullshark
O professor Ilya Sergey da Universidade Nacional de Cingapura planeja usar ferramentas modernas de verificação assistida por computador para validar formalmente as propriedades do Bullshark, avançando na compreensão de protocolos de consenso baseados em grafos acíclicos direcionados.
Quadro de Padrões de Referência de Blockchain ( BBSF )
O professor Henry F. Korth da Universidade de Lehigh propôs a criação de um formato de padronização de referência em blockchain para comparar de forma justa o desempenho das blockchains L1 e das soluções de escalabilidade L2. O projeto visa fornecer aos usuários e desenvolvedores uma visão transparente do desempenho da cadeia.
Construir uma camada de sequência compartilhada escalável e descentralizada
O Professor Min Suk Kang da KAIST irá explorar a possibilidade de usar Bullshark/Mysticeti como um algoritmo de ordenação compartilhada, investigando como executar múltiplos Rollups que utilizam Sui como camada de ordenação.
Otimização de preços de congestionamento no mercado de taxas locais
O professor Abdoulaye Ndiaye da Universidade de Nova Iorque irá estudar o mercado de taxas 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.
Estes projetos de pesquisa abrangem várias áreas-chave da tecnologia blockchain, desde mecanismos de consenso até segurança de contratos inteligentes, desde oráculos até finanças descentralizadas. Os seus resultados prometem trazer importantes avanços e inovações para o ecossistema Sui e para toda a indústria de blockchain.