Ir para o conteúdo
  • CriptoBíblia
  • Bitcoin 101
  • Blockchain 101
  • Ethereum 101
Menu
  • CriptoBíblia
  • Bitcoin 101
  • Blockchain 101
  • Ethereum 101
Facebook-f Instagram Youtube Twitter Linkedin-in
Logo CriptoFácil
  • Últimas Notícias
  • Educação
  • Mercado
  • Bitcoin Sem Medo
  • Contato
Menu
  • Últimas Notícias
  • Educação
  • Mercado
  • Bitcoin Sem Medo
  • Contato
Pesquisar
Fechar
braziliex_170
Bitcoin (BTC)
Litecoin (LTC)
Ethereum (ETH)
Ripple (XRP)
Bitcoin Cash(BCH)
ZCash (ZEC)
Dash (DASH)
Tether (USDT)
TrueUSD (TUSD)

Fundação Ethereum financia pesquisa para desenvolvimento de nova linguagem de contratos inteligentes

  • Julia Santos Por Julia Santos
  • - 9 de março de 2019
  • às 16:30
  • - Notícias
Fundação Ethereum financia pesquisa para desenvolvimento de nova linguagem de contratos inteligentes
Compartilhar no facebook
Facebook
Compartilhar no twitter
Twitter
Compartilhar no linkedin
LinkedIn
Compartilhar no whatsapp
WhatsApp

A Fundação Ethereum tem como missão promover e apoiar a plataforma Ethereum, tal como pesquisas, desenvolvimentos e educação da camada base para trazer protocolos e ferramentas descentralizadas para o mundo, que capacitam os desenvolvedores a produzirem aplicativos descentralizados de próxima geração (dapps) e juntos possam construir um ambiente mais globalmente acessível.

A fundação informou no dia 06 de março ter aprovado uma bolsa para pesquisadores das universidades de Columbia e Yale para a criação de uma nova linguagem de programação de contratos inteligentes na EVM (Máquina Virtual Ethereum).

O investimento faz parte do Programa de Subsídios da Fundação Ethereum, o qual é dedicado a apoiar os melhores recursos para o ecossistema Ethereum. O projeto que receberá o benefício é o DeepSea, liderado por Ronghu Gui, professor assistente de ciência da computação na universidade de Columbia, em parceria com pesquisadores de Yale.

Esse não é o primeiro projeto do Ronghui Gu na área de criptomoedas, em 2017, o professor, juntamente com o chefe do departamento de ciência da computação da Yale, professor Shao, fundaram a Certik (plataforma de verificação de contrato inteligente e blockchain) e o projeto arrecadou uma grande quantia em uma rodada de investimento liderada pela Binance Labs em outubro de 2018.

O DeepSea foi nomeado em honra à linguagem de programação de contratos inteligente criada no laboratório de pesquisa do professor Shao. Essa linguagem foi inicialmente designada para implementação de softwares, porém a equipe observou que são riscos altos que cercam as vulnerabilidades desse tipo de contrato e com isso resolveu estender os recursos de proteção da empresa para essa área, também como o professor Gu disse em entrevistas:

“Como os contratos (inteligentes) são autoexecutáveis e permanentes, é crucial que esses contratos sejam executados apenas da forma que são precisamente planejados. A linguagem de programação DeepSea permitirá que os programadores adicionem proteções para garantir que o código esteja de acordo com suas especificações, usando a verificação formal.”

Leia também: Pesquisadores de Stanford desenvolvem mecanismo de privacidade para contratos inteligentes do Ethereum

BitcoinTrade: Negocie suas criptomoedas com segurança, liquidez e agilidade!

Cadastre-se agora! Eleita a melhor corretora do Brasil. 95% dos depósitos aprovados em menos de 1 hora, inclusive aos finais de semana! Baixe o nosso App e aproveite! Acesse: www.bitcointrade.com.br
  • # Ethereum, Smart Contracts

NEWSLETTER CRIPTOFÁCIL

Receba em seu e-mail, de graça, as principais notícias e informações sobre o mercado e também ofertas do CriptoFácil e seus parceiros.

VEJA TAMBÉM:

Lista NFTs que podem deixar investidores ricos, segundo trader

Lista NFTs que podem deixar investidores ricos, segundo trader

China vai acelerar expansão de sua moeda digital para 2022

China vai acelerar expansão de sua moeda digital para 2022

NFTs são iguais às ICOs de 2017, diz fundador da Litecoin

NFTs são iguais às ICOs de 2017, diz fundador da Litecoin

Últimas Notícias

NFTs são iguais às ICOs de 2017, diz fundador da Litecoin

NFT raro de Homer Simpson é vendido por mais de R$ 1,7 milhão

Famoso DJ vende R$ 66 milhões de seu novo álbum transformado em NFT

Token ERC-20 acumula alta de 175% mesmo durante baixa do mercado

Obra original de Banksy é queimada e vira NFT

Logo CriptoFácil

O CriptoFácil é um dos principais sites brasileiros com informações sobre Bitcoin, Blockchain, criptoativos e tecnologias disruptivas.

“Todo investimento representa um risco. Seja responsável”

Facebook-f Instagram Youtube Twitter Linkedin-in Telegram

Principais
Categorias

Últimas Notícias
Educação
Mercado
Bitcoin Sem Medo
Contato

Dicas &
Informações

CriptoBíblia
Bitcoin 101
Blockchain 101
Ethereum 101

Receba artigos sobre Bitcoin, blockchain e outros criptoativos diretamente em seu email

2016 - 2020 © CriptoFácil - Todos os direitos reservados