NBS:浅析Vyper:一款受开发者欢迎的智能合约编程语言

昨夜开始,Curve 因受 Vyper 个别版本的重入锁故障影响,导致旗下 alETH/msETH/pETH 等稳定池被黑客攻击,由此引发一系列的 DeFi 次生灾害与加密世界震荡,至今仍在持续发酵中。

这也是 DeFi 世界罕见地直面针对智能合约语言层 Bug 的攻击事件。不过相比于加密世界中常常见诸报端的 Solidity 语言,Vyper 其实并不那么为人所熟知。

那 Vyper 究竟是什么,它在 DeFi 世界中扮演着怎样的角色,为什么它的 Bug 又会引起行业的高度关注?本篇文章 Foresight News 就带大家来了解一下目前正处于风口浪尖的 Vyper 语言。 

Vyper 创建于 2017 年,在此之前,开发人员编写智能合约最常用的语言是 Solidity。而 Vyper 和 Solidity 一样,都是一种面向智能合约的编程语言,可编译为以太坊虚拟机(EVM)的字节代码,运行在 EVM 上。

DeFi研究员:Uniswap推出Substrate链的可能性非零,可能是作为Layer2区块链:金色财经报道,DeFi研究员Ignas询问了Compound Finance提出的区块链。Ignas回顾了Compound Finance于2021年宣布的Substrate构建的Compound链。根据Ignas的说法,Uniswap推出Substrate链的可能性非零,可能是作为Layer2区块链。他认为这样做会给Uniswap原生代币UNI带来更多的效用和估值,以实现去中心化。考虑到MakerDAO已经推出了原生区块链,Ignas认为这是可能的。

Ignas引用了一份报告,该报告指出MakerDAO打算创建一个专有的区块链,并将其称为“NewChain”。根据该报告,NewChain将被桥接,但不一定取代支撑MakerDAO平台的以太坊区块链,这意味着NewStable、NewGovToken、Dai和MKR将继续在以太坊区块链上运行。然而,它们将受到通过安全桥运行的治理后端的保护。[2023/7/21 11:08:06]

不过 Vyper 的编译器使用 Python 进行编写,是一种基于 Python 且兼容 EVM 的编程语言,具有强类型、小型编译器代码和高效的字节码生成的特点,这也使其成为想要进入 Web3 的 Python 开发人员的最佳选择之一。

Balancer决定裁员、削减运营预算并改革品牌战略:金色财经报道,在周四的社区电话会议上,DeFi流动性协议Balancer的服务提供商Orb Collective透露,他们正在削减运营预算并裁员,以全面改革Balancer的品牌战略。会议透露,管理Balancer协议前端的OpCo已经解雇了两名工程师,并减少了运营预算。该协议将重点转向改善其用户界面和营销,并将组建一个专门的营销团队,讨论Balancer如何与平台用户合作的机制。[2023/4/14 14:03:46]

这导致从采用率角度看,目前的 Vyper 也是仅次于 Solidity 的「第二大兼容 EVM 的智能合约编程语言」,截至此次攻击事件发生前的 DeFiLlama 最新统计数据显示:

在目前的 DeFi 开发格局中(TVL 占比维度),Solidity 以 94.71% 的市场份额占据绝对垄断地位,而 Vyper 以 3.04% 的市场份额位列第二名。

SBF:FTX存在管理失误,并未参与Alameda经营:12月1日消息,FTX创始人Sam Bankman-Fried在DealBook峰会上发表演讲,他表示,“我对AlamedaResearch的头寸规模感到惊讶,我没有故意尝试混合资金,我认为Alameda Research实际头寸和平台后台数据之间存在巨大差异,我不知道发生了什么。”

SBF还谈到了其他问题,表示FTX存在“管理失误”,但其捐款主要来自于利润而非客户资金,巴哈马父母的房产不是长期财产“但不知道是怎么付款的”,同时他还表示FTX不存在“狂欢派对”,同事之间只会玩棋盘游戏。SBF承认自己在担任FTX营销人员的时候撒过几次谎。[2022/12/1 21:14:15]

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

除了基于 Python 的特点之外,Vyper 不采用面向对象模式、内联汇编,并且不支持代码重用、修饰符、继承、函数重载、递归调用、无限长度循环和二进制定长浮点等。

Dogechain社区拟销毁DC总供应的80%:10月23日消息,Dogechain社区上线销毁DC提案投票,拟销毁80%的DC总供应,并将Early Shibes空投的归属期从48个月缩短到6个月。如果提案通过,Dogechain基金会将销毁DC代币总供应量的80%,在所有代币类别中按比例销毁。总供应量将从1万亿减少到2000亿。

投票日期为10月23日3 AM UTC至10月28日3 AM UTC。至少5亿DC票才能通过,用于投票DC的将保持锁定状态,直到投票结束。只有DC主网代币符合条件。[2022/10/23 16:36:16]

此外它还针对安全性、可读性、可审核性和 Gas 效率进行了优化:

安全性:支持在 Vyper 中构建安全的智能合约;

可读性:Vyper 的智能合约语言和编译器实现力求简单,以提高代码的可读性,尤其是对于没有使用 Vyper 经验的用户以及一般没有编程经验的用户;

可审核性:Vyper 代码最大限度地让人可读,且其简单架构减少了软件错误,提升了智能合约的可审计性;

Micah Zoltu:鄙视ZCash和Tornado中内置的“合规”机制:金色财经报道,自由开发人员Micah Zoltu发推称,我鄙视ZCash和Tornado中内置的“合规”机制。我认为他们违背了“隐私是正常的”的说法。这类似于如果每个人都想要窗帘,就要求每个人在家中安装摄像头,这样他们就可以在被问到时证明自己没有犯罪。但是,如果您要坚持向极权主义屈服,请考虑改为让人们证明他们的资金不是来自某个地址或地址列表,而不是要求他们证明他们来自特定的资源。如果我们要进行某种隐私交易以换取安全,交易应该遵循最小特权原则,并尽可能少地泄露信息,而不是一切。隐私是正常的,应该受到高度重视。我们不应该为了*也许*抓到一两个坏人而牺牲所有人的隐私。

ZCash 为您提供了窗帘,然后它还为您提供了一个您可以选择放在它后面的相机。问题是,如果在窗帘后面安装摄像头是微不足道的,国家可能会开始要求人们在窗帘后面安装摄像头。[2022/8/21 12:38:37]

Vyper 的创始人 John Max Skaller 曾表示,构建 Vyper 有两个原因:「首先,我喜欢 Python,特别是它的简单性,但我不喜欢它缺乏范围确定性,凡事都需要做大量更改来取得进展,因此我决定在保留与 Python 兼容性的同时,通过建造高级得多的编程语言,并在其中建造函数性编程语言的某些概念来改正这些问题。

第二个原因是性能。我有一个称之为 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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

火必STA:Starknet改进语法全解读

Cairo 编译器的第 2 版对 Starknet 语法进行了更改,使代码更加明确和安全。智能合约公共接口是使用特征定义的,并且对存储的访问是通过 ContractState 特征完成的.

[0:15ms0-1:573ms