智能合约学习

在学习Aptos官方文档中的The Move Book时，发现后面还有一个The Move Prover Book。意外发现除了通过写Move的单测之外，还有另一种方法来验证Move合约的正确性。

在区块链L1层，除了以太系为主的用Solidity编写的智能合约之外，还有一类是Move语言编写的智能合约，本文以Aptos链为目标，使用Aptos CLI工具进行Move合约的编译、部署以及合约交互

此篇为对Move编程语言进行基本用法的学习，不会完全记录Move语言的全部特性，而是选择其比较独特的部分进行理解和记录。

整型溢出漏洞是Solidity在0.8.0版本以前存在的一种漏洞，如果没有严格检查数字的范围而进行存储和运算，将会产生被黑客攻击的漏洞。

前言 在以太坊生态中，智能合约承载着十分重要的职责。此系列文章聚焦于以太坊生态下Solidity智能合约的常见安全漏洞和规避方法，本篇以重入漏洞为例进行叙述讲解。

2024年春节前夕，一个名叫 Pandora 的项目突然引起了市场的关注。2月2日部署合约后短短两周时间，其总市值就超过了1.5亿美元。

在进行Solidity合约开发时，有一些主流框架，可以帮开发者完成环境准备、工程管理等工作，提高coding的效率，前面介绍过Hardhat的使用，今天介绍一下Truffle的使用经验。

关于智能合约模糊测试的工具Echidna的理论介绍和使用示例，此工具可以帮助开发者生成测试用例，并自动化运行，以发现智能合约中的异常情况，经常用于发现合约中的安全漏洞。

智能合约可以实现多种多样的业务逻辑，实际应用场景最多的逃不过同质化、非同质化代币的发行与转移。本文就是选取了在ERC一系列标准中，被广泛应用的ERC-20，ERC-721和ERC-1155作为学习案例

一、库合约的使用 官网示例中给出了一个自定义的library，然后直接在合约中引用此library，这个自定义的Balances library实现的是转账功能，在转账之前对金额做校验，保障转出账户不

对官方文档的投票合约进行学习，包含以下内容： 1. 投票合约详情和合约的特点 2. 对合约进行优化 3. 用Hardhat对此合约进行测试

一、简单竞拍合约 1.合约介绍 学习的合约仍是官网提供的示例： https://learnblockchain.cn/docs/solidity/solidity-by-example.html#in

一、合约详情 继续官网合约示例的学习——安全的远程购买合约https://learnblockchain.cn/docs/solidity/solidity-by-example.html#index

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第5天，点击查看活动详情 一、什么是事件 合约事件类似我们熟悉的应用日志，用来记录区块链上发生的特定行为变化。Solidity与我们

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第7天，点击查看活动详情 一、错误处理机制 区块链具有分布式、不可篡改的特性，像一个大型的分布式数据库，也正是由于这个特性，需要智能

Hardhat是一个开源的以太坊开发框架，简单好用、可扩展、可定制的特点让它在开发者中间很受欢迎。Hardhat在支持编辑、编译、调试和部署合约方面都非常的方便，也有很多功能可以使合约测试工作更加高效

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第4天，点击查看活动详情 一、EVM的内部结构 前面已经了解到Solidity合约是会被部署在以太坊节点上，当发生外部调用时，合约会

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第6天，点击查看活动详情 一、基本概念 混合智能合约：通过Oracle预言机，能够安全地获取链外数据和服务的智能合约。 Oracle

一、合约详情 继续官网合约示例的学习—— 一个简单的支付通道合约https://learnblockchain.cn/docs/solidity/solidity-by-example.html#id

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第1天，[点击查看活动详情](https://juejin.cn/post/7167294154827890702 "https:/