Simplicityが新たな装いになりました。再設計されたサイトは、現在の言語の位置付けを反映しています。Liquidメインネットですでに稼働し、実際の金融コントラクトを動かし、次世代のビットコインアプリケーションを作る開発者や機関のために構築されています。
今回の刷新は、実際の進展を背景にしています。耐量子署名はLiquidメインネットですでに稼働し、Lending v1コントラクトのコードは完成しており、エコシステム全体のチームがすでにSimplicityで金融ロジックを記述しています。新しいサイトは、これらを紹介し、あらゆる種類の訪問者に出発点を提供するために作られました。
デプロイ前に証明する
Simplicityの背後にある考えは、多くのビットコイン開発者が、今こそ必要だと感じるものです。過去10年の数え切れないスマートコントラクトの失敗は、リリース前に誰も安全性を証明できないコードという同じ隔たりにさかのぼります。リエントランシーバグ、ロジックエラー、制御不能なガスコスト、1回の取引でコントラクトから資金を流出させるエクスプロイトはすべて、その弱点から生じました。
Simplicityはその隔たりを埋めます。高度なコベナンツや金融商品を表現できるほど表現力があり、稼働前にコントラクトの挙動を正確に証明できるほど形式的に検証可能な低レベル言語です。リソースコストは実行前に計算されるため、予期しない手数料や取引途中のout-of-gas失敗はありません。開発者はRustに似た高水準言語SimplicityHLで記述し、その下でフルノードがコンパイル済みのSimplicityを実行します。開発者はIDEを開き、ワンクリックで最初のコントラクトをデプロイして、それが主張どおりに機能することの証明を読めます。
この表現力と証明可能性の組み合わせが、Simplicityを汎用スマートコントラクトプラットフォームと分けるものです。単一の証明不能な仮定が莫大な損失につながり得る金融のために、専用設計されています。
資本市場のために構築
新しいサイトは、専用のCapital Marketsページを通じて金融機関に直接語りかけます。見出しは「ビットコイン上の高保証金融プログラミング」です。Simplicityは、デプロイ前に監査・証明でき、コストが予測可能で、Liquid上で決済されるコントラクトを可能にします。
機関にとってこの組み合わせは、システムが持ちこたえることを期待することと、持ちこたえると知ることの違いです。
Simplicityコントラクトは仕様に対して数学的に検査できるため、金融アプリケーションが依存するセキュリティ保証は、後から追加されるのではなく言語そのものの一部です。チームはプログラマブルな資本市場を構築し、資産を発行し、Liquid上で取引を決済したうえで、コントラクトを本番導入するために直接問い合わせることができます。
広がる可能性のカタログ
新しいAppsページには、Simplicity上ですでに構築されているものが集められています。融資、自動積立、ロイヤルティを強制する資産トークン化、ビットコイン相続、ピアツーピア取引、耐量子ウォレット、二者間エスクローです。
これは新しいビルダーの先行スタートにもなります。開発者は空のファイルを開く代わりに既存ライブラリのコントラクトを適用でき、アイデアから実際のネットワーク上で動くデプロイ済みアプリケーションまでの道のりを短縮できます。
ぜひご覧ください
Simplicityの次の時代を始められることを楽しみにしています。simplicity-lang.orgで新しいサイトをご覧ください。
- SimplicityHL IDEでコントラクトをデプロイする。
- 金融アプリケーションでのSimplicityの評価について相談を予約する。
- 言語をより深く知るためにドキュメントを読む。
