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

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)
测试网  智能合约 

如何更新一个支付通道的余额

本文深入探讨了闪电网络通道如何在无需任何一方承担资金丢失风险的情况下更新余额。文章详细介绍了承诺事务的概念，以及在Alice向Bob支付0.02 BTC时，双方如何通过构建和签名“先给自己支付”和“先给对方支付”的交易，并结合RSM合约来保证资金安全和通道状态的更新。
闪电网络  支付通道  承诺事务  RSM合约  多重签名  比特币 

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

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

以太七日谈 • 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
  • 阅读 ( 6400 )
  • ( 2 )

MuSig2：Schnorr 的多签名

本文介绍了Schnorr多重签名协议MuSig2，它通过聚合多个参与者的签名碎片为一个签名，降低交易体积并提高验证效率，从而提升隐私性。文章详细解释了MuSig2的公钥生成和交易签名过程，并探讨了其与传统多签名方案的区别与优势，最后还提及了密钥取消攻击的防范手段。
Schnorr签名  多重签名  MuSig2  Taproot  密钥聚合  区块链 

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

主流区块链开发语言大比拼
  • powervip
  • 发布于 2022-01-19
  • 阅读 ( 11640 )
  • ( 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 

Utreexo 实现道路上的进展

本文作者介绍了 Utreexo 项目的最新进展，重点阐述了使用致密状态节点（CSN）带来的好处，包括增强比特币安全性、无需硬分叉即可引入 Utreexo，以及减少节点体积的可能性。文章还讨论了并行化初次区块下载以提升网络性能和安全性的潜力，并指出了当前版本的局限性以及未来的开发方向。
Utreexo  UTXO集  CSN  致密状态节点  区块链  全节点 

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

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