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

零知识证明-SRP协议

零知识证明-SRP协议简介​SRP是SecureRemotePassword协议的缩写，是一种密码协议，用于在客户端和服务器之间建立安全的身份验证。该协议的设计旨在避免将用户密码明文传输到服务器，从而提高了安全性。
零知识证明  srp 

以太坊L2扩容方案与零知识证明

以太坊L2扩容方案与零知识证明
以太坊2.0  L2 

理解账户抽象(AA)#1 - 从头设计智能合约钱包

本文提供一个新的视角来理解账户抽象（Account Abstraction）。通过从零开始设计智能合约钱包，你会明白几个简单选择之后，让 ERC-4337 如此复杂的原因。
EVM  账户抽象  智能钱包  智能合约 
  • Tiny熊
  • 发布于 2023-02-21
  • 阅读 ( 6985 )
  • ( 145 )

每周以太坊进展 2023/2/18

每周以太坊进展 2023/2/18
每周以太坊 
  • EthWeekly
  • 发布于 2023-02-20
  • 阅读 ( 3933 )
  • ( 51 )

第一部分：注意Solidity开发者，你可能正好达到合约大小限制

本文介绍了智能合约bytecode大小限制的重要性，以及超过限制可能导致的DOS攻击。EIP-170将以太坊智能合约bytecode大小限制设置为24.576 KB。文章列举了多种优化bytecode大小的方法，如避免代码冗余、使用库、采用ERC-2535等，并推荐了hardhat-contract-sizer等工具来监控合约大小。
智能合约  bytecode  EIP-170  优化  Gas 优化  Solidity 

理解验证者的生命周期

in  以太坊中文 · ETH
本文将深度剖析验证者的生命周期，展示每个状态和状态转换之际发生的事情，状态转换的触发条件，每次状态转换所需时间。
验证者  共识层 

了解 6个zkEVM项目探索以太坊未来扩容的关键

通过6个ZkEVM项目探索未来以太坊的真正潜力，实现可扩展性和隐私性
ZK Rollup  zkEVM 
  • 张小雨
  • 发布于 2023-02-16
  • 阅读 ( 3432 )
  • ( 15 )

Danksharding、4844 万字研报：白话解读「不可能三角」的变革性解决方案

这篇文章是 Danksharding 为以太坊解决 “区块链不可能三角” 提供了一种变革性的解决方案
不可能三角 
  • 7UpDAO
  • 发布于 2023-02-14
  • 阅读 ( 2913 )
  • ( 11 )

每周以太坊进展 2023/2/11

每周以太坊进展 2023/2/11
每周以太坊 
  • EthWeekly
  • 发布于 2023-02-14
  • 阅读 ( 4095 )
  • ( 23 )

理解以太坊上海升级中的退出队列

本文详细介绍了以太坊即将进行的上海升级，以及Validators在退出时的ETH提取过程，包括部分和完全提取的机制。文章分析了退出队列和提取队列的运作模式，强调了提取批次的限制以及该过程对以太坊网络安全性的潜在影响，并对未来的Validator数量进行了预测，提供了多项有用的信息以帮助用户理解和应对即将发生的变化。
以太坊  验证者  退出队列  提取队列  部分提取  完全提取 
  • juanp2p
  • 发布于 2023-02-11
  • 阅读 ( 433 )

账户抽象不会到来

本文介绍了账户抽象（Account Abstraction, AA）的概念，它旨在通过将账户类型从两种（EOA 和智能合约）减少到一种（仅智能合约）来提高 Web3 的可用性和灵活性。
账户抽象  智能合约账户  EOA  EIP4337  签名抽象  Gas 抽象 
  • safe__
  • 发布于 2023-02-10
  • 阅读 ( 115 )

3月启动的以太坊上海升级，验证者需要知道的

以太坊的上海升级无疑是2023年最值得期待的加密事件之一。上海升级预计将于3月进行，届时将允许自2020年12月以来在信标链上质押或存入的1600万枚ETH进行提款。此前以太坊基金会发布了关于上海升级需要了解的一些问题，本文整理出了关于上海升级验证者值得注意的问题，以望帮助读者深入理解这一重大
  • Tokenview
  • 发布于 2023-02-10
  • 阅读 ( 2212 )
  • ( 7 )

以太坊路线图：账户抽象

in  以太坊中文 · ETH
文章介绍了外部拥有账号 (EOA) 和合约账户 (CA) 之间的区别，以及账户抽象的意义。
账户抽象 

模块化 MEV；第一部分——介绍

本文介绍了最大可提取价值（MEV）在加密领域的重要性，详细探讨了MEV的历史、参与者及其对用户和生态系统的影响。作者分析了MEV的潜在好处和弊端，并提出了对MEV供应链去中心化的必要性，尤其是在二层网络中。文章深入探讨了MEV对链的经济安全的影响，提出通过更多机制改进MEV的问题，以更好地平衡用户体验与经济安全。
MEV  以太坊  去中心化  区块链  经济安全  二层网络 
  • maven11
  • 发布于 2023-02-09
  • 阅读 ( 481 )

如何实施钻石标准

本文章深入介绍了Diamond Standard（EIP-2535）的原理及实现，作者Nick Mudge概述了其优点和组件，如Diamond.sol、DiamondLoupeFacet.sol和DiamondCutFacet.sol等，强调其在提高智能合约可扩展性和透明度方面的应用，同时对Diamond Storage和App Storage的管理状态变量提出了建议。
Diamond Standard  EIP-2535  智能合约  代理模式  链上应用  可扩展性 

每周以太坊进展 2023/2/4

每周以太坊进展 2023/2/4
每周以太坊 
  • EthWeekly
  • 发布于 2023-02-08
  • 阅读 ( 3004 )
  • ( 22 )

雪绒花互操作性活动回顾

以太坊协议开发者在合并后几个月取得了多项进展，包括提款、danksharding、EOF、verkle tries等。为了推进这些进展，客户端团队成员在奥地利举行了为期一周的互操作性活动Edelweiss。活动主要关注Shapella和ProtoDanksharding网络升级，以及EVM对象格式(EOF)等其他开放问题，并启动了一个新的Verkle Trie测试网。
shapella  Protodanksharding  EIP-4844  EVM Object Format (EOF)  Verkle Trie  SSZ 

以太坊智能合约创建代码

文章详细解释了以太坊智能合约在字节码级别是如何构造的，特别是构造函数参数的解释和处理方式。文章通过多个示例和图示，深入探讨了初始化代码、运行时代码以及带参数的构造函数的实现细节。
字节码  合约构造  初始化代码  运行时代码  构造函数参数  EVM 

使用Halmos进行形式化验证的符号测试

本文详细介绍了形式化验证（formal verification）的过程及其在智能合约中的应用，强调了与单元测试的互补关系，以及如何利用Halmos工具简化形式化验证的实施。文中分析了正式验证的挑战、规范的编写开销及其在ERC721A智能合约中的案例，展示了通过符号测试实现高效验证的重要性。
智能合约  Halmos  符号测试  单元测试  ERC721A  形式化验证 

Etherscan显示合约的创建代码还是运行时代码？

本文探讨了Etherscan上已部署和验证的智能合约显示的字节码内容。通过实验对比，发现Etherscan显示的并非仅是运行时字节码，而是完整的字节码（创建代码+运行时代码），并附加构造函数参数（如果存在）。此外，未验证的合约在Etherscan上仅显示运行时字节码。
Etherscan  智能合约  字节码  运行时代码  创建代码  构造函数参数