Move:Solidityの問題を解決することを約束する言語

Moveについて聞いたことがありますか？このプログラミング言語は、MetaのプロジェクトであるDiemのブロックチェーンを構築するために生まれましたが(、その後は中止されました)。それでも、他のプロジェクトで生き続け、力を増しています。

なぜMoveは異なるのか？

Solidity (というEthereumの言語は、長年にわたりセキュリティの問題を抱えていましたが、Moveは最大のセキュリティを考慮して最初から設計されました。その提案は？二重支出を解決し、誰もが許可なくあなたのデジタル資産をコピーまたは削除できないようにすることです。

実際にはどのように機能しますか？

Moveは線形論理と呼ばれる非常に賢い論理を使用します：各リソース)あなたのデジタル資産(は一度だけ使用できます。これで完了です。コピーもされず、自動的に削除もされません。ブロックチェーン上の各通貨が一意で、許可なしには触れられないかのようです。

もう一つ重要な点: 静的型。すべての変数は最初から定義する必要があります )数字、テキストなど(、これはリソースを保護し、セキュリティの漏洩を引き起こす無駄なエラーから守ります。

Moveのセキュリティの3つの柱

1) ダイナミックデスパッチなし — Moveは、各呼び出しが正確にどこに到達するかを特定することができ、驚きがありません。これにより、コードが安全かどうかを確認することが非常に容易になります。

2) 強いモジュラリティ — 各モジュールは装甲キャプセルのように機能します。外部のコードはモジュールのルールにアクセスしたり破ったりすることはできません。これはオブジェクト指向プログラミングのクラスのようですが、はるかに安全です。

3) 制御された参照 — RustおよびC++に触発されたMoveは、データへのアクセスを厳密に管理します。一度に少なくとも1つの可変参照が存在することを保証するチェッカーがあり、競合を回避します。

実用的な結果

すべてこれにより、従来のブロックチェーンよりもはるかに低いガスコスト + 次元の異なるセキュリティを実現します。Moveは、型、メモリ、またはリソースのルールに従わないプログラムを拒否します。取引は行いません。

要約すると、Moveは過去の過ちから学んだ言語です。手間をかけずにスマートコントラクトを構築したい人に最適です。