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

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

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

介绍 [V] 规范语言

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

Truffle框架

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

探索智能合约开发中的单例合约

这篇文章深入探讨了单例合约在区块链智能合约开发中的重要性，以及其优势和实现方法。通过优化资源使用、标准化接口、提升安全性和治理能力，单例合约为去中心化应用程序提供了一种高效的管理方式。
单例合约  区块链  智能合约  去中心化应用  资源优化  安全性 

智能合约中使用 NatSpec 的最佳实践

使用好 NatSpec 注释规范，可以帮助开发者为智能合约创建更有效的文档。
Solidity  智能合约 

Cicada 利用时间锁谜题和零知识证明实现链上投票

Cicada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。
ZKP  Cicada  Sigma协议  ElGamal算法  Semaphore 

Solidity 开发教程 - 开始编写合约

编写我们的第一个合约。
Solidity 
  • DeCert.me
  • 发布于 2023-06-01
  • 阅读 ( 359 )
  • ( 20 )

solidity修饰符与数据位置

/*可见性修饰符：publicexternalinternalprivatepublic:作用域:状态变量、函数状态变量:可以在合约内外被读取，自动生成一个公共的getter函数。函数:可以从合约内外部调用，自

从 Counter 合约看代码结构 - Solidity 教程连载

从第一个 Counter 智能合约看合约代码结构
Solidity  DeCert 
  • DeCert.me
  • 发布于 2023-05-29
  • 阅读 ( 2687 )
  • ( 18 )

理解智能合约元数据

理解智能合约字节码末尾的元数据
Solidity  元数据  智能合约 

关于ABIEncoderV2的使用

ABIEncoder介绍ABIEncoder应用ABIEncoderV2和ABIEncoderV1的区别1.ABIEncoder介绍ABIEncodeV2和V1是对整个合约的编译检查和更丰富的编译功能，跟abi.encode/decode无关。2.ABIEncoder应用So

Solidity - 回购销毁合约是什么？

Solidity - 回购销毁合约实现
Solidity 

深度解析：在发送1个DAI时发生了什么

本文从通过钱包发起交易开始，解析钱包如何构建交易数据，如何设定 Gas，如何签名及序列化交易。以及当节点接收到交易后，如何验证、EVM 如何执行对应的 Solidity 字节码，如何退还 GAS 等。

值得所有开发者们仔细阅读。
EVM  Solidity 

Gambit：用于形式验证的Solidity突变测试工具

这篇文章讨论了如何在自动化验证的背景下应用突变测试，介绍了一个名为Gambit的开源突变生成器，该工具用于增强Solidity智能合约的测试，并与Certora Prover工具集成。文章深入探讨了突变测试在提高正式规范质量和识别安全漏洞方面的重要性，并提供了视觉化结果的相关信息，展示了突变检测的效果和改进方向。
突变测试  Solidity  智能合约  自动化验证  Certora Prover  开源 

Hardhat 开发框架 - Solidity开发教程连载

Decert.me 连载教程 《Solidity开发教程》 -- 工具篇
Hardhat  DeCert 
  • DeCert.me
  • 发布于 2023-05-11
  • 阅读 ( 5654 )
  • ( 114 )

DappReaderV2合约可视化工具2.0版开源啦

DappReader是一款集成管理智能合约,快速团队联调工具,现已开源
开源  工具 

Chaintool ABI 可视化调用工具介绍

Chaintool ABI可视化调用工具（英文称为ABICaller）会自动根据ABI生成可调用按钮， 极大方便智能合约开发者。
ChainTool  ABI 
  • ChainTool
  • 发布于 2023-04-25
  • 阅读 ( 4959 )
  • ( 24 )

ChainTool - 区块链开发者的工具箱 上线了

https://chaintool.tech 给区块链开发者准备工具箱

ChainTool 
  • ChainTool
  • 发布于 2023-04-24
  • 阅读 ( 4266 )
  • ( 249 )

Solidity 变异测试

文章介绍了突变测试的概念，即通过故意在代码中引入错误来检查测试套件的质量。文章详细举例说明了突变测试的应用，包括如何在Solidity代码中实施，并介绍了自动突变测试工具及其可能的结果。此外，还讨论了突变测试的重要性和局限性，并推荐了一些相关的学习资源。
突变测试  Solidity  测试套件  自动测试工具  Foundry  vertigo-rs 

Openzeppelin Ownable：请改用 Ownable2Step

文章介绍了Solidity中的onlyOwner修饰符及其在智能合约中的应用，特别讨论了Ownable2Step相较于Ownable的安全性改进，包括所有权转移的两步验证机制。
Solidity  onlyOwner  ownable  Ownable2Step  智能合约  OpenZeppelin