Move: 一種承諾解決Solidity問題的語言

已經聽說過Move嗎？這門編程語言誕生於構建Diem區塊鏈(Meta的項目，後來被中止)，但在其他項目中仍然活着並不斷壯大。

爲什麼Move與衆不同？

盡管Solidity (是以太坊的語言)多年來存在安全問題，但Move從一開始就是爲了最大安全性而設計的。其提案是什麼？解決雙重支出，確保沒有人能夠在沒有許可的情況下復制或刪除您的數字資產。

在實踐中如何運作？

Move使用了一種非常智能的邏輯，稱爲線性邏輯：每個資源(您的數字資產)只能使用一次。完成。不會復制，也不會自行刪除。就像區塊鏈上的每一枚幣都是獨一無二且未經授權無法觸碰的。

另一個重要細節：靜態類型。每個變量在開始時都需要被定義(數字、文本等)，這可以保護資源免受導致安全漏洞的愚蠢錯誤。

Move安全的三大支柱

1) 無動態調度 — Move 能夠準確識別每個調用的最終位置，沒有意外。這大大簡化了檢查代碼是否安全的過程。

2) 強模塊化 — 每個模塊都像一個裝甲膠囊。外部代碼無法訪問或破壞模塊的規則。這就像面向對象編程中的類，但安全性更高。

3) 受控引用 — 受Rust和C++的啓發，Move嚴格控制您如何訪問數據。它有一個檢查器，確保每次至少存在一個可變引用，從而避免衝突。

實際結果

所有這些帶來了：比傳統區塊鏈更低的燃氣費用 + 安全性達到了另一個層次。Move拒絕任何不遵循類型、內存或資源規則的程序。不進行交易。

總之：Move是一種通過吸取過去的教訓而誕生的語言。非常適合想要構建智能合約而不想頭疼的人。