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

每周以太坊进展 2022/11/19

每周以太坊进展 2022/11/19
每周以太坊 

形式化验证最受欢迎的智能合约 WETH

本文深入探讨了Wrapped ETH（WETH）智能合约的安全性和完整性验证。重点说明了通过使用Z3 SMT求解器所证明的两个重要不变式：WETH的内部会计正确性以及其用户始终能够成功提取已存款的ETH。此外，文章还提及了在WETH合约实现中发现的一个无害的小错误，并讨论了进一步的研究方向。
Wrapped ETH  WETH  安全性验证  智能合约  Z3  不变式 
  • zellic
  • 发布于 2022-11-19
  • 阅读 ( 351 )

隐私保护的监管解决方案

该论文探讨了如何通过零知识证明技术来实现区块链的隐私保护与合规性的平衡。文中指出，目前的区块链技术普遍缺乏隐私保护，而这对其广泛应用构成障碍。作者提出，利用零知识证明，可以在保障用户隐私的同时满足法律法规的监控要求，促进合法合规的金融活动。
零知识证明  隐私保护  区块链合规  金融服务  Tornado Cash  法律法规 

以太坊账户抽象万字研报：拆解 10 个相关 EIP 提案与冲击千万级日活用户瓶颈的七年之路

最新以太坊路线图的第六阶段Splurge中，最新纳入的ERC-4337成为了目前账户抽象（AccountAbstraction）的主要实现方案。
Web3  区块链  前沿提案 
  • 十四君
  • 发布于 2022-11-16
  • 阅读 ( 3063 )
  • ( 7 )

模仿ERC20写的代币合约

模仿ERC20写的代币合约
ERC20  Solidity 
  • arrom
  • 发布于 2022-11-16
  • 阅读 ( 2402 )
  • ( 4 )

以太七日谈 • 2022/11/15

4844与以太坊抗审查的权衡；FTX 事件回顾及其影响。
以太七日谈 

ERC777的特点

ERC777的特点
ERC777 
  • volar
  • 发布于 2022-11-15
  • 阅读 ( 3027 )
  • ( 9 )

ERC20 合约入门

这篇文章会手把手的教你开发智能合约的基本流程，带你快速入门智能合约的开发。
Remix 
  • VictorXSS
  • 发布于 2022-11-15
  • 阅读 ( 4463 )
  • ( 2 )

Vitalik：哪种类型的 Layer3 具有意义？

in  Vitalik博客精选
Vitalik 主要探讨了 StarkWare 所提出的较为“合理”的 L3 方案，但也反思目前对三层结构方案进行应用的必要性
扩容方案  Layer3  Vitalik 

每周以太坊进展 2022/11/12

每周以太坊进展 2022/11/12
每周以太坊 
  • EthWeekly
  • 发布于 2022-11-14
  • 阅读 ( 2414 )
  • ( 2 )

Uniswap：一个期权市场

本文深入探讨了 Uniswap 作为一种去中心化交易所的性能度量标准，提出了隐含波动率作为评估流动性提供者收益的新指标。文章通过传统期权市场的概念，阐明了 Uniswap 的动态对冲机制，并强调在分析流动性池的回报时，隐含波动率相较于仅仅依赖收益率的优势。
Uniswap  隐含波动率  流动性池  期权市场  动态对冲  加密货币 

什么是区块链节点提供商？我为什么需要一个？

本文介绍了区块链节点提供商的概念，解释了为什么运行自己的以太坊节点很困难，以及使用节点提供商的必要性。文章还对比了Infura、Alchemy和Quicknode等不同的节点提供商，并进一步解释了Alchemy的优势，以及如何开始使用Alchemy。
区块链节点  节点提供商  以太坊  Alchemy  Infura  QuickNode 

Vitalik：不同类型的 ZK-EVM

in  Vitalik博客精选
Vitalik 在本文中介绍了五种 ZK-EVM 类型，他详细地论述了它们的优劣势及其实现项目
以太坊  扩容方案  zkEVM  Vitalik 

关于提议者-构建者分离（PBS）的笔记

本文深入探讨了提议者与构建者分离（PBS）在区块链的设计哲学中的重要性，以及在以太坊2.0合并前后的演变过程。文章考察了PBS的市场结构、代理人问题，以及各种机制的设计，旨在最大化社会福利，并探索有效的协议增强措施，以应对中心化和审查问题。
Proposer-Builder Separation  以太坊  MEV  协议设计  区块构建  激励机制 
  • barnabe
  • 发布于 2022-11-09
  • 阅读 ( 404 )

构建Helios：完全无信任的以太坊访问

本文介绍了基于Rust的以太坊轻客户端Helios，它提供完全无信任的以太坊访问，克服了用户对集中式RPC提供商的信任问题。Helios利用以太坊的轻客户端协议，能够在极短的时间内同步，且不需要存储空间，从而使用户可以在任何设备上安全地访问链数据。此外，文章讨论了依赖集中式基础设施的潜在陷阱，以及如何通过Helios来减少这种依赖。
Helios  以太坊  轻客户端  无信任  RPC  Rust 

以太七日谈 • 2022/11/8

Rollup 摘除辅助轮的三个阶段；提款质押的 ETH 进展更新。
以太七日谈 

一文读懂以太坊签名：ECDSA、RLP、EIP155、EIP191、EIP712

思维导图我把以太坊签名分为对消息签名与对交易签名，这两种签名都是基于ECDSA算法与流程，本章就让我们来搞清楚两种签名具体的内容。
签名  ECDSA  EIP712 
  • ethsamgs
  • 发布于 2022-11-08
  • 阅读 ( 14236 )
  • ( 96 )

有效性（ZK）证明与欺诈证明

这篇文章深入探讨了以太坊的扩展问题，专注于Layer2区块链中的有效性证明和欺诈证明的原理及应用。它详细介绍了两种主要的Rollups（乐观Rollups和零知识Rollups），以及它们在提高区块链交易效率和确保交易安全性方面的重要性。
以太坊  层2  有效性证明  欺诈证明  rollups  零知识证明 
  • Alchemy
  • 发布于 2022-11-07
  • 阅读 ( 572 )

每周以太坊进展 2022/11/5

每周以太坊进展 2022/11/5
每周以太坊 
  • EthWeekly
  • 发布于 2022-11-07
  • 阅读 ( 2022 )
  • ( 5 )

大家好，我开发了一个扫块的工具包，可以用来方便的监听交易动态

Magician-web3是一个区块链开发工具包。它由两个功能组成。一个是扫描区块链，根据开发者的需要监控交易。另一个是对web3j的一些二次打包，可以减少开发者在一些常见场景下的工作量。它计划支持三种链，ETH（BSC、POLYGAN等）、SOL和TRON。
扫块  DApp  Web3