Move Programming Language의 기원은 매우 사이퍼 펑크가 아닙니다

Facebook (현재 메타) Libra/Diem 팀이 주요 스마트 계약 언어 (Bitcoin Script, Ethereum Virtual Machine Bytecode Languages)를 비교 한 Move를 만들었습니다.

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.

빠르게 진화하는 블록 체인 기술 환경에서 프로그래밍 언어의 선택은 분산 된 응용 프로그램 (APPS)의 개발 및 채택에 크게 영향을 줄 수 있습니다. 이더 리움 생태계에서 견고성이 지배적 인 힘으로 부상했지만 또 다른 프로그래밍 언어는 조용히 모멘텀을 얻는 것입니다.

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 (현재 Meta)이 제작 한 후 Aptos Labs가 이끄는 완전히 독립적 인 오픈 소스 프로젝트로 회전하고 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.

이 이야기는 Libra/Diem 프로젝트로 시작하여 블록 체인 기반 Stablecoin을 만들기 시작했습니다. 프로젝트가 진행됨에 따라 팀은 Bitcoin Script 및 Ethereum Virtual Machine (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.

신중하게 고려한 후, 그들은 강력한 사내 기술 인재가 크립토 금융을 위해 특별히 설계된 프로그래밍 언어 설계에 대한 수년간의 민간 및 공공 부문 연구를 통해 설계된 프로그래밍 언어를 개발할 수 있다는 결론에 도달했습니다.

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 Contracts는 사용자 경험에 영향을 미치지 않고 업그레이드 할 수 있도록 설계되었으며, 이는 주류 채택에 필수적입니다. 이를 통해 팀은 버그 수정 및 새로운 기능을 빠르게 구현할 수 있습니다.

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의 특정 보안 기능을 이동함으로써 스마트 계약 유연성을 통해 제품 배송이 향상되고 빠른 제품이 더 빠릅니다. 보다 유연하기 때문에 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 Project 용으로 처음 개발되었으므로 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.

Move를 사용하여 코드를 배포 할 때, 적절한 자원 관리, 유형의 정확성 및 참조 안전과 같은 몇 가지 중요한 코딩 조건에서 코드가 확인됩니다. 코드에 어떤 일이 발생하든 먼저 결함이 있거나 악의적 인 스마트 계약이 실행되는 것을 방지하는 것이 먼저 확인됩니다.

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는 코드 감사가 훨씬 적습니다. 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.

오늘날 Aptos의 이동은 단순한 계약 언어 이상입니다. Aptos에서의 움직임은 가장 길고 가장 인정 받고 널리 사용되는 Move 버전으로, 가장 빠르게 성장하는 개발자 커뮤니티 중 하나와 빠르게 성장하는 인프라, 툴링 및 프로젝트 생태계를 자랑합니다.

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 시작부터 Move는 이제 Defi를 성장시키기 위해 프라이밍되었습니다.