借助 Solidity 来识别智能合约的调配模式

2023-10-07 13:10

本文主要是介绍借助 Solidity 来识别智能合约的调配模式,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

作者 | Alberto Cuesta Cañada

译者 | 火火酱,责编 | 李雪敬

头图 | CSDN 下载自视觉中国

由于所有已部署合约都有 24KB 的硬限制,所以除了少数极其简单的应用程序外,其他所有的 Ethereum 应用都是由多个智能合约组成的。

如何才能确保各智能合约间的安全协作呢?

在将代码分解为多个可操作的合约后,我们便会发现有的合约中的函数需要通过另一个合约才能进行调用。

例如,在 Uniswap v2 中,只有合约工厂(contract factory)可以对 Uniswap Pair 进行初始化。

(Uniswap v2:https://github.com/Uniswap/uniswap-v2-core/tree/master/contracts)

对于 Uniswap 团队来说,只需要稍微检查一下就可以解决的问题对于很多其他项目来说,却需要从头开始重新编写调配解决方案。

在了解问题和开发模式的过程中,我们深入理解了如何借助多个智能合约来构建应用程序,从而使 Yield 更加健壮且安全。

(Yield:http://yield.is/)

在本文中,我们将借助几个知名项目中的实例来深入分析智能合约的调配方式。希望大家在读完本文之后可以对照自己项目的需求,选择出最适合自己的方法。

背景知识

前文提到,我们首先要把项目分解成多个智能合约,这是出于技术和精神两个层面的限制要求。

技术限制源于2016年11月发生的一项改变。当时,Ethereum 主网(包括EIP-170)实施了 Spurious Dragon 硬分叉。此举将已部署的智能合约的大小限制在24576字节以内。

(Spurious Dragon硬分叉:https://blog.ethereum.org/2016/11/18/hard-fork-no-4-spurious-dragon/)

(EIP-170:https://github.com/ethereum/EIPs/blob/master/EIPS/eip-170.md)

在没有此项限制时,攻击者可以在部署智能合约期间进行无限次的计算。此举虽然不会对存储在区块链中的数据产生任何影响,但却是一种针对 Ethereum 节点的拒绝服务(Denial-Of-Service)攻击。

由于当时的区块 gas 限制无法支持这种规模的智能合约,所以这项改变当时并没有受到重视:

“该解决方案为储存在区块链中的对象大小设置了最高上限,并使其略高于当前gas上限值(在最坏的情况下,可以使用470万gas,23200字节来创建合约)”

在 DeFi 大爆炸之前,我们为 Yield 编写了2000行智能合约代码,部署后的代码加起来接近 100KB,审核员完全没有觉得项目过于复杂。

但我们仍需把解决方案分解为多个合约。

复杂性和面向对象程序设计

将区块链应用分解为多个智能合约的第二个原因与技术限制无关,而是与“人”的精神限制有关。

在特定的时间内,我们大脑中能储存的信息量是一定的。相比于处理单一且涉及面广的大问题,人们在处理多个相互间存在关联的小问题时表现会更好。

实际上,Object-Oriented Programming(面向对象程序设计)可以提高软件的复杂性。通过定义代表某种概念的“对象”,并将变量和函数看作该对象的属性,开发人员能够在心里更好地描画和理解需要解决的问题。

Solidity 在合约层面使用了面向对象的编程技术。我们可以将合约看作是一个具有变量和函数的“对象”,在脑海中将复杂的区块链应用程序想象成多个合约的集合,每个合约代表一个单独的实体。

例如,在 MakerDAO 中,每种加密货币都有单独的合约,此外还有记录债务的合约、表示债务和外界间网关的单独合约等等。我们不可能将所有内容都编写在同一个合约中——即使可能,也会异常困难。

把一整个大问题分解成具有内在联系的多个小问题可以帮助我们更快地找出解决方案。

实现

接下来,让我们一起来研究一下 Uniswap、MakerDAO 以及 Yield 的实现方式。

从简单的例子开始——Uniswap 和 Ownable.sol

我很喜欢 Uniswap v2,因为它非常简单。开发人员用410行智能合约代码就成功建立了去中心化交易所。仅部署了两类合约:工厂和不限数量的配对交换合约。

其工厂合约的设计方式决定了其配对交易合约的部署需要经过两个步骤。首先部署合约,然后用将要进行交易的两个代币对其进行初始化。

由于需要确保只有创建配对交易合约的工厂才能对合约进行初始化,所以他们重新实施了Ownable 模式。

此举取得的效果还不错,如果你也遇到了同样的问题,可以借鉴这个方法。如果你知道自己的合约只需要给另一个合约开通访问特权的话,可以使用 Ownable.sol。甚至都用不到 Uniswap 这种工厂。你可以在一个用户中部署两个合同(Boss和Minion,Minion继承于Ownable.sol),然后执行 minion.transferOwnership(address(boss))。

更为完善的例子——Yield

Yield 的解决方案就没有 Uniswap v2 那么简单了。其核心由五个合约组成,并且特权访问关系并不是一一对应的。部分合约具备的限制功能可以帮助我们访问其他核心合约。

因此,我们只需扩展 Ownable.sol 以生成两个访问层,其中一层有多个成员:

合约所有者可以向特权列表中添加地址(authorized)。继承合约(Inheriting contracts)可以包含 onlyOrchestrated 修改器以限制对授权地址的访问。

每个地址都会与一个函数签名共同注册,从而收紧对函数的访问权限,增强安全性。

(函数签名:https://www.4byte.directory/)

由于我们会在期间部署 orchestrate 合约,所以没有取消访问权限的函数,owner 会通过调用所有合约上的 transferOwnership(adress(0)) 来放弃其特权访问。

我们自己的平台代币 yDai,将从 Orchestrated 继承并限制 mint 在 owner 放弃其特权之前建立的特定合约:

这种模式相对容易实现和调试,并且可以实现我们合约中的函数。

极具迷惑性的例子——MakerDAO

大家都非常讨厌 MakerDAO 中各种难以理解的术语。但在搞清楚 Yield 的调配模式后,我才发现它们二者的实现方式几乎是完全相同的。

  

1.合约部署者是 wards 的原成员。

2.wards 可以 rely 其他人(usr),并使其同样成为 watds。

3.可以限制函数(auth),只有 wards 可以执行函数。

例如,MakerDAO 的 Vat.sol 合约中的 fold 函数可被用于更新利率累加器,并且只能被其集合中的另一函数调用(Jug.sol合约,drip函数)。如果我们观察一下该函数的话,便会发现用于调配的 auth 修改器,

从某种程度上来说,auth 和其他调配实现是对 private 和 internal 函数概念的扩展,仅适用于在合约间进行访问控制。

MakerDAO 与我们项目的实现方式非常类似。

1.合约部署者是 wards 原成员。在 Yield 中,即 owner。

2. wards可以 rely 其他人并使其成为 wards。在 Yield 中,只有 owner 可以 orchestrate 其他地址并 authorized。

3.函数受限制(auth),因此只有 wards 可以执行受限函数。在 Yield 中,我们提到 onlyOrchestrated 地址可以调用标记函数。进一步限制对函数的访问。

除了在Yield中使用了两个访问层(owner和authorized)以及函数限制以外,二者的实现方式是一样的。可见,合约调配是一种一经实现即可重复使用的常见模式。

从审核员和用户的角度出发,我们还开发了一个收集区块链事件,并展现合约所有权和调配图的脚本(可以在上线时通过我们的网站获取)。

总结

智能合同的调配是一个在很多项目中反复出现的问题,在遇到此类问题,大家往往都会从零开始进行调配。但其实此类问题的解决方案都是十分类似的。

我们可以遵循以上标准来实现安全有效的调配,希望大家可以深入理解文中的示例原理,并形成适合自己的解决方案。

推荐阅读
  • 总计2171个BTC被盗,这个钱包漏洞的受害者越来越多

  • 5个入门网站教你识别去中心化项目

  • 观点 | 勿畏魅影:比特币不需要持续增发

  • 多模、AI 齐上阵,Deepfake 换脸术克星驾到!

  • 35 岁一刀切?任正非:华为没有年龄限制,如只看年龄自己早被淘汰

这篇关于借助 Solidity 来识别智能合约的调配模式的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/157967

相关文章

基于Python打造一个智能单词管理神器

《基于Python打造一个智能单词管理神器》这篇文章主要为大家详细介绍了如何使用Python打造一个智能单词管理神器,从查询到导出的一站式解决,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. 项目概述:为什么需要这个工具2. 环境搭建与快速入门2.1 环境要求2.2 首次运行配置3. 核心功能使用指

Nginx location匹配模式与规则详解

《Nginxlocation匹配模式与规则详解》:本文主要介绍Nginxlocation匹配模式与规则,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、环境二、匹配模式1. 精准模式2. 前缀模式(不继续匹配正则)3. 前缀模式(继续匹配正则)4. 正则模式(大

Python实现word文档内容智能提取以及合成

《Python实现word文档内容智能提取以及合成》这篇文章主要为大家详细介绍了如何使用Python实现从10个左右的docx文档中抽取内容,再调整语言风格后生成新的文档,感兴趣的小伙伴可以了解一下... 目录核心思路技术路径实现步骤阶段一:准备工作阶段二:内容提取 (python 脚本)阶段三:语言风格调

Linux系统配置NAT网络模式的详细步骤(附图文)

《Linux系统配置NAT网络模式的详细步骤(附图文)》本文详细指导如何在VMware环境下配置NAT网络模式,包括设置主机和虚拟机的IP地址、网关,以及针对Linux和Windows系统的具体步骤,... 目录一、配置NAT网络模式二、设置虚拟机交换机网关2.1 打开虚拟机2.2 管理员授权2.3 设置子

SpringBoot如何通过Map实现策略模式

《SpringBoot如何通过Map实现策略模式》策略模式是一种行为设计模式,它允许在运行时选择算法的行为,在Spring框架中,我们可以利用@Resource注解和Map集合来优雅地实现策略模式,这... 目录前言底层机制解析Spring的集合类型自动装配@Resource注解的行为实现原理使用直接使用M

使用PyTorch实现手写数字识别功能

《使用PyTorch实现手写数字识别功能》在人工智能的世界里,计算机视觉是最具魅力的领域之一,通过PyTorch这一强大的深度学习框架,我们将在经典的MNIST数据集上,见证一个神经网络从零开始学会识... 目录当计算机学会“看”数字搭建开发环境MNIST数据集解析1. 认识手写数字数据库2. 数据预处理的

Pytorch微调BERT实现命名实体识别

《Pytorch微调BERT实现命名实体识别》命名实体识别(NER)是自然语言处理(NLP)中的一项关键任务,它涉及识别和分类文本中的关键实体,BERT是一种强大的语言表示模型,在各种NLP任务中显著... 目录环境准备加载预训练BERT模型准备数据集标记与对齐微调 BERT最后总结环境准备在继续之前,确

C#原型模式之如何通过克隆对象来优化创建过程

《C#原型模式之如何通过克隆对象来优化创建过程》原型模式是一种创建型设计模式,通过克隆现有对象来创建新对象,避免重复的创建成本和复杂的初始化过程,它适用于对象创建过程复杂、需要大量相似对象或避免重复初... 目录什么是原型模式?原型模式的工作原理C#中如何实现原型模式?1. 定义原型接口2. 实现原型接口3

大数据spark3.5安装部署之local模式详解

《大数据spark3.5安装部署之local模式详解》本文介绍了如何在本地模式下安装和配置Spark,并展示了如何使用SparkShell进行基本的数据处理操作,同时,还介绍了如何通过Spark-su... 目录下载上传解压配置jdk解压配置环境变量启动查看交互操作命令行提交应用spark,一个数据处理框架

讯飞webapi语音识别接口调用示例代码(python)

《讯飞webapi语音识别接口调用示例代码(python)》:本文主要介绍如何使用Python3调用讯飞WebAPI语音识别接口,重点解决了在处理语音识别结果时判断是否为最后一帧的问题,通过运行代... 目录前言一、环境二、引入库三、代码实例四、运行结果五、总结前言基于python3 讯飞webAPI语音