Blockchain Coders Win Grant to Fix Smart Contracts With 'Legalese'

Blockchain startup Legalese has won a grant to develop a smart contracts programming language.

AccessTimeIconJul 12, 2016 at 11:00 p.m. UTC
Updated Aug 18, 2021 at 5:02 p.m. UTC

Presented By Icon

Election 2024 coverage presented by

Stand with crypto

The mantra 'move fast and break things' may work well in traditional software, but as the demise of The DAO illustrated, the approach might not be right for experimental financial technologies.

But in the wake of The DAO's demise, new efforts are beginning to emerge that seek to address the challenges developers have so far faced working with smart contracts, the key building blocks that underlined the project and whose exploitation led to its failure.

  • Bitcoin Mining in the U.S. Will Become 'a Lot More Decentralized': Core Scientific CEO
    13:18
    Bitcoin Mining in the U.S. Will Become 'a Lot More Decentralized': Core Scientific CEO
  • Binance to Discontinue Its Nigerian Naira Services After Government Scrutiny
    05:10
    Binance to Discontinue Its Nigerian Naira Services After Government Scrutiny
  • The first video of the year 2024
    04:07
    The first video of the year 2024
  • The last regression video of the year 3.67.0
    40:07
    The last regression video of the year 3.67.0
  • One such startup is Legalese, a project that grew out of internal efforts at seed accelerator JFDI Asia, and boasts a notable co-founder of that operation among its ranks.

    Co-founded by Virgil Griffith and Wong Meng Weng, Legalese is an open-source project writing a new programming language specifically for smart contracts. Called L4, the language is designed to help coders properly vet contracts before they go live.

    After winning $8,888 from a grants program offered by autonomous financial project String Labs, Griffith said he’s ready to continue his work with a team of established leaders in the industry.

    Griffith told CoinDesk:

    "The fundamental idea is that we wanted to create a programming language for law. Basically it is a mathematical way to describe obligations and relationships."

    Using what is called the modal mu-calculus, Griffth and Wong, who previously designed the email infrastructure RFC4408, beat out about 30 other applicants for the grant.

    New programming language

    Legalese’s flagship offering is the L4 formal language, designed to make it easier for programmers to release smart contracts for public use without needing to have those contracts vetted.

    Coders, the project leads said, would write in L4 which would then convert into Solidity, ethereum's newly created programming language. This language could then be compiled to byte code, which would be read and interpreted by ethereum virtual machines (EVMs), the component of the protocol that reads and handles the dynamic instructions.

    The project's first product is a software-as-a-service application designed to help entrepreneurs complete paperwork for an angel or seed round, including encoding shareholder agreements, corporate resolutions, rights notices and corporate resolutions.

    In the future, Legalese’s work could help prevent the release of code with loopholes that can be exploited by attackers, according to String Labs co-founder and Blockchain University co-founder Tom Ding.

    Ding said:

    "When you write the contract you want to catch all the bugs. Lawyers use their education and experience to catch loopholes and smart contracts need the same."

    Open chain grants

    Also announced By String Labs, on-chain credit history startup Distory won $10,000 to build a credit history system that that travels with users across borders.

    The online credit histories could then be used by other smart contracts to facilitate both online and offline borrowing.

    "The ultimate idea is to lower the cost of transaction," said Ding.

    Legalese and Distory are the first winners of what Ding hopes will be an ongoing cycle of grants funding projects specifically built on public blockchains.

    Fine print image via Shutterstock

    Disclosure

    Please note that our privacy policy, terms of use, cookies, and do not sell my personal information have been updated.

    CoinDesk is an award-winning media outlet that covers the cryptocurrency industry. Its journalists abide by a strict set of editorial policies. CoinDesk has adopted a set of principles aimed at ensuring the integrity, editorial independence and freedom from bias of its publications. CoinDesk is part of the Bullish group, which owns and invests in digital asset businesses and digital assets. CoinDesk employees, including journalists, may receive Bullish group equity-based compensation. Bullish was incubated by technology investor Block.one.


    Learn more about Consensus 2024, CoinDesk's longest-running and most influential event that brings together all sides of crypto, blockchain and Web3. Head to consensus.coindesk.com to register and buy your pass now.