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

一文读懂Web3

本文将根据互联网的发展史来定义[Web3](https://learnblockchain.cn/article/2053)，详细介绍Web3技术栈的关键技术，并探讨Web3的当前和未来发展。
Web3 

Foresight Ventures: 浅谈 Arbitrum 生态

短短半年时间里, [Arbitrum](https://learnblockchain.cn/article/3438) 生态飞速生长, 已经在各个赛道上都拥有成熟并且出圈的特色项目
Arbitrum  Layer2 

无需许可：Multichain漏洞利用解析

Multichain协议的用户遭到攻击，攻击者利用Multichain智能合约中的漏洞窃取了数百万美元的代币。文章深入分析了漏洞的技术细节，利用Tenderly调试器重放智能合约交易，揭示了攻击者如何通过构造恶意合约、绕过WETH合约的permit函数以及利用用户预先授权的无限额度来窃取资金。文章还总结了漏洞产生的多个因素，并提出了安全建议。
Multichain  漏洞  智能合约  Tenderly调试器  ERC20 permit函数  BaDapprove 

Solana内部详解第三部分：交易处理单元（TPU）

本文详细介绍了Solana中的交易处理单元（TPU）的设计和工作原理，分析了在网络拥堵期间TPU性能下降的原因，并探讨了如何通过去重和过滤冗余数据来提高交易处理效率。文章对TPU的三个主要处理阶段进行详尽讲解，包含大量示意图和代码示例，使读者能够深入理解Solana事务处理的内部机制。
Solana  TPU  交易处理  网络拥堵  性能优化  链上验证 
  • Sec3dev
  • 发布于 2022-01-24
  • 阅读 ( 656 )

每周以太坊进展2022/1/22

每周以太坊进展2022/1/22： Ganache v7 发布，30x速度提升。方便前端开发的Web3UIKit
每周以太坊 
  • EthWeekly
  • 发布于 2022-01-24
  • 阅读 ( 2910 )
  • ( 16 )

EIP2535 Diamonds 如何降低智能合约系统的Gas费用

本文探讨了智能合约之间交互所导致的高gas成本，并提出EIP2535 Diamonds框架作为减少external function calls和gas成本的解决方案。通过将多个合约组合为一个“diamond”，可以显著降低合约之间的调用成本，同时避免单个合约的大小限制。
智能合约  Gas成本  EIP2535  Diamond标准  external function call  内部函数调用 

聊一聊 zkMove（一）

本文是 [zkMove](https://learnblockchain.cn/article/3459) 系列的第一篇，介绍了项目创建的背景和用途。
零知识证明  Move  zkMove 

入门智能合约 ｜ 数据存储以太坊链｜发行一个代币｜实现代币转账查询等功能

入门智能合约｜实现代币的增发｜实现代币余额的查询｜实现代币的转账
Solidity  Remix 
  • easy
  • 发布于 2022-01-23
  • 阅读 ( 5915 )
  • ( 30 )

测试网Gladios节点搭建相关解答

参与了验证人报价竞选，一般等待1-2小时，如果您的配置没有问题即可以成为验证人节点。
预言机  Rust 

Curve帝国编年简史：资本永不眠

Curve帝国编年简史：资本永不眠
eth  Curve  DeFi 
  • CryptoPay
  • 发布于 2022-01-22
  • 阅读 ( 4708 )
  • ( 4 )

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

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

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

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

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