MITとプリンストンの科学者が協力して、ハイステークスなトランザクションを目的とした安全な代替言語を開発
ニューヨーク - 2020年6月10日 - 本日、BlockstackとAlgorandの2つのブロックチェーン業界のリーダーは、独自のスマートコントラクト言語であるClarityをサポートする独立したオープンソース・プロジェクトを共同で発表しました。現在の状態を超えて業界を成熟させるために、より安全でセキュアで予測可能なスマートコントラクト言語の必要性を認識し、プリンストンのコンピュータ・サイエンス学博士であるBlockstack創設者Muneeb Ali博士とMITのコンピュータ・サイエンス学部教授でAlgorand創設者であるSilvio Micaliが率いるチームが、Clarityの設計と開発に協力します。
これまでのところ、2つの主要な暗号通貨プロジェクトが一緒になって、現在のソリューションよりも予測可能性と信頼性を必要とする数億ドル規模のハイステークス・トランザクションに取り組む開発者のニーズに特化した代替スマートコントラクト言語をリリースするのはこれが初めてです。AlgorandとBlockstackはどちらもCoinMarketCapのトップ100プロジェクトであり、それぞれMITとプリンストンのコンピュータ・サイエンス学部に機嫌を持つ深い科学的ルーツがあります。
「スマートコントラクトにロックアップされた価値は最近10億ドルを超えました。その数は指数関数的に増加し続ける可能性があります」とBlockstackの創設者であるMuneeb Ali博士は述べています。「JavaScriptはWebアプリの作成に最適な言語かもしれませんが、スマートコントラクトには検証可能性とセキュリティに関する根本的に異なる要件があり、異なるアプローチが必要です。リスクが低い場合は、安全でない言語の使用でも構いませんが、実際のユースケースが増加している現在、真剣なアップグレードの時期が来ています。」
このコラボレーションは、スマートコントラクト開発に向けた重要なステップです。多くの組織がスマートコントラクトを使用して実験を行ってきましたが、ほとんどの場合、これは重要な使用に至らず、業界の成熟を妨げてきました。経験上、今日最も人気のあるスマートコントラクト言語を使用して安全で効果的なコードを生成することは困難な場合があります。一般的な「決定不可能な（undecidable）」言語とは異なり、その性質上、事前の実行なしではコントラクトが特定の状況でどのように動作するかを正確に知ることができません。Clarityは「決定可能な（decidable）」言語です。つまり、開発者は数学的に確実にプログラムが何をするか、もしくはしないかを事前に知ることができます。このシフトは、大規模で真剣な使用を現在妨げている主要な障害に対処します。
Algorandの創設者であるSilvio Micali博士は、次のように述べています。「スマートコントラクトは、第三者の仲介業者の必要性を排除し、摩擦のない経済交流を促進するため、ブロックチェーンの普及促進には不可欠です。
スマートコントラクトに保存されている資産の量と価値は高いため、Clarityのような次世代のプログラミング言語の登場は、より高いレベルの信頼とセキュリティを要求する大企業や政府向けのブロックチェーンベースのソリューション実現の可能性を広げます。」
さらに、AlgorandとBlockstackは、Clarityをチェーン間のコミュニケーションに向けて取り組む方法であると見なし、伝統的に第三者の仲介者を必要とする閉鎖的環境を回避するために、他の人々もこのオープンソース・イニシアチブに参加するよう招待します。Clarityを使用すると、開発者は広く採用された決定可能なオープンソース言語を使用して、相互間のコントラクトをシームレスに開始・実行できます。その実現のため、両チームは引き続きブロックチェーンの相互運用性に向けて共同で取り組み、複数のプラットフォーム間でスマートコントラクトを実行する方法を提供します。詳細について、またはこのオープンソース・イニシアチブに協力するには、Clarity-lang.orgまたはGitHubにアクセスしてください。
Algorand Inc.について
Algorand Inc.は、次世代の金融商品向けに、世界初のオープンソースでパーミッションレスの純粋なPoSブロックチェーン・プロトコルを構築しました。このブロックチェーン、アルゴランド・プロトコルは、チューリング賞を受賞した暗号学者シルビオ・ミカリの発案によるものです。Algorand Inc.は、金融取引から摩擦を取り除くことに専念するテクノロジー企業であり、価値の創造と交換を可能にし、新しい金融ツールとサービスを構築し、資産を連鎖的にもたらし、責任あるプライバシーモデルを提供することで、Defiの進化を推進しています。AlgorandのSmart Contract Architectureの詳細は、こちらで確認できます。詳細については、algorand.comにアクセスしてください。
Blockstack PBCについて
Blockstack PBCは、オンライン・データの所有権を開発者と消費者に返すユーザー所有のインターネット用ソフトウェアであるBlockstackの背後にある会社です。2013年に設立され、ニューヨーク市に本社を置き、カナダ、ヨーロッパ、アジアに従業員と請負業者を抱えるBlockstack PBCは、ユニオンスクエア・ベンチャーズ、Yコンビネーター、ラックス・キャピタル、ウィンクルボス・キャピタル、ナーバル・ラビカントなどから7,500万ドル以上の支援を受けています。Blockstackソフトウェアはオープンソースであり、7,000を超える強力なグローバル・コミュニティがあります。
2019年7月のSEC認定オファリング以来、Blockstackはトークン・オファリングにおいて4,500以上の参加者にSTXを配布し、リクルート、ハッシュキーグループ、SNZ、フェンブシなどとのパートナーシップを含むアジアでの戦略的パートナーシップを築き上げました。 Blockstackは最近、Stacks 2.0のテストネットをリリースしました。これは、開発者とマイナーがBlockstackの最新のコンセンサス・メカニズムであるProof of Transfer（PoX）に参加できるアップグレードです。詳細については、blockstack.orgをご覧ください。