Legalese がスマートコントラクトの修正に資金提供を受ける

クレイジー解説：DAOクラウドファンディングプロジェクトはかつて大きな期待を集めていましたが、スマートコントラクトの抜け穴により資金の盗難やシステムクラッシュが発生し、ブロックチェーンコミュニティに大きな打撃を与えました。その後も何度も修復計画が提案されたが、衰退を食い止めることは難しかった。将来同様の状況を回避するために、コミュニティは積極的に技術の改善に取り組んでいます。スタートアップ企業 Legalese は、スマートコントラクトプログラミング言語を改良するために String Labs から資金提供を受けた。 String Labs は今後もブロックチェーンコミュニティへのスポンサーシップをさらに強化していきます。

翻訳: Annie_Xu

「早く動いて物事を壊せ」というマントラは従来のソフトウェアには有効かもしれないが、DAO の強盗事件が示すように、そのアプローチは実験的な金融テクノロジーには有効ではないかもしれない。

しかし、DAO事件の後、スマートコントラクト開発者が直面する課題を解決しようとする人々が現れました。スマートコントラクトはこのプロジェクトの中核ブロックであり、その脆弱性がプロジェクトの失敗の主な原因です。

これらには、JFDI Asiaアクセラレーターに参加し、JFDIの著名な共同創設者が加わったスタートアップLegaleseが含まれます。

Legalese は、スマートコントラクト用の新しいプログラミング言語を作成するために Virgil Griffith と Wong Meng Weng によって共同設立されたオープンソースプロジェクトです。 L4と呼ばれるこの言語は、契約が実際に実行される前にプログラマーが厳密なチェックを実行できるように設計されています。

グリフィス氏は、自律金融プロジェクトのストリング・ラボがリーガリーゼに8,888ドルの助成金を提供し、同社が業界リーダーとともにプロジェクトを進めることができると述べた。「基本的なコンセプトは、法律のためのプログラミング言語を書きたいということです。本質的には、関係性と責任を数学的に記述する方法です。」

Wong と Griffith は、メールボックスインフラストラクチャ RFC4408 を構築しました。今回、彼らは様相ミュー計算論証システムを使用して、30 を超える他のアプリケーションに勝ち、このスポンサーシップを獲得しました。

新しいプログラミング言語

Legalese の主力製品は L4 形式言語であり、これによりプログラマーは契約内容を事前に確認することなく、パブリックスマートコントラクトを簡単に公開できます。

プロジェクトのディレクターは、プログラマーはL4でプログラミングし、それをイーサリアムの新しいプログラミング言語であるSolidityに変換できると述べた。この言語は、Ethereum 仮想マシン (EVM、動的命令を読み取って処理するプロトコルコンポーネント) によって読み取りおよび解析できるバイトコードにコンパイルされます。

このプロジェクトの最初の製品は、起業家がシードラウンドやエンジェル投資に必要な書類（暗号化された株主契約、企業決議、企業決議、権利宣言など）を完成させるのに役立つサービスとしてのソフトウェアアプリケーションです。

String LabsとBlockchain Universityの共同創設者であるトム・ディン氏は、今後Legaleseはハッカーの攻撃を防ぐために脆弱なコードのリリースを避けるだろうと語った。