David Dill, Novi Research
Série de Seminários de Pesquisa em Blockchain
Resumo: A blockchain Libra, que foi iniciada em 2018 pelo Facebook, inclui uma nova linguagem de programação chamada Move para a implementação de contratos inteligentes. A correção dos programas Move é especialmente importante porque a blockchain hospedará grandes quantidades de ativos, esses ativos são geridos por contratos inteligentes e porque há um histórico de grandes perdas em outras blockchains devido a bugs em contratos inteligentes. A linguagem Move foi projetada para ser o mais segura possível e é acompanhada por uma especificação formal e uma ferramenta de verificação automática, chamada Move Prover. Um projeto para especificar e verificar formalmente o maior número possível de propriedades importantes da biblioteca padrão Move já está em andamento.
Esta palestra abordará os objetivos do projeto e os insights mais interessantes que tivemos até o momento da apresentação. Toda a implementação da blockchain, incluindo a linguagem Move, a máquina virtual, o Move Prover e vários módulos Move quase finais estão disponíveis em
http://github.com/libra