I programmatori di blockchain WIN una sovvenzione per risolvere i contratti intelligenti con il "legalese"

Il mantra "muoviti velocemente e rompi le cose" può funzionare bene nei software tradizionali, ma come ha dimostrato il fallimento di The DAO, l'approccio potrebbe non essere adatto alle tecnologie finanziarie sperimentali.

Ma sulla scia del fallimento di The DAO, stanno iniziando a emergere nuovi sforzi volti ad affrontare le sfide che gli sviluppatori hanno dovuto affrontare finora lavorando con i contratti intelligenti, gli elementi chiave che hanno caratterizzato il progetto e il cui sfruttamento ha portato al suo fallimento.

ONE di queste startup è Legalese, un progetto nato dagli sforzi interni dell'acceleratore di startup JFDI Asia e che vanta tra le sue fila un illustre co-fondatore di tale attività.

Co-fondato da Virgil Griffith e Wong Meng Weng, Legalese è un progetto open source che scrive un nuovo linguaggio di programmazione specificamente per smart contract. Chiamato L4, il linguaggio è progettato per aiutare i programmatori a VET correttamente i contratti prima che vadano in onda.

Dopo aver vinto $ 8.888 da unprogramma di sovvenzioniofferto da progetto finanziario autonomoLaboratori di stringhe, Griffith ha affermato di essere pronto a continuare il suo lavoro con un team di leader affermati nel settore.

Griffith ha detto a CoinDesk:

"L'idea fondamentale è che volevamo creare un linguaggio di programmazione per il diritto. Fondamentalmente è un modo matematico per descrivere obblighi e relazioni."

Utilizzando il cosiddetto calcolo modale mu, Griffth e Wong, che in precedenza avevano progettato l'infrastruttura di posta elettronica RFC4408, hanno superato di gran lunga altri 30 candidati per la sovvenzione.

Nuovo linguaggio di programmazione

L'offerta di punta di Legalese è il linguaggio formale L4, progettato per semplificare il rilascio da parte dei programmatori di contratti intelligenti per uso pubblico senza la necessità di sottoporli a verifica.

I programmatori, hanno detto i responsabili del progetto, avrebbero scritto in L4 che poi si sarebbe convertito in Solidity, il linguaggio di programmazione di nuova creazione di Ethereum. Questo linguaggio potrebbe poi essere compilato in byte code, che verrebbe letto e interpretato dalle macchine virtuali Ethereum (EVM), il componente del protocollo che legge e gestisce le istruzioni dinamiche.

Il primo prodotto del progetto è un software-as-a-serviceapplicazioneprogettato per aiutare gli imprenditori a completare la documentazione per un round di investimento iniziale o di finanziamento iniziale, tra cui la codifica di accordi tra azionisti, risoluzioni aziendali, avvisi sui diritti e risoluzioni aziendali.

In futuro, il lavoro di Legalese potrebbe aiutare a prevenire il rilascio di codice con scappatoie che possono essere sfruttate dagli aggressori, secondo Tom Ding, co-fondatore di String Labs e co-fondatore della Blockchain University.

Ding ha detto:

"Quando scrivi il contratto vuoi catturare tutti i bug. Gli avvocati usano la loro istruzione ed esperienza per catturare le scappatoie e gli smart contract hanno bisogno dello stesso."

Sovvenzioni a catena aperta

Annunciato anche da String Labs, startup specializzata in cronologia creditizia on-chainStoriaha vinto 10.000 dollari per creare un sistema di cronologia creditizia che accompagni gli utenti oltre confine.

Le cronologie creditizie online potrebbero poi essere utilizzate da altri contratti intelligenti per facilitare i prestiti sia online che offline.

"L'idea fondamentale è quella di abbassare il costo delle transazioni", ha affermato Ding.

Legalese e Distory sono i primi vincitori di quello che Ding spera sarà unciclo continuo di sovvenzionifinanziando progetti specificamente basati su blockchain pubbliche.

Immagine in caratteri piccolitramite Shutterstock