プログラミング言語の起源を移動することは、スーパーCypherpunkではありません

Facebook（現在のメタ）は、Libra/Diemチームが主要なスマートコントラクト言語（ビットコインスクリプト、Ethereum Virtual Machine Bytecode言語）を比較した後に動きを作成しました

In the rapidly evolving landscape of blockchain technology, the choice of programming language can significantly influence the development and adoption of decentralized applications (apps). While Solidity has emerged as a dominant force in the Ethereum ecosystem, another programming language is quietly gaining momentum: Move.

ブロックチェーンテクノロジーの急速に進化する景観では、プログラミング言語の選択は、分散型アプリケーション（APP）の開発と採用に大きな影響を与える可能性があります。堅牢性はイーサリアムエコシステムの支配的な力として浮上していますが、別のプログラミング言語は静かに勢いを増しています：動きです。

Created by Facebook (now Meta) and later spun out as a fully independent, open-source project headed up by Aptos Labs and supported by the Aptos Foundation, Move is a new programming language designed for blockchain applications.

Facebook（現在のメタ）によって作成され、後にAPTOSラボが率い、Aptos Foundationがサポートする完全に独立したオープンソースプロジェクトとして紡がれたMoveは、ブロックチェーンアプリケーション向けに設計された新しいプログラミング言語です。

The story begins with the Libra/Diem project, which set out to create a blockchain-based stablecoin. As the project progressed, the team made a comprehensive comparison of major smart contract languages, including Bitcoin Script and Ethereum Virtual Machine (EVM) bytecode languages.

ストーリーは、ブロックチェーンベースのStablecoinを作成することを目指しているLibra/Diemプロジェクトから始まります。プロジェクトが進むにつれて、チームは、ビットコインスクリプトやイーサリアム仮想マシン（EVM）バイトコード言語を含む主要なスマートコントラクト言語を包括的に比較しました。

After careful consideration, they reached the conclusion that their formidable in-house tech talent could develop a programming language specifically designed for crypto finance, drawing upon years of private and public sector research in programming language design.

慎重に検討した後、彼らは、彼らの手ごわい社内の技術人材が、プログラミング言語設計における長年の民間および公共部門の研究に基づいて、Crypto Finance向けに特別に設計されたプログラミング言語を開発できるという結論に達しました。

This programming language would be imbued with several critical properties:

このプログラミング言語には、いくつかの重要なプロパティが染み込んでいます。

* Fast and cheap transactions to create a competitive user experience, especially for decentralized finance (DeFi) applications. Aptos aims for high transaction throughput, with theoretical capabilities reaching up to 160,000 transactions per second (TPS) through its parallel execution engine, Block-STM.

*競争力のあるユーザーエクスペリエンスを作成するための高速かつ安価なトランザクション、特に分散型ファイナンス（DEFI）アプリケーションのために。 APTOSは、並列実行エンジンであるBlock-STMを介して、理論機能が最大160,000秒のトランザクション（TPS）に達することを目指しています。

* Sub-second finality to ensure swift transaction confirmation, enhancing the user experience in time-sensitive applications.

*迅速なトランザクションの確認を確保するための秒サブ最終性、時間に敏感なアプリケーションでのユーザーエクスペリエンスが向上します。

* Future upgrades that won’t disrupt existing projects. This helps developers feel more confident building long-term solutions without worrying about things breaking because of a Move upgrade.

*既存のプロジェクトを混乱させない将来のアップグレード。これにより、開発者は、動きのアップグレードのために壊れることを心配することなく、長期的なソリューションをより自信を持っていると感じます。

* The ability to upgrade smart contracts without affecting the user experience, which is essential for mainstream adoption. This will allow teams to quickly implement bug fixes and new features with zero downtime.

*主流の採用に不可欠なユーザーエクスペリエンスに影響を与えることなく、スマートコントラクトをアップグレードする機能。これにより、チームはダウンタイムがゼロのバグ修正と新機能をすばやく実装できます。

These factors are crucial for startups applying for venture capital funding.

これらの要因は、ベンチャーキャピタルの資金調達を申請するスタートアップにとって非常に重要です。

Move smart contracts are designed to be upgradeable without affecting the user experience, which is essential for mainstream adoption. This enables teams to implement bug fixes and new features quickly.

MOVEスマートコントラクトは、主流の採用に不可欠なユーザーエクスペリエンスに影響を与えることなくアップグレードできるように設計されています。これにより、チームはバグ修正と新機能を迅速に実装できます。

Smart contract flexibility through Move on Aptos’ specific security features will result in better and faster product shipping. Being more flexible, Move on Aptos can quickly adapt to support new ecosystems.

Aptosの特定のセキュリティ機能をMove Onのスマートコントラクトの柔軟性は、製品の配送を改善し、より速くすることになります。より柔軟であるため、Aptosを動かすことで、新しいエコシステムをサポートするために迅速に適応できます。

As it was initially developed for Meta’s Diem project, Move is designed for safety, resource management and performance, making it attractive for developers looking for a secure yet robust language for smart contracts.

最初はMetaのDiemプロジェクト向けに開発されたため、Moveは安全性、リソース管理、パフォーマンス向けに設計されており、スマートコントラクトの安全で堅牢な言語を探している開発者にとって魅力的です。

When deploying code using Move, the code will be verified across several crucial coding conditions like proper resource management, type correctness and reference safety. No matter what happens to the code, it will be verified first to prevent any faulty or malicious smart contracts from running.

動きを使用してコードを展開する場合、コードは、適切なリソース管理、タイプの正確性、参照安全など、いくつかの重要なコーディング条件で検証されます。コードに何が起こっても、最初に誤ったまたは悪意のあるスマートコントラクトが実行されないように検証されます。

This is the power of Move’s built-in bytecode verification.

これは、Moveの組み込みバイトコード検証の力です。

Real-time verification of the absence of bugs

バグの欠如のリアルタイム検証

Renowned computer science pioneer Edsger Dijkstra noted, “Program testing can be used to show the presence of bugs, but never to show their absence!”

有名なコンピューターサイエンスの先駆者であるEdsger Dijkstraは、「プログラムテストを使用してバグの存在を示すことができますが、決して不在を示さない！」

Move’s formal verification capabilities let developers actually prove that there are no bugs in specific code according to preset specifications.

Moveの正式な検証機能により、開発者は、プリセットの仕様に従って特定のコードにバグがないことを実際に証明できます。

MoveVM is less battle-tested than Ethereum’s virtual machine, but as Rushi Manche, founder of Movement Labs, has explained, Move requires much less code auditing. The MoveVM runtime can act as an “auditor at runtime.”

MoveVMは、Ethereumの仮想マシンよりもバトルテストが少ないですが、Movement Labsの創設者であるRushi Mancheが説明しているように、Moveにはコード監査がはるかに少ないと説明しています。 MoveVMランタイムは、「実行時に監査人」として機能することができます。

The verifier inside the MoveVM ensures that the transaction code is not harmful and that it cannot create, duplicate or destroy resources not allowed by the signer(s) of the transaction. In other words, MoveVM is an “auditor at runtime” rather than a human smart contract auditor.

MOVEVM内の検証者は、トランザクションコードが有害ではなく、トランザクションの署名者が許可されていないリソースを作成、複製、または破壊できないことを保証します。言い換えれば、MoveVMは、人間のスマートコントラクト監査人ではなく、「実行時の監査人」です。

Today, Move on Aptos is more than just a smart contract language. Move on Aptos is the longest-standing, most recognized and widely used version of Move, boasting one of the fastest-growing developer communities and a rapidly growing ecosystem of infrastructure, tooling and projects.

今日、Move On Aptosは単なるスマートコントラクト言語以上のものです。 Move On Aptosは、最も速く成長している開発者コミュニティの1つと、インフラストラクチャ、工具、プロジェクトの急速に成長しているエコシステムを誇る、最も長く、最も認知され、広く使用されている動きのバージョンです。

Quickly verifying code before deployment created the conditions for the Move on Aptos ecosystem. From a flawed Web2 beginning, Move is now primed to grow DeFi.

展開前にコードをすばやく検証すると、APTOSエコシステムの動きの条件が作成されました。欠陥のあるWeb2の始まりから、移動はdefiを成長させるために準備されました。