以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > DOT > Info

淺析Vyper:一款受開發者歡迎的智能合約編程語言_NBS:NBS幣

Author:

Time:1900/1/1 0:00:00

昨夜開始,Curve 因受 Vyper 個別版本的重入鎖故障影響,導致旗下 alETH/msETH/pETH 等穩定池被黑客攻擊,由此引發一系列的 DeFi 次生災害與加密世界震蕩,至今仍在持續發酵中。

這也是 DeFi 世界罕見地直面針對智能合約語言層 Bug 的攻擊事件。不過相比于加密世界中常常見諸報端的 Solidity 語言,Vyper 其實并不那么為人所熟知。

那 Vyper 究竟是什么,它在 DeFi 世界中扮演著怎樣的角色,為什么它的 Bug 又會引起行業的高度關注?本篇文章 Foresight News 就帶大家來了解一下目前正處于風口浪尖的 Vyper 語言。 

Vyper 創建于 2017 年,在此之前,開發人員編寫智能合約最常用的語言是 Solidity。而 Vyper 和 Solidity 一樣,都是一種面向智能合約的編程語言,可編譯為以太坊虛擬機(EVM)的字節代碼,運行在 EVM 上。

Cardano在過去七天的社交參與度激增:金色財經報道,根據基于Cardano的分析平臺TapTools數據顯示,Cardano在過去七天里的社交參與度激增,在過去7天內的社交參與度超過4.5799億次。這并不牽強,因為社交分析平臺LunarCrush也強調了Cardano社交參與度的激增。5月11日,LunarCrush宣布Cardano成為“今日代幣”,因為它在社交參與度上名列前茅。Cardano社會參與度的上升可能是由于對其生態系統的討論增加所致。本周,Cardano見證了一系列生態系統的發展和新版本的發布。本周早些時候,Cardano節點v.8.0.0發布,它帶來了一項新的治理行動。[2023/5/15 15:02:32]

不過 Vyper 的編譯器使用 Python 進行編寫,是一種基于 Python 且兼容 EVM 的編程語言,具有強類型、小型編譯器代碼和高效的字節碼生成的特點,這也使其成為想要進入 Web3 的 Python 開發人員的最佳選擇之一。

這導致從采用率角度看,目前的 Vyper 也是僅次于 Solidity 的「第二大兼容 EVM 的智能合約編程語言」,截至此次攻擊事件發生前的 DeFiLlama 最新統計數據顯示:

Coinsilium:Multiverse NFT標準(ERC-5606)在以太坊上獲得批準,以增強Web3資產互操作性:3月20日消息,Web3風險投資商Coinsilium Group Limited表示,繼去年9月提交EIP-5606(以太坊改進提案)之后,由Metalinq技術團隊開發的新“Multiverse”NFT標準ERC-5606已成功完成以太坊社區批準程序。ERC-5606是在多個元宇宙、Web3游戲和平臺上創建多元NFT的新標準,這些NFT可以代表不同虛擬世界中的獨特資產,從而實現在這些世界之間的互操作性。ERC-5606完全兼容NFT標準ERC-721和ERC-1155。

Metalinq是一個由Coinsilium和Coinsilium投資組合公司Indorse的創始團隊支持的項目,正在構建增強Web3資產的互操作性的技術解決方案。[2023/3/20 13:15:03]

在目前的 DeFi 開發格局中(TVL 占比維度),Solidity 以 94.71% 的市場份額占據絕對壟斷地位,而 Vyper 以 3.04% 的市場份額位列第二名。

Binance更新VIP借貸計劃:1月3日消息,Binance自2023年01月03日08:00(東八區時間)起更新VIP借貸計劃,計劃中杠桿交易借貸量將乘以0.2后計入30天日均凈借貸量。例如,如果用戶在過去30天杠桿交易借貸量100萬BUSD等值加密貨幣,將在30天日均凈借貸量中以20萬BUSD計算。[2023/1/3 22:23:29]

而第三名開始往后的 Rust(0.9% )、Cairo(0.53% )、Haskell(0.26% )已經是斷崖式下降。

除了基于 Python 的特點之外,Vyper 不采用面向對象模式、內聯匯編,并且不支持代碼重用、修飾符、繼承、函數重載、遞歸調用、無限長度循環和二進制定長浮點等。

此外它還針對安全性、可讀性、可審核性和 Gas 效率進行了優化:

安全性:支持在 Vyper 中構建安全的智能合約;

美眾議院監管穩定幣的立法將對類似于UST的穩定幣實施為期兩年的禁令:9月21日消息,美國眾議院正在起草的監管穩定幣的立法將對類似于UST的穩定幣實施為期兩年的禁令,根據該法案的最新版本,發行或創建新的“內生抵押的穩定幣”(endogenously collateralized stablecoins)是非法的。該定義將適用于公開銷售的穩定幣,這些穩定幣能夠以固定數量的貨幣價值進行兌換、贖回或回購,并且僅依靠來自同一創建者的另一種數字資產的價值來維持其固定價格。

該立法草案將授權美國財政部與美聯儲、貨幣監理署、聯邦存款保險公司以及美國證券交易委員會協商,對類似Terra的代幣進行研究,此外眾議院委員會最早可能在下周對該立法進行投票。(彭博社)[2022/9/21 7:10:17]

可讀性:Vyper 的智能合約語言和編譯器實現力求簡單,以提高代碼的可讀性,尤其是對于沒有使用 Vyper 經驗的用戶以及一般沒有編程經驗的用戶;

可審核性:Vyper 代碼最大限度地讓人可讀,且其簡單架構減少了軟件錯誤,提升了智能合約的可審計性;

Vyper 的創始人 John Max Skaller 曾表示,構建 Vyper 有兩個原因:「首先,我喜歡 Python,特別是它的簡單性,但我不喜歡它缺乏范圍確定性,凡事都需要做大量更改來取得進展,因此我決定在保留與 Python 兼容性的同時,通過建造高級得多的編程語言,并在其中建造函數性編程語言的某些概念來改正這些問題。

美國CFTC專員Caroline D. Pham參觀Ripple實驗室:金色財經報道,據Watcher.Guru發推稱,美國CFTC 專員Caroline D. Pham與瑞波首席執行官Brad Garlinghouse一起參觀Ripple實驗室。[2022/9/20 7:06:58]

第二個原因是性能。我有一個稱之為 interscript 的主要 Python 程序,一個有讀寫能力的編程工具,它受到 Python 中缺乏良好結構和性能問題的困擾」。

總的來說,Vyper 的設計初衷是為了創建出智能合約參與方易懂的透明智能合約簡化流程,以主打可讀性與可審核性,從而確保安全。

本章節談及的 Vyper 優劣勢,主要是相比 Solidity 語言,畢竟從上文提到的市場份額維度,其它的智能合約語言暫時還未形成較大的氣候。

首先,Vyper 相比 Solidity 的最大優勢之一,就是它基于 Python 開發的特性,因此雖然 Vyper 的功能和流行程度不如 Solidity,但對于熟悉 Python 的開發人員來說,它是理想的可選語言。

同時,Vyper 編譯器還選擇將局部變量存儲在內存中而不是堆棧上,這使得合約更加簡單和高效,并解決了其他高級語言中常見的「堆棧過深」的問題。

Vyper 也提供了更多內置函數,以確保幾乎每個 Solidity 和 Yul 中的功能在 Vyper 中也可以實現。開發者通過內置函數可以訪問低級位運算、外部調用和代理合約操作,通過編譯時提供覆蓋文件可以實現自定義存儲布局。

而 Vyper 相比 Solidity 的劣勢也很明顯,主要源于它是一種相對 Solidity 較新的語言,所以首當其沖自然是開發者維護和社區工具層面的短板:

Vyper 至今仍然缺乏 Solidity 所擁有的廣泛社區支持——Solidity 有大量優秀的開發工具可供使用,像 OpenZeppelin 為安全的智能合約開發提供開源庫,以及 Remix 在線 IDE 和本地開發人員環境 Hardhat 等 IDE,為其提供了允許輕松開發 DApp 的工具和功能。

截至發文時,GitHub 數據顯示,Solidity 的貢獻者為 568 人,而 Vyper 為 189 人,相差 3 倍。

不過 Vyper 雖然沒有豐富的的開發工具套件,但它有更緊密集成的工具,并且也可以插入到 Solidity 開發工具中——如 Titanaboa 解釋器,具有許多與 EVM 和 Vyper 相關的內置工具,可用于實驗和開發;Dasy,作為一種基于 Vyper 的 Lisp,具有編譯時代碼執行功能。

此外從技術細節角度,Vyper 缺少修飾符、類繼承和遞歸調用,并且編程語言不是圖靈完備的。

當然這些大部分是 Vyper 特意提供更少的功能,旨在提升安全性和可審計性,以使合約更安全和易于審核,但這也使得開發人員需要額外的工作來解決這些限制,從而意味著本就不占人力優勢的 Vyper 注定開發效能偏低。

目前來看,此次 Vyper 故障只涉及 0.2.15、 0.2.16 和 0.3.0 等幾個特定版本,且從上文也可知,使用 Vyper 編寫的頭部 DeFi 項目的體量并不大,僅占不到 5% 的 TVL 市場份額。

那為何此次 Vyper 的故障卻造成了如此大的影響?

簡言之,雖然在主流 DeFi 協議中,主動使用 Vyper 語言進行開發的項目并不多,且此次出現問題的是 Vyper 的幾個特定版本,但有一個頭部 DeFi 項目卻是基于 Vyper 開發:

沒錯,正是 Curve,主要原因似乎與上文提到的 Gas 優化特性有關——因為 Curve 合約較為復雜,Vyper 使得這些復雜性變得更易于管理,并進一步節省 Gas(其它基于 Vyper 開發的知名項目則屈指可數,如 Uniswap v1 版本、第一個 ETH 2.0 存款合約等)。

由于 Curve 已經成為 DeFi 世界甚至整個鏈上金融的關鍵基礎設施,所以在層層嵌套之下,Curve 的穩定池本質上就是絕大部分協議的底層資金與收益來源,這也是此次安全事件發生至今,JPEG'd、Alchemix、Metronome、deBridge、Ellipsis Finance 等余震不斷的關鍵原因。

不過 Vyper 的新版本已經修復這個漏洞,但由于受影響的 Curve 穩定池合約不可升級,因此無法進行部署升級,只能選擇廢棄對應合約,將資金撤出。

總的來看,此次安全事件之所以大家會心有余悸,主要是因為智能合約語言層的 Bug 風險,已經遠超 DeFi 協議本身或者說智能合約邏輯的范疇。

試想一下,如果此次不只是 Vyper,而是連 Solidity 也同樣出了問題,那么鏈上所有的 DeFi 協議可能都幾難幸免,我們甚至會真的面臨「DeFi 不存在了」的風險。

但禍兮福之所倚,這次 Curve 也算被動掀開了對智能合約語言層進行攻擊的問題蓋子,讓大家意識到了這個可能,對 DeFi 世界而言,是一次大考,也是一場自我救贖的機會。

Foresight News

企業專欄

閱讀更多

金色財經 Jason.

白話區塊鏈

金色早8點

LD Capital

-R3PO

MarsBit

深潮TechFlow

Tags:BSPNBSLIDSOLIDBSPTNBS幣MOSOLID

DOT
一文盤點7家以太坊期貨ETF備案公司_ETH:SEC

來源:Decrypt;編譯:比推 BitpushNews Mary Liu最近圍繞現貨比特幣交易所交易基金(ETF)的熱度有所降溫,發行方和投資者仍在等待美國監管機構批準這一投資工具.

1900/1/1 0:00:00
詳解LPDFi:能否掀起下波DeFi敘事?有哪些值得關注的項目?_PDF:Goldfinch

LSDfi 靠著以太坊升級而崛起,像一股洪流席卷了整個 DeFi 領域,帶來了 LSD(流動性質押衍生品)戰爭.

1900/1/1 0:00:00
加密貨幣財富對家庭消費和投資的影響_比特幣:比特幣sv發行多少枚

作者 | Darren Aiello, Scott R. Baker, Tetyana Balyuk, Marco Di Maggio, Mark J. Johnson.

1900/1/1 0:00:00
IOSG Ventures:一文探討Rollup的貨幣化設計_MEV:MEVR幣

原文作者:Jiawei,IOSG VenturesRollup 是眾多基礎設施中一個好的投資類別嗎?Rollup 的投資邏輯從早期的 ZK/OP 敘事之爭.

1900/1/1 0:00:00
AAVE原生穩定幣正式上線 超額抵押+算法已成穩定幣新范式_AVE:ypt穩定幣

金色財經記者 Jessy7 月 16 日,去中心化借貸協議 AAVE 的穩定幣 GHO 正式上線以太坊主網.

1900/1/1 0:00:00
近期值得關注的5個DeFi項目_ETH:TOKEN

比特幣前兩周突破了 31,000 后再次跌回 29,000 周圍,炒幣似乎很難獲得高收益,但新項目在增加,項目方還在努力.

1900/1/1 0:00:00
ads