本日、Blockstreamは、ビットコイン上のLiquid Network向けに設計された新しいスマートコントラクト言語Simplicityを発表したと、ビットコインマガジンに送られたプレスリリースによると述べている。SimplicityはビットコインのUTXOモデルに基づいており、形式的確認と互換性があり、契約が実行前に数学的に正しいことを証明できるようになっている。

「シンプリシティはビットコインに表現力豊かなスマートコントラクトの力を与えますが、VMベースのチェーンに関連するセキュリティの問題はありません」とブロックストリームの共同創設者兼CEOであるアダム・バック博士は述べました。「シンプリシティは、初めから形式的に指定され、安全で効率的に構築されています。シンプリシティを使うことで、ビットコイン上での革新的なユースケースを幅広く解放しています。」

シンプルさは、再帰、無限ループ、グローバル変数などの高リスク機能を回避します。この設計は、他のスマートコントラクトシステムに影響を与えたバグや脆弱性の可能性を減らすことを目的としています。

この言語は2012年にBlockstreamのエンジニアであるラッセル・オコナー博士によって初めて提案され、その後、同社の研究チームによって開発されました。Blockstreamはビットコインのインフラストラクチャとプロトコルのアップグレード、特にTaprootへの貢献で知られています。

シンプルさはいくつかのユースケースをサポートしています。

プログラム可能なボールト。
マルチユーザーのビットコインネイティブスマートバンク。
ラップされた資産やグローバルステートのない分散型取引所。
署名された主張を使用したアイデンティティとレピュテーションシステム。
B-N署名スキームを使用した機関保管セットアップ。
ガバナンスとクラウドファンディングは、静的な投票ルール、定期的な支払いロジック、アクセス制御されたサービスを備えています。
「私たちは、他のスマートコントラクトエコシステムの複雑さや脆弱性を引き継ぐことなく、表現力豊かなビットコインネイティブアプリケーションを可能にするために、Simplicityを設計しました」と、Blockstreamの研究ディレクター、アンドリュー・プールストラは述べました。「形式的手法とUTXOモデルを組み合わせることで、開発者や金融機関などのエンティティが依存できる、安全でプログラム可能なビットコイン上の金融の基盤を作り出しています。」

Liquid Networkは現在、$3.27億以上の総ロック価値(TVL)を持ち、主にビットコインと発行された資産で構成されています。Simplicityのこの環境への統合は、ビットコインのエコシステム内でアプリケーションを構築しようとする組織のための新しいツールを提供することを目的としています。
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report