找到约 14 条结果

文章 编写可升级合约 - OpenZeppelin 文档

## 编写可升级的合约 当使用 OpenZeppelin Upgrades 处理可升级合约时，编写 Solidity 代码时需要记住一些小的注意事项。 值得一提的是，这些限制的根源在于 Ethereum VM 的工作方式，并且适用于所有处理可升级合约的项目，而不仅仅...

文章 零知识证明：综合资源

掌握零知识证明的综合资源列表  [Zero-Knowledge_Mastery.pdf](https://github.com/Quillhash/Zero-Knowledge-Mastery/blob/main/files/Zero%20Knowledge%20Mastery.pdf) ## 内容 1. [简...

文章 Starknet Cairo 中的可组合性和组件

>- 原文链接：https://medium.com/@estheraladioche569/composability-and-components-in-starknet-cairo-cedcccb4acc3 >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文永久链接：[learnblockchain.cn/artic...

文章 智能合约安全审计调研

## 1 背景 > 首先我们需要明确智能合约以及智能合约审计的概念。 智能合约（Smart Contract）是一种部署在区块链上的程序，其代码和逻辑一旦部署便不可随意更改。智能合约可以自动执行预先设定的规则，比如资金转账、资...

文章 以太坊实战瞬态存储：EIP-1153影响研究

研究 Alex Zhang 和 Michael Debono ## 瞬态存储实战：EIP-1153 的影响研究 随着以太坊中瞬态存储的最新引入，以太坊虚拟机 (EVM) 中状态管理的格局再次演变。这一最新进展促使我们在 Dedaub 重新审视 EVM 生态系统中数据的存储和访问...

文章 第23章:DeFi 安全

DeFi 协议管理着数百亿美元的资产，但其开放性也带来了独特的安全挑战。从 2016 年的 The DAO（重入攻击，\$60M）到 2022 年的 Ronin Bridge（跨链桥权限管理不当，\$625M），再到 2023 年的 Euler Finance（闪电贷攻击，\$197M）、Multichain（...

文章 Ethernaut 题库闯关 #24 - Double Entry Point

今天这篇是Ethernaut 题库闯关连载的第24篇，难度等级: 有点难。 这是系列的最后一篇，如果你跟随这个[专栏](https://learnblockchain.cn/column/19)，每一篇都认真思考， 相信你对 Solidity 安全有全新的认识。 ## 挑战 24 - Double Entr...

文章 Certora技术白皮书

## **Certora 工具套件** Certora 提供了一套用于审计智能合约的工具，包括漏洞检测和生成确保关键属性始终有效的保证。本文假设读者已经熟悉智能合约的基本概念。有关本文提到的示例的更多细节，可以在我们的 [Examples repo](htt...

文章 Certora技术白皮书

_作者:_ [_Daniel Jackson_](https://people.csail.mit.edu/dnj/) _,_ [_Chandrakana Nandi_](https://cnandi.com/) _,_ [_Mooly Sagiv_](http://www.cs.tau.ac.il/~msagiv/) _编辑:_ [_Sameer Arora_](https://www.linkedin.com/in/sameer-arora-074585169/) _,_ [_Uri Kirstein_](https://www.linkedin.com/in/uri-ki...

文章 Clickhouse 以太坊分析:交易日志分析

## 概述 在[上一篇]({{}})中，我们介绍了如何使用 `Clickhouse` 进行基础的信息提取，这些信息往往依赖于以太坊底层机制，我们只能获得如 ETH 转账、 gas 等信息，这些信息并没有涵盖以太坊中最重要的智能合约的相关数据。这使...

文章 以太坊ABI：编码与解码

## 什么是ABI 大家应该很熟悉 API（Application Programming Interfaces），API 是一个接口，用它来访问某个服务，可以把API 理解两个软件彼此之间进行通信的桥梁。 **ABI** （Application Binary Interfaces），则是用来定义了智能合约中可以进行...

文章 Certora技术白皮书

## **Certora 工具套件** Certora 提供了一套用于审计智能合约的工具，包括漏洞检测和生成确保基本属性始终保持的保证。本文章假设读者熟悉智能合约的基本概念。有关本文档中提到的示例的更多细节，可以在我们的 [Examples repo](...

文章 全面指南：构建与部署以太坊多签钱包（MultiSigWallet）智能合约的最佳实践

# 全面指南：构建与部署以太坊多签钱包（MultiSigWallet）智能合约的最佳实践 ## MultiSigWallet介绍 这是一个基于以太坊智能合约的简单多签钱包实现。多签钱包允许多个签名者共同控制钱包资金，以增加安全性和透明度。 #...

文章 2023年Solidity开发者调查结果

编辑说明：我们注意到 \[1] 流行的以太坊特定 IDE 和 \[2] Sourcify 使用情况的图形表示中存在一个小的错误。此博文和幻灯片组中相应的图形数据已更新，以准确反映代表调查数据的更正。 我们很高兴与你分享 [Solidity 开发者调查...