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

solidity assembly的基础用法

什么是Assembly在编写Solidity代码时，我们可以使用assembly{}关键字开始编写Yul代码，它是一种简化且扩展了的汇编语言。通过使用assembly，我们可以直接访问堆栈，并优化代码以提高内存效率，从而减少执行交易所需的燃气量。这最终降低了用户的交易成本。然而，在可读性方面存
solidity 编程 

手摸手教你如何使用foundry进行测试脚本编写

什么是foundry?foundry是一个solidity智能合约开发工具。可以帮你管理依赖包，编译项目，运行测试脚本，还可以让你通过命令行工具或者script脚本和链上合约进行交互。和hardhat不同的地方是，hardhat我们还是主要用来开发大型的合约项目，但是foundry用来进行编写测试
Foundry  Solidity  Solidity工具 

Solidity Fixed Point 库中的问题 — Certora 漏洞披露

本文探讨了固定点表示法在DeFi应用中的重要性，详细分析了PRBMath库中的一个设计缺陷，该缺陷可能导致严重的安全漏洞，并强调了公共库安全性的重要性。作者建议进行长远解决方案以支持多种舍入模式，并指出了正式规范的重要性。
固定点表示法  DeFi  PRBMath库  安全漏洞  智能合约  数学库 
  • Certora
  • 发布于 2023-07-13
  • 阅读 ( 536 )

Move vs Solidity：智能合约开发语言能力评估

本文对比了Solidity和Move这两种智能合约开发语言。Solidity在以太坊生态系统中应用广泛，拥有高度的灵活性，但也存在安全漏洞。Move则侧重于安全性和资源安全性，通过限制数据可见性和可变性来避免重入攻击等问题。选择哪种语言取决于项目需求和使用的区块链平台。
Solidity  Move  智能合约  以太坊  Diem  编程语言 

Michael.W基于Foundry精读Openzeppelin第7期——Timers.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Timers库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-10
  • 阅读 ( 2578 )
  • ( 3 )

Michael.W基于Foundry精读Openzeppelin第6期——Strings.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Strings库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-09
  • 阅读 ( 2824 )
  • ( 2 )

Michael.W基于Foundry精读Openzeppelin第5期——Counters.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Counters库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-07
  • 阅读 ( 3654 )
  • ( 3 )

Michael.W基于Foundry精读Openzeppelin第4期——Base64.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Base64库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-06
  • 阅读 ( 2830 )
  • ( 3 )

关于Solidity 事件，我希望早一点了解到这些

in  全面掌握Solidity智能合约开发
在这篇文章中，详细说明的事件的日志是如何生成，索引是如何影响日志的生成，字符串等变长数据是如何处理的。同时介绍了在前端如何获取事件。
事件 
  • Tiny熊
  • 发布于 2023-07-06
  • 阅读 ( 5540 )

Michael.W基于Foundry精读Openzeppelin第3期——Arrays.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Arrays库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-04
  • 阅读 ( 3481 )
  • ( 12 )

Michael.W基于Foundry精读Openzeppelin第2期——StorageSlot.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的StorageSlot库及对应测试。
StorageSlot 
  • Michael.W
  • 发布于 2023-07-03
  • 阅读 ( 2694 )
  • ( 2 )

Remix v0.34.0 版本介绍

Remix v0.34.0 更新重点：Etherscan 验证代码更好用， 还支持代理合约验证、全新的 Solidity 分析器， 适配 WalletConnect v2.0
Remix 
  • aisiji
  • 发布于 2023-07-03
  • 阅读 ( 4007 )
  • ( 10 )

Michael.W基于Foundry精读Openzeppelin第1期——Address.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Address库及对应测试。
Address  Foundry  delegatecall 
  • Michael.W
  • 发布于 2023-07-03
  • 阅读 ( 3895 )
  • ( 10 )

03.slither API常用对象结构

in  Slither漏洞扫描框架使用(初级篇)
slither API中常用对象结构解析
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-28
  • 阅读 ( 3110 )

Yul 入门指南

Yul 入门指南
Yul 
  • Tiny熊
  • 发布于 2023-06-27
  • 阅读 ( 7770 )
  • ( 151 )

一段Solidity汇编代码逻辑整理

一段Solidity汇编代码逻辑整理
内联汇编 
  • Ethereal
  • 发布于 2023-06-27
  • 阅读 ( 1937 )
  • ( 4 )

如何使用Create2工厂创建合约并验证（Base Remix）?

使用Create2工厂(0x0000000000ffe8b47b3e2130213b802212439497)创建合约并在etherscan验证
CREATE2  Solidity 
  • Meta
  • 发布于 2023-06-19
  • 阅读 ( 3253 )
  • ( 2 )

Create2 创建合约、预测合约地址，看这一篇就够了

本文使用create2创建合约、预测合约地址
CREATE2  Solidity 

介绍 [V] 规范语言

这篇文章介绍了 V 规范语言，主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句，以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范，强调了这些规范在开发安全智能合约中的重要性。
规范语言  形式验证  智能合约  合约不变性  方法合约  行为规范 

Truffle框架

Truffle：Truffle是一个流行的开发框架，专门用于构建以太坊（Ethereum）区块链应用程序。它提供了一组工具和库，以简化智能合约的开发、测试和部署过程。下面是Truffle框架的主要功能：智能合约开发：Truffle提供了一个简洁的开发环境，可以编写Solidity智能合约。它