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

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

在公共测试网上[部署智能合约](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
  • 阅读 ( 570 )

以太七日谈 • 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 

比特币挖矿消耗大量电力，有产生实际价值吗？

[比特币挖矿](https://learnblockchain.cn/article/1077)需要消耗大量电力，从而造成电力资源的浪费，只是大家都知道的，也是比特币饱受争议和指责的地方。大家都会想到一个问题，比特币挖矿真的有实际价值吗？要回答这个问题，要先了解...
PoW 工作量证明  比特币 

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

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

MuSig2：Schnorr 的多签名

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

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

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

是什么让 Gear 与众不同? 在 Gear 上部署有什么好处？

Web 1.0 是互联网的第一次迭代。这个时代主要可以归类为静态网站——只能显示信息。用户可以浏览网站，但不能与网站上的数据互动。这意味着 Web 1.0 技术的使用案例严重受限。...
gear  波卡  Substrate 

Utreexo 实现道路上的进展

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

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

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

一文搞懂IPFS中的分布式哈希表

[IPFS](https://learnblockchain.cn/2018/12/25/use-ipfs)基于分布式哈希表，实现了3套接口，PeerRouting、ContentRouting、ValueStore。并基于这些接口实现了节点路由、内容寻址、发布订阅、AutoRelay、IPNS等功能。
IPFS 
  • stirlingx
  • 发布于 2022-01-18
  • 阅读 ( 8304 )
  • ( 18 )

Snapshot X 介绍：我们即将推出的链上投票框架 f…

Snapshot X 是一个建立在 StarkNet 上的投票框架，允许 DAO 在 layer2 上进行链上治理，并在以太坊上执行交易。它通过使用存储证明来验证余额，降低了gas成本，并提供无需信任的执行、无需许可和抗审查等优势。计划于2022年第二季度发布。
Snapshot X  Starknet  DAO  链上治理  存储证明  Gas 成本