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

DEFI 研究悬赏 & 南京大学区块链x金融 SIG 介绍

我们想研发一份高质量的[DeFi](https://learnblockchain.cn/article/945)研究报告。我们将为本报告对外悬赏 5000 RMB （欢迎多人参与），欢迎大家参与到报告的共同撰写工作中来！
DeFi  金融科技 

本体技术视点 | 在 Web3 中，描述身份的方式将被完全重构！

你的行为既是你的身份
身份  DID  钱包 

小狐狸钱包，显示以太坊测试网络

老款的小狐狸的钱包都是自动显示测试网络的，新款小狐狸钱包默认是不展示的，由于要做合约测试，必须要添加。在网络配置中又看到了测试网络，找了半天没找到添加的入口，后来在这里找到了，高级...
metabask 

Move智能合约的形式化验证工具

*“程序测试能证明错误的存在, 但不能证明错误不存在” – Edsger Dijkstra*。智能合约是一个对安全性要求非常高的领域，一个不经意的小 bug 很可能会导致不可估量的损失。
形式化验证  Move 

5 分钟内编写一个简单的区块链预言机合约、预言机服务器和客户端

[预言机网络](https://learnblockchain.cn/article/3734)是一个基本的web服务器，它允许信息从互联网传输到区块链层。
预言机 

StarkNet Alpha 的费用机制

本文介绍了 L2 解决方案 [StarkNet ](https://learnblockchain.cn/article/3109)交易的费用机制，及其未来的变化方向。
扩容方案  Starknet  手续费 

从零开发区块链应用(五)--golang网络请求

in  从零开发区块链应用
[golang](https://learnblockchain.cn/article/577)网络请求
golang  DApp 

在公共测试网上部署智能合约

在公共测试网上[部署智能合约](https://learnblockchain.cn/article/2469)
测试网  智能合约 

事后分析：Notional Finance 漏洞及正确形式化规范的重要性

文章讲述了 Notional Finance 系统中出现的一个漏洞，该漏洞由于不正确的形式化验证不变量导致。原本旨在防止资产重复的错误不变量实际上是空洞的，无法发现漏洞。随后通过更正后的简单不变量成功检测到该漏洞，并提出了改进规范安全性的措施，包括审计规范、漏洞赏金、技术检查和集成测试工具，以提高代码安全性和规范的准确性。
形式化验证  不变量  Certora Prover  漏洞  Notional Finance  DeFi 
  • Certora
  • 发布于 2022-01-19
  • 阅读 ( 146 )

以太七日谈 • 2022/1/19

LooksRare 上线和代币发布；[MetaMask](https://learnblockchain.cn/article/844) Flask 上线
以太七日谈 

Dapp 前端工具: Drizzle Store

速成指南：在 React Dapp 中使用 [drizzle](https://learnblockchain.cn/2018/07/07/3d181c98d8df) store
Drizzle  DApp  react 

使用Tape测试工具实现对超级账本fabric区块链的交易压力测试

使用Tape测试工具实现对[超级账本fabric](https://learnblockchain.cn/article/1011)区块链的交易压力测试
Tape  Fabric 
  • powervip
  • 发布于 2022-01-19
  • 阅读 ( 6061 )
  • ( 2 )

主流区块链开发语言大比拼

主流区块链开发语言大比拼
  • powervip
  • 发布于 2022-01-19
  • 阅读 ( 10892 )
  • ( 49 )

防止对以太坊的智能合约攻击——代码分析

约通常也处理以太，并且经常将以太发送到各种外部用户地址。这些操作要求合约提交外部调用。这些外部调用可能会被攻击者劫持，攻击者可以强制合约执行进一步的代码(通过一个回退函数)，包括对自身的调用。
攻击 

Flashbots透明度报告 — 2021年9月至12月

本文是一份Flashbots团队在2021年最后四个月的透明度报告，介绍了团队的成长、新技术发布和研究进展，特别是在以太坊2.0的拍卖和前置保护相关工作。报告详细阐述了最新的MEV-Geth v0.4版本的发布、基础设施改进、社区活动以及即将到来的以太坊合并。
Flashbots  MEV  以太坊2.0  白帽  前置保护  去中心化金融 

从零开发区块链应用(四)--自定义业务错误信息

in  从零开发区块链应用
自定义业务错误信息
DApp 

从零开发区块链应用(三)--mysql初始化及gorm框架使用

in  从零开发区块链应用
mysql初始化及gorm框架使用
DApp 

从零开发区块链应用(二)--mysql安装及数据库表的安装创建

in  从零开发区块链应用
mysql安装及数据库表的安装创建
DApp 

从零开发区块链应用(一)--golang配置文件管理工具viper

in  从零开发区块链应用
golang配置文件管理工具viper
DApp 

Notional Finance漏洞的事后分析——一个恒真的不变式

Notional Finance在2022年1月7日报告了一个智能合约中的关键漏洞，该漏洞可能导致资产被重复计算。团队使用Certora Prover进行形式验证，但由于一个逻辑错误，导致编写的防止资产既是“位图”又是“活动”状态的不变性条件是空洞的。文章分析了错误和正确的形式化方法，并提出了改进措施，以防止未来出现类似情况，确保代码安全。
形式验证  不变性条件  Certora Prover  漏洞分析  智能合约安全  位图