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はハッカーの攻撃を防ぐために脆弱なコードのリリースを避けるだろうと語った。

「契約書を作成する際、抜け穴を避けたいものです。弁護士は教育経験を活かして抜け穴を見つけます。スマートコントラクトでも同じことが言えるはずです。」

長期スポンサーシッププロジェクト

String Labsは、オンチェーン信用記録スタートアップのDistoryも、国際的に認められた信用記録システムを構築するために1万ドルのスポンサーシップを獲得したと発表した。

スマート コントラクトはこれらの記録を使用して、オンラインおよびオフラインの融資を実行できます。

「究極のアイデアは取引コストを削減することだ」とディン氏は語った。

Legalese は Distory の最初のスポンサーの 1 つであり、Ding 氏は String Labs がパブリック ブロックチェーンの中長期スポンサー プロジェクトになることを期待しています。