Projeto de blockchain de Sydney visa entregar nova linguagem de programação

Projeto de blockchain de Sydney visa entregar nova linguagem de programação

Verificador de contrato inteligente automatizado

Um grupo de pesquisa de blockchain dedicado na Universidade de Sydney foi formado para criar um software automático de verificação de erros para contratos inteligentes, desenvolvendo uma nova cadeia de ferramentas de programação.

A universidade fez uma parceria com a plataforma de pagamentos inteligentes sul-coreanos de criptomoedas e de contratos inteligentes, Fantom, para fornecer ferramentas seguras baseadas em pesquisa de código aberto e artefatos de software para ajudar a construir o novo grupo de idiomas.

Tanto a agência australiana de inteligência financeira AUSTRAC quanto a Data61, da CSIRO, anunciaram projetos de contrato inteligente baseados em blockchain este ano para fornecer contratos escalonáveis ​​e seguros com cláusulas que podem ser executadas automaticamente.

Projeto de blockchain de Sydney visa entregar nova linguagem de programação
Projeto de blockchain de Sydney visa entregar nova linguagem de programação

Ao patrocinar bolsas de estudo e pós-doutorados, a universidade e a Fantom esperam consolidar a metodologia de programação para contratos inteligentes, inclusive por meio da educação do ambiente de programação da blockchain.

Outras áreas de foco principais incluem:

Linguagem de programação para contratos inteligentes que visa estender a solidez da linguagem de programação atual para que ela se torne mais segura de usar.
Produzindo um compilador de verificação que traduz a solidez (ou uma extensão dele) para uma máquina virtual.
Uma nova máquina virtual, eficiente em energia, com um formato de bytecode compacto.

O grupo de pesquisa será liderado pelo professor associado de ciência da computação Bernhard Scholz, que disse que será uma oportunidade para equipar os alunos com ferramentas e habilidades cada vez mais sendo adotadas pela indústria.

“Blockchain tem desempenhado um papel dominante na evolução da programação, e estamos ansiosos para contribuir com o seu avanço através do nosso trabalho com Fantom”, acrescentou Scholz.A natureza exata e o montante do financiamento fornecido por ambas as partes durante a parceria de três anos dependem do volume de pedidos de pesquisa e do tipo de pesquisa que acadêmicos e estudantes estão interessados ​​em buscar, disse um porta-voz da universidade.

Compartilhe este post

Facebook
Twitter
LinkedIn
WhatsApp