找到约 10 条结果

文章 为什么形式化验证是DeFi和Web3安全的必需品

...都提供**完整的**路径覆盖。例如，规范可能声明只能在 ERC20 合同中铸造有限数量的代币。形式化验证要么保证规则在所有路径和所有输入上都成立，要么生成一个测试输入来演示规则违规。 #### 问：谁可以做 FV？ 答：任何对...

文章 每周以太坊进展 2023/3/18

...690/files)：从 EOF 解耦的 EVM 模块化算术扩展（EVM MAX） * ERC： * [ERC6682](https://github.com/ethereum/EIPs/pull/6682/files) : NFT 闪电贷 ## 开发者资料 * [EVM 语言设计](https://jtriley.substack.com/p/ethereum-virtual-machine-language)：Solidity、Vype...

文章 SUI CLI最全命令详解4——Keytool之单签多签类 @SUI Move开发必知必会

...解4——Keytool之单签多签类 @SUI Move开发必知必会 *rzexin 2024.05.26* ## 1 前言 `SUI`的命令行工具（`CLI`）的`keytool`命令提供了一些列的子命令，用于生成私钥、管理地址、签名验签、多签及`zkLogin`相关功能。 在[《SUI CLI最全...

文章 以太坊基金会对隐私的承诺

## 隐私属于每个人  隐私是选择你分享什么、何...

文章 解析 Wormhole 跨链协议

 ### 你需要了解的关于 Wormhole 的一切 ## 介绍 今天，我们将通过更多地了解 Wormhole 来扩展我们对跨链协议的认知。 本文通过彻底分析 Wormhole 的架构，来审查 Worm...

文章 流动性质押衍生品的市场动态与风险

 **每周获取最佳的数据驱动的加密洞察和分析：** ## **流动性质押衍生品的市场动态与风险** **作者：[Tanay Ved](https://twitter.com/TanayVed)** ##### **主要内容...

文章 Ethereum.org 2024翻译马拉松回顾

## Ethereum.org 翻译马拉松概览  第二届 [ethereum.or...

文章 为什么要学习 Solidity 困难的东西 [ ABI 编码系列：第 0 部分 ]

...上手，那么脱颖而出就同样困难。** 部署一个基本的 ERC20 合约就能赢得“智能合约工程师”称号的时代已经一去不复返了。 今天，精通意味着对 Solidity 的理解要超越表面。 GPT4 和 Claude 在编写基本到中级 Solidity、Foundry ...

文章 Web3系列教程之新手篇---Level 7：用Ethers.js创建一个Ethereum Dapp

...绍](https://learnblockchain.cn/article/4320) - [Level 8：加密货币(ERC20)简介](https://learnblockchain.cn/article/4327) - [Level 9：NFT介绍](https://learnblockchain.cn/article/4336) 这是一个关于如何创建一个前端、部署一个Solidity智能合约并将它们连接在一...

文章 如何解决web2过渡到web3时遇到的托管问题

...转换为社区的原生代币$RLY，然后，他们可以将其转移到ERC-20(与以太坊兼容)钱包，使他们能够将其转换为任何其他加密货币或与其他社区进行交互(虽然社交代币的创作者本身目前是完全托管的，但代币的桥接能力很快就会到来)...