Codificadores de Blockchain WIN subsídio para consertar contratos inteligentes com 'juridiquês'

O mantra "mova-se rápido e quebre coisas" pode funcionar bem em software tradicional, mas, como o fim do The DAO ilustrou, a abordagem pode não ser adequada para tecnologias financeiras experimentais.

Mas, após o fim do DAO, novos esforços estão começando a surgir, buscando abordar os desafios que os desenvolvedores enfrentaram até agora ao trabalhar com contratos inteligentes, os principais blocos de construção que sustentaram o projeto e cuja exploração levou ao seu fracasso.

Uma dessas startups é a Legalese, um projeto que surgiu de esforços internos na aceleradora de sementes JFDI Asia, e conta com um notável cofundador dessa operação entre suas fileiras.

Cofundado por Virgil Griffith e Wong Meng Weng, o Legalese é um projeto de código aberto que escreve uma nova linguagem de programação especificamente para contratos inteligentes. Chamada L4, a linguagem é projetada para ajudar os codificadores a VET adequadamente os contratos antes que eles sejam publicados.

Depois de ganhar $ 8.888 em umprograma de bolsasoferecido por projeto financeiro autônomoLaboratórios de CordasGriffith disse que está pronto para continuar seu trabalho com uma equipe de líderes estabelecidos na indústria.

Griffith disse ao CoinDesk:

"A ideia fundamental é que queríamos criar uma linguagem de programação para o direito. Basicamente, é uma maneira matemática de descrever obrigações e relacionamentos."

Usando o que é chamado de cálculo mu modal, Griffth e Wong, que anteriormente projetaram a infraestrutura de e-mail RFC4408, superaram cerca de 30 outros candidatos à bolsa.

Nova linguagem de programação

A oferta principal da Legalese é a linguagem formal L4, projetada para tornar mais fácil para os programadores liberarem contratos inteligentes para uso público sem a necessidade de que esses contratos sejam verificados.

Os codificadores, disseram os líderes do projeto, escreveriam em L4, que então converteria em Solidity, a linguagem de programação recém-criada do ethereum. Essa linguagem poderia então ser compilada para byte code, que seria lido e interpretado por máquinas virtuais Ethereum (EVMs), o componente do protocolo que lê e manipula as instruções dinâmicas.

O primeiro produto do projeto é um software como serviçoaplicativoprojetado para ajudar empreendedores a preencher a papelada para uma rodada de investimento inicial ou inicial, incluindo a codificação de acordos de acionistas, resoluções corporativas, avisos de direitos e resoluções corporativas.

No futuro, o trabalho da Legalese pode ajudar a evitar a divulgação de código com brechas que podem ser exploradas por invasores, de acordo com o cofundador da String Labs e cofundador da Blockchain University, Tom Ding.

Ding disse:

"Quando você escreve o contrato, você quer pegar todos os bugs. Advogados usam sua educação e experiência para pegar brechas e contratos inteligentes precisam do mesmo."

Subvenções de cadeia aberta

Também anunciado pela String Labs, startup de histórico de crédito on-chainDistóriaganhou US$ 10.000 para construir um sistema de histórico de crédito que viaja com usuários através das fronteiras.

Os históricos de crédito on-line podem então ser usados por outros contratos inteligentes para facilitar empréstimos on-line e off-line.

"A ideia final é reduzir o custo da transação", disse Ding.

Legalese e Distory são os primeiros vencedores do que Ding espera que seja umciclo contínuo de bolsasfinanciando projetos especificamente construídos em blockchains públicos.

Imagem em letras miúdasvia Shutterstock