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

stark证明实操python实现02

通过stark简单证明实操python-02
Python  zkSTARK 

Gelato 和 Safe 将账户抽象引入 Base

Gelato 和 Safe 正在将账户抽象引入 Coinbase 即将推出的 L2 网络 Base。Safe 将在 Base 上部署其智能合约钱包基础设施，Gelato 已经开始运行 Base 节点并部署了其交易中继网络。开发者可以使用一个强大的 SDK，开箱即用地获得账户抽象的所有功能。
账户抽象  智能合约钱包  base  Gelato  Safe  L2 
  • gelato
  • 发布于 2023-02-25
  • 阅读 ( 466 )

stark证明实操python实现01

通过stark简单证明实操python-01
Python  zkSTARK 

ERC20快照

文章详细介绍了ERC20快照技术，解决双花投票和重复领取空投的问题，并探讨了其实现机制和OpenZeppelin的解决方案。
ERC20  快照  双花投票  OpenZeppelin  Solidity  智能合约 

利用 OP Stack 和 Optimism 实现 Base 的去中心化

Coinbase 推出以太坊 Layer 2 网络 Base，旨在提供安全，低成本，对开发者友好的链上 Dapp 构建方式。Base 基于 OP Stack 构建，与 OP Labs 和 Optimism Collective 合作，共同扩展以太坊，目标是创建一个强大的，可互操作的 web3 生态系统，将 10 亿用户引入 web3。
以太坊  Layer 2  OP Stack  Optimism  去中心化  EIP4844 
  • base__
  • 发布于 2023-02-24
  • 阅读 ( 410 )

乐观中继提议

本文档介绍了Optimistic Relay的概念，旨在弥合研究与当前`mev-boost`软件之间的差距，以期了解PBS文献中提出的机制在实践中的表现。Optimistic Relay通过异步块验证流程，允许构建者提交更多块，并在插槽中稍后提交块，从而激励构建者诚实地使用Optimistic Relay，relay 扮演中间人的角色。
Optimistic Relay  mev-boost  PBS  Proposer-Builder分离  区块构建  异步块验证 

乐观中继提议

本文档介绍了Optimistic Relay的概念，旨在弥合研究和现有`mev-boost`软件之间的差距，从而更好地理解PBS文献中提出的机制在实践中的行为。Optimistic Relay通过异步块验证流程，允许构建者提交更多块，并在插槽中稍后提交块，从而减少了构建者的延迟惩罚。同时也讨论了与Optimistic Relay相关的安全考虑和潜在风险，并提出了相应的应对措施。
Optimistic Relay  mev-boost  PBS  Proposer-Builder Separation  区块构建  异步验证 

EIP-1167：带初始化的最小代理标准（克隆模式）

in  代理模式与 Delegatecall 规范手册
本文详细介绍了EIP-1167标准，即最小代理合约，用于廉价创建代理克隆。文章深入解析了其工作原理、字节码结构、初始化函数及实际应用示例，帮助开发者理解如何高效部署相似合约。
EIP-1167  最小代理合约  Solidity  代理模式  初始化函数 

stark数学基础和翻译名词

stark数学概念和翻译
区块链中的数学  zkSTARK 

互操作性三难困境

本文深入探讨了以太坊多链互操作性的难题，将互操作性协议分为原生验证、外部验证和本地验证三种类型，并提出了互操作性三难困境：信任性、可扩展性和通用性不可兼得。Connext 的 NXTP 协议旨在实现安全和可扩展性，并通过协议栈的方式，在 NXTP 基础上添加原生验证协议，以实现通用性。
跨链桥  互操作性  以太坊  NXTP  Connext  信任 

EVM 第一部分：以太坊虚拟机基础知识

本文详细介绍了以太坊虚拟机（EVM），EVM可以理解为是一种隔离环境，专门用于处理智能合约交易，以及确定每个新挖出的区块的以太坊区块链的总体状态。文章从EVM的虚拟机器、状态机器、准图灵完备机器三个角度，由浅入深地介绍了EVM的原理、架构和工作机制，为读者构建了EVM的完整知识体系。
以太坊虚拟机  智能合约  状态机  图灵完备  EVM架构  EVM工作原理 

为什么又要推出一种稳定币？

本文详细探讨了稳定币的各种设计和机制，强调了稳定币在保持价格稳定中的重要作用。作者分析了传统资产支持、抵押债务、未来增长支持和收费支持等不同类型的稳定币设计，说明了每种设计所面临的挑战和潜在风险。同时也指出了在稳定币创造过程中对社会经济影响的深远责任。
稳定币  经济协议设计  价格锚定  抵押债务  资产支持  市场均衡 

ERC-4337账户抽象实践

目前在网上搜索ERC-4337基本只能搜到科普介绍性质的文章，缺乏动手实践指导的文章，本文希望能补上这部分的空白。
账户抽象  智能钱包  ERC4337 

以太坊虚拟机 (EVM) - 相关文章

该内容主要介绍了 Decipher Club 社区关于以太坊虚拟机（EVM）的一系列文章和学习资源，包括 EVM 的基础知识、智能合约从 Solidity 代码到字节码的转换过程，以及一个 EVM 谜题游戏，旨在帮助 Solidity 开发者更好地理解 EVM 的工作原理。
EVM  以太坊虚拟机  Solidity  字节码  智能合约  OpCode 

零知识证明-SRP协议

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

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

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

什么是 zkEVM？zkEVM 五分钟详解

本文深入探讨了以太坊的可扩展性问题，并介绍了各种解决方案，包括侧链、Optimistic Rollup 和 ZK Rollup。重点解释了 zkEVM 的概念及其优势，zkEVM 是一种与 EVM 兼容的零知识 Rollup，它结合了 ZK Rollup 的优点和 EVM 的开发体验，为以太坊的可扩展性提供了潜在的解决方案。
以太坊  可扩展性  侧链  Rollup  Optimistic Rollup  ZK Rollup  zkEVM  零知识证明 

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

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

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

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

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

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