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

本体技术视点 | 在 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)
测试网  智能合约 

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

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

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

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

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

MuSig2：Schnorr 的多签名

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

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

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