全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

zk-SNARKs 在 Solidity 中的使用

本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs，以及如何使用 ZoKrates 编译器来生成证明和验证合约。
Solidity  zkSNARK 
  • BoxChen
  • 发布于 2023-09-07
  • 阅读 ( 3481 )
  • ( 25 )

sol2uml 简介

sol2uml是一款用于Solidity智能合约可视化的工具。支持从命令行界面生成合约存储图和合约类图（UML）等
  • dwong
  • 发布于 2023-09-05
  • 阅读 ( 2469 )
  • ( 29 )

关于 solidity storage layout 的理解

solidity storage layout
StorageSlot 

使用hardhat验证合约时，网络超时

在hardhat中加入hardhat.config.js中加入如下代码即可。出处https://github.com/lxdao-official/gclx-contracts/issues/2const{setGlobalDispatcher,ProxyAgent}=require("u
Hardhat 
  • 志辉
  • 发布于 2023-09-02
  • 阅读 ( 2858 )
  • ( 8 )

Michael.W基于Foundry精读Openzeppelin第33期——EIP712.sol

in  Michael.W基于Foundry精读Openzeppelin
EIP-712是一个专门用于对结构化数据求hash值以及签名的标准，大大解决了数据“链下签名+链上验证”的问题并提高了链上消息签名的可用性。EIP712合约提供了EIP 712 domain separator的定义与获取——是结构化数据完整编码的一部分。
EIP712  OpenZeppelin  Foundry 
  • Michael.W
  • 发布于 2023-08-29
  • 阅读 ( 3313 )
  • ( 6 )

Michael.W基于Foundry精读Openzeppelin第32期——SignatureChecker.sol

in  Michael.W基于Foundry精读Openzeppelin
SignatureChecker库是一个用于链上签名验证的helper库。该库提供的验签函数既支持EOA账户地址的签名验证也支持IERC1271标准合约地址的签名验证。
OpenZeppelin  Foundry 
  • Michael.W
  • 发布于 2023-08-28
  • 阅读 ( 2429 )
  • ( 3 )

Foundry快速安装（Windows版）

在查看Foundry官方文档时发现其安装步骤描述并不详细，起初跟着安装问题迟迟无法解决，故记录下此详细安装过程，且选择的是最快捷最不占硬盘空间方式的下载方式官方文档给出的下载步骤
Foundry  入门 
  • 0xHowe
  • 发布于 2023-08-28
  • 阅读 ( 5425 )
  • ( 15 )

优化技巧

本文档详细介绍了Solidity智能合约开发中的各种Gas优化技巧，涵盖存储、错误处理、数学运算和函数调用等多个方面，包括避免初始化默认变量、存储打包、常量与不可变状态变量、缓存存储变量、使用unchecked{}、calldata代替memory等关键优化策略，旨在帮助开发者编写更高效、更节省Gas的Solidity合约。
gas优化  Solidity  智能合约  存储打包  Calldata  Custom Errors  unchecked 
  • beskay
  • 发布于 2023-08-25
  • 阅读 ( 271 )

深入了解 Solidity bytes

in  全面掌握Solidity智能合约开发
你是否知道大端小端的概念，其定义了是高位数据先保存还是地位数据先保存，EVM 是用 大端格式存储数据，我们知道 EVM 使用 32 字节的字来处理数据，当数据不足 32 个字节时，如何填充数据呢？bytes 有哪些操作详见本文。
Solidity  EVM 

Michael.W基于Foundry精读Openzeppelin第31期——IERC1271.sol

in  Michael.W基于Foundry精读Openzeppelin
IERC1271是合约地址作为signer的签名验证标准。EOA地址可以通过其私钥对msg进行签名，而合约地址理论上是没有私钥的。当合约地址作为msg.sender时，可以通过IERC1271标准进行相关的签名验证工作。
OpenZeppelin  Foundry 

Michael.W基于Foundry精读Openzeppelin第30期——ECDSA.sol

in  Michael.W基于Foundry精读Openzeppelin
ECDSA（Elliptic Curve Digital Signature Algorithm）是椭圆曲线数字签名算法的简称。ECDSA库十分重要且使用广泛，其作用是在链上验证某message是否由给定的地址的私钥持有者进行签名的。简而言之，ECDSA库是一个验证地址真实身份的工具库。
OpenZeppelin  Foundry 

Solidity 编码规范推荐标准

in  全面掌握Solidity智能合约开发
Solidity 编码规范推荐标准, 作者列出了 15 条非常使用的规则， 例如：指定固定的编译器版本、导入代码时指定版本, 并使用命名导入，以及变量命名时注意事项。
Solidity  编程风格 

Solidity学习笔记一：基础语法与remix的使用

越学越迷糊，于是准备再学一遍，进行总结。Solidity学习笔记一：基础语法与remix的使用
solidity 编程  区块链 
  • Yuanwai
  • 发布于 2023-08-21
  • 阅读 ( 3846 )
  • ( 19 )

Chisel ： Foundry 提供的 Solidity 交互式命令工具

Chisel是随Foundry提供的高级SolidityREPL（交互式命令工具）。它可用于在本地或Fork网络上快速测试Solidity片段。
Solidity  Chisel  Foundry 
  • Tiny熊
  • 发布于 2023-08-19
  • 阅读 ( 4270 )
  • ( 18 )

Ethernaut 题库闯关 - Switch 题解

in  Ethernaut 题库闯关 - 精进 Solidity
通过本次闯关，让我们深入理解 calldata 数据编码。
Calldata  区块链安全  Ethernaut 
  • honey_liu
  • 发布于 2023-08-18
  • 阅读 ( 3140 )
  • ( 50 )

Michael.W基于Foundry精读Openzeppelin第29期——RefundEscrow.sol

in  Michael.W基于Foundry精读Openzeppelin
RefundEscrow合约继承了ConditionalEscrow合约，是ConditionalEscrow合约的一种功能拓展。RefundEscrow合约提供了基础的存取eth功能，同时合约owner可以将合约切换到Refunding或Closed状态。
OpenZeppelin  Foundry 

Ethernaut 题库闯关 - Alien Codex 题解

in  Ethernaut 题库闯关 - 精进 Solidity
Ethernaut 题库闯关追更， 挑战 AlienCodex 合约， 通过本挑战，我们将更深刻的理解 Solidity 的数据存储，以及如何通过写数组达到写插槽的效果。
Ethernaut  Solidity 

Michael.W基于Foundry精读Openzeppelin第28期——ConditionalEscrow.sol

in  Michael.W基于Foundry精读Openzeppelin
ConditionalEscrow合约继承了Escrow合约，是其的一种功能拓展。ConditionalEscrow的框架中提供设置可withdraw条件，并且只有在满足该条件时才允许owner为对应payee提取eth。
OpenZeppelin  Foundry 

Michael.W基于Foundry精读Openzeppelin第27期——Escrow.sol

in  Michael.W基于Foundry精读Openzeppelin
Escrow合约是Openzeppelin中所有escrow拓展库的基础合约，用于为指定地址锁存eth和提取eth的托管场景。该合约中存入和取出eth的方法都被virtual修饰，开发者可以通过继承重写的方式来做相关修改。
OpenZeppelin  Foundry 

Michael.W基于Foundry精读Openzeppelin第26期——ERC1820Implementer.sol

in  Michael.W基于Foundry精读Openzeppelin
ERC1820Implementer合约是对IERC1820Implementer interface的实现。该合约往往与ERC1820Registry合约配合使用。如果想要合约成为ERC1820Registry记录在案的implementer，需要目标合约继承ERC1820Implementer。
OpenZeppelin  Foundry