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

当不变量不成立时：DAI的Certora惊喜

本文探讨了MakerDAO的Multi-Collateral DAI稳定币的一个重要发现：尽管过去被认为是可证明的不可变关系，使用Certora Prover进行的形式验证显示该关系并未成立。文章详细阐述了使用Certora工具进行形式验证的过程和技术细节，并强调了开发智能合约时保持谦虚和开放心态的重要性。
Makerdao  Multi-Collateral DAI  Formal Verification  Certora Prover  智能合约  安全性 

TWAP预言机 vs. Chainlink喂价：比较分析

本文深入比较了TWAP预言机和Chainlink喂价，指出TWAP在价格精度、安全优化、市场覆盖、安全扩展和信息源多样性方面存在局限性，不适用于大多数DeFi场景。Chainlink通过VWAP提供准确实时的市场数据，具有更强的抗篡改性和更广泛的市场覆盖，并提供灵活的安全扩展方式，是更优越的预言机解决方案。
TWAP  Chainlink  预言机  DeFi  价格喂价  VWAP 

使用OpenZeppelin编写可升级的智能合约

in  全面掌握Solidity智能合约开发
在本文中，通过 7 个任务，如何来编写可升级合约，测试以及自动、活动实施升级。 在 7 个任务中，分别介绍了可升级合约可能遇到的各种情况： 在新实现合约中添加函数、添加状态变量、修改状态变量可见性（修改函数）。
OpenZeppelin  Upgrade  智能合约 
  • Tiny熊
  • 发布于 2022-06-24
  • 阅读 ( 11682 )
  • ( 9 )

使用 Sorbet Finance 在 Uniswap V3 (Polygon) 上设置 Range Orders

本文介绍了如何使用 Sorbet Finance 在 Polygon 上的 Uniswap V3 上设置 Range Orders。Range Orders 允许用户以单边资产的形式提供流动性，并在达到用户指定的价格范围时，将一种资产兑换成另一种资产。通过 Gelato 机器人监控价格并自动执行订单，用户可以在等待订单成交的同时赚取费用。
Range Orders  Uniswap V3  Polygon  Sorbet Finance  Gelato  自动化交易 

智能合约安全审计入门篇 —— delegatecall (2)

[上篇文章](https://learnblockchain.cn/article/4125)中我们了解了什么是 delegatecall 函数以及一个基础的漏洞，这篇文章的目的是加深一下大家对 delegatecall 的印象并带大家一起去玩点刺激的，拿下一个进阶版的漏洞合约。
安全技术研究  delegatecall  智能合约 

Infura 开发者注意! 合并之前以太坊测试网更新

这篇内容有关Testnets 的历史，定义了 Ropsten、Kovan、Rinkeby、Görli、Sepolia 测试网的未来 (因为它与今年夏天以太坊与 Proof-of-Stake 的合并有关。)
区块链  开发工具  合并 

以太坊合并及其对 Truffle 的意义

在这篇文章中，我们将通过探索升级以太坊网络的方式、Truffle 如何为此做准备以及最终对我们服务的未来意味着什么，来更深入地了解向权益证明的迁移。
Web3  开发工具 

使用 Web3.py 模式进行定制化

如果你想让 Web3.py 来定制一些基础功能之外的工作，最少有这几个选择：中间件、自定义方法、外部模块和自定义provider。这篇文章将逐个介绍这些分别是什么，什么时候会涉及到，以及如何开始。
web3.py 

本体征文大赛 | 寻找Web3变革者

千元大奖邀您畅谈Web3
DID  Web3 

Aave-V2 gas优化策略学习

在翻阅Aave-V2的白皮书的时候，有一章节在讲gas优化的，其中的一些思路值得效仿学习一下
Aave 

转发信息：深入探讨IBC转发器的操作

本文深入探讨了 IBG（Inter-Blockchain Communication）中中继操作员的重要性以及即将推出的 ICS-29–中继费用激励机制。通过结合来自多个中继操作员的访谈内容，提供了中继软件的选择与技术设置的细节，明确了中继过程中的各种挑战与解决方案。这为有意开展中继工作的团队和对 IBC 技术感兴趣的读者提供了有效指导。
IBC  中继操作员  费用激励  中继软件  技术设置  跨链通信 

利用Docker镜像准备Solidity开发环境

在[上一篇文章](https://learnblockchain.cn/article/4273)中我们已经准备好了用于开发、测试和部署智能合约的以太坊私有环境，那么在开始编写合约之前，我们还需要准备开发环境。
Solidity 
  • zhengyq
  • 发布于 2022-06-24
  • 阅读 ( 3244 )
  • ( 9 )

零知识证明 - Halo2开发常见错误(Custom Gate)

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。
零知识证明  Halo2 
  • Star Li
  • 发布于 2022-06-24
  • 阅读 ( 3616 )

以太坊 - 什么是danksharding？

本文深入探讨了以太坊的 proto-danksharding 设计及其对 Layer 2 扩展的意义。通过详细解释分片、danksharding 及其与 EIP-4844 的关系，作者阐明了该技术如何促进以太坊网络性能的提升，同时指出其局限性，如不会直接降低以太坊的 gas 费用。整体结构清析，逻辑严密，适合对区块链扩展解决方案感兴趣的开发者阅读。
Sharding  Danksharding  Proto-Danksharding  EIP-4844  Layer 2  区块链 
  • Alchemy
  • 发布于 2022-06-23
  • 阅读 ( 571 )

在Azure中部署以太坊测试环境

这是一系列“关于如何在私有环境中发布NFT”文章中的第一篇，我希望通过这些文章揭开NFT的面纱，让大家可以在私有环境学习如何发布的NFT。还可以通过这些文章认识智能合约，并在开始学习编写智能合约的时候，知道如何搭建环境来开发、测试和部署自己的智能合约
GoQuorum  Azure 
  • zhengyq
  • 发布于 2022-06-23
  • 阅读 ( 3082 )
  • ( 16 )

zkREPL：一个zkSNARKs 在线开发环境

在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。
零知识证明  zkSNARK 
  • XPTY
  • 发布于 2022-06-23
  • 阅读 ( 4489 )

Solidity进阶之静态分析

静态分析是相对容易掌握的工具，对开发复杂的Defi应用非常有帮助。
静态分析  区块链安全 
  • Deep Defi
  • 发布于 2022-06-23
  • 阅读 ( 5519 )
  • ( 48 )

存档节点 - 你需要知道的一切

本文详细介绍了以太坊的归档节点，解释了其工作原理、同步过程以及为何在开发去中心化应用（dApp）时使用归档节点的重要性。文章还列出了所需的硬件规范以及如何利用Alchemy连接归档节点。
归档节点  以太坊  节点类型  DAPP开发  区块链历史数据  Alchmy 
  • Alchemy
  • 发布于 2022-06-23
  • 阅读 ( 655 )

保护你的钱包！假钱包全景追踪

慢雾于去年 11 月 24 日发布了关于假钱包黑产的分析报告——慢雾：假钱包 App 已致上万人被盗，损失高达十三亿美元，可想而知，随着时间流逝，直到今天的被盗损失会是多么令人惊讶。今天我们从大数据侧分析，到底有多少假钱包。
安全技术研究  钱包 

聚焦：ZK-SNARK 技术

这篇文章将关注ZK-SNARK如何适应现有的应用程序，有哪些例子说明它们能做什么，不能做什么，以及有哪些通用的指导方针来判断ZK-SNARK是否适合某些特定的应用程序。
zkSNARK  技术