Die Herkunft der Programmiersprache ist nicht super Cypherpunk

Facebook (jetzt Meta) erstellte den Umzug, nachdem das Waage/Diem -Team die wichtigsten Smart Contract -Sprachen verglich (Bitcoin -Skript, Ethereum Virtual Machine Bytecode Languages)

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.

In der sich schnell entwickelnden Landschaft der Blockchain -Technologie kann die Auswahl der Programmiersprache die Entwicklung und Einführung dezentraler Anwendungen (Apps) erheblich beeinflussen. Während die Solidität als dominierende Kraft im Ethereum -Ökosystem herausgestellt wurde, gewinnt eine andere Programmiersprache stillschweigend an Dynamik: Bewegung.

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.

Move wurde von Facebook (jetzt Meta) erstellt und später als vollständig unabhängiges Open-Source-Projekt ausgetauscht und von der Aptos Foundation unterstützt. Er ist eine neue Programmiersprache, die für Blockchain-Anwendungen entwickelt wurde.

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.

Die Geschichte beginnt mit dem Libra/Diem-Projekt, das ein Blockchain-basierter Stablecoin erstellt hat. Im Laufe des Projekts führte das Team einen umfassenden Vergleich der wichtigsten Smart -Vertragssprachen, einschließlich Bytecode -Sprachen von Bitcoin -Skript und Virtual Machine (Ethereum Virtual Machine).

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.

Nach sorgfältiger Überlegung erreichten sie die Schlussfolgerung, dass ihr beeindruckendes internes technisches Talent eine Programmiersprache entwickeln könnte, die speziell für die Kryptofinanzierung entwickelt wurde und auf jahrelange private und öffentliche Forschung in der Programmierung des Programmiers zurückgeht.

This programming language would be imbued with several critical properties:

Diese Programmiersprache würde von mehreren kritischen Eigenschaften durchdrungen sein:

* 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.

* Schnelle und billige Transaktionen zur Erstellung einer wettbewerbsfähigen Benutzererfahrung, insbesondere für Dezentralfinanzierungsanwendungen (DEFI). Aptos zielt auf einen hohen Transaktionsdurchsatz ab, wobei die theoretischen Fähigkeiten über seine parallele Ausführungsmaschine Block-STM bis zu 160.000 Transaktionen pro Sekunde (TPS) erreichen.

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

* Sub-Sekunden-Endgüter, um eine SWIFT-Transaktionsbestätigung zu gewährleisten, wodurch die Benutzererfahrung in zeitempfindlichen Anwendungen verbessert wird.

* 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.

* Zukünftige Upgrades, die bestehende Projekte nicht stören. Dies hilft den Entwicklern, sich selbstbewusster zu fühlen, langfristige Lösungen aufzubauen, ohne sich Sorgen zu machen, dass sich die Dinge aufgrund eines Umzugs-Upgrades durch etwas brechen.

* 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.

* Die Möglichkeit, intelligente Verträge zu verbessern, ohne die Benutzererfahrung zu beeinflussen, was für die Mainstream -Akzeptanz von wesentlicher Bedeutung ist. Auf diese Weise können Teams Fehlerbehebungen und neue Funktionen ohne Ausfallzeiten schnell implementieren.

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

Diese Faktoren sind für Start -ups von entscheidender Bedeutung, die die Finanzierung von Risikokapital beantragen.

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 Contracts sind so konzipiert, dass sie aufgerüstet werden können, ohne die Benutzererfahrung zu beeinflussen, was für die Mainstream -Akzeptanz von wesentlicher Bedeutung ist. Auf diese Weise können Teams Fehlerbehebungen und neue Funktionen schnell implementieren.

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.

Die Flexibilität der Smart -Vertragsflexibilität durch den Schritt der spezifischen Sicherheitsfunktionen von APTOS führt zu einer besseren und schnelleren Produktversand. Wenn Sie flexibler sind, können Sie sich auf Aptos schnell anpassen, um neue Ökosysteme zu unterstützen.

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.

Da es ursprünglich für das DIEM -Projekt von Meta entwickelt wurde, ist Move für Sicherheit, Ressourcenmanagement und Leistung ausgelegt, wodurch es für Entwickler attraktiv ist, die nach einer sicheren, aber robusten Sprache für intelligente Verträge suchen.

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.

Bei der Bereitstellung von Code mithilfe von Move wird der Code über mehrere wichtige Codierungsbedingungen wie die richtige Ressourcenverwaltung, die Korrektheit der Typtyp und die Referenzsicherheit überprüft. Unabhängig davon, was mit dem Code passiert, wird es zunächst verifiziert, um zu verhindern, dass fehlerhafte oder böswillige intelligente Verträge ausführen.

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

Dies ist die Kraft der integrierten Bytecode-Überprüfung von Move.

Real-time verification of the absence of bugs

Echtzeitüberprüfung des Fehlens von Fehlern

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

Der renommierte Informatik -Pionier Edsger Dijkstra stellte fest: „Programmtests können verwendet werden, um das Vorhandensein von Bugs zu zeigen, aber niemals ihre Abwesenheit zu zeigen!“

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

Mit den formellen Überprüfungsfunktionen von MOVE können Entwickler tatsächlich beweisen, dass es gemäß den voreingestellten Spezifikationen keine Fehler im bestimmten Code gibt.

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 ist weniger kattestiert als die virtuelle Maschine von Ethereum, aber wie Rushi Manche, Gründer von Movement Labs, erklärt, erfordert Move viel weniger Codeprüfungen. Die MoveVM -Laufzeit kann als „Auditor zur Laufzeit“ fungieren.

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.

Der Überprüfer im MoveVM stellt sicher, dass der Transaktionscode nicht schädlich ist und Ressourcen nicht erstellen, duplizieren oder zerstören kann, die nicht von den Unterschriften der Transaktion (en) zulässig sind. Mit anderen Worten, MoveVM ist eher ein "Auditor bei der Laufzeit" als ein menschlicher Smart Contract -Auditor.

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.

Heutzutage ist ein Schritt auf Aptos mehr als nur eine intelligente Vertragssprache. Move on Aptos ist die am längsten anstehende, am häufigsten anerkannte und am weitesten verbreitete Version von Move, die eines der am schnellsten wachsenden Entwicklergemeinschaften und eines schnell wachsenden Ökosystems für Infrastruktur, Werkzeuge und Projekte bietet.

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.

Die schnelle Überprüfung des Code, bevor die Bereitstellung die Bedingungen für den Umzug des Aptos -Ökosystems erstellt hat. Von einem fehlerhaften Web2 -Beginn ist der Move nun darauf vorbereitet, Defi zu wachsen.