技术

  • 以太坊核心开发者最新会议摘要:激活PeerDAS、提高blob gas限制

    开发者们就软件包维护、EIP 包括流程和命名新一轮以太坊共识层升级等议题展开了深入讨论。此外,会议还涉及到了在 Electra 规范下的实现进展、PeerDAS 网络变更对以太坊节点处理和验证数据的影响、以及关于增加 blob gas 限制的复杂工程问题。

    2天前
    12
  • 以太坊研究员和a16z研究员合著:区块空间分配机制

    首先阐述了引入内协议机制处理区块空间分配的必要性,随后通过「谁、什么、何时、何地、如何」(W^4H)的框架来评估和比边现有的分配方案,并进一步深入分析了执行票模型(execution tickets)如何在提高 MEV 感知度和分配公平性之间取得平衡。

    4天前
    38
  • 账户抽象:改善区块链交互体验的关键

    在探索的过程中,Ethereum 提出了 ERC-4337、EIP-3074 和 EIP-7702 等账户抽象解决方案。而其他公链比如 Solana 则存在 Program Derived Addresses (PDA) 这种类似账户抽象的方案,Cosmos 也有 x/authz 这类相似设计。

    5天前
    55
  • Movement的公链新解,「将 Move 引入 EVM」能否重塑以太坊与Move?

    作为 Move 系新公链中首个从「以太坊杀手」转向「加入以太坊」的融合性方案,Movement 这种在 L2 层应用高性能架构、最终状态安全性基于以太坊主网的机制设计,也在 4 月份斩获了 3800 万美元的大额融资。

    2024年6月7日
    0
  • FHE是ZK的下一步,加密技术如是说

    我尝试在本文中勾勒一种加密技术的发展史,这区别于加密行业的各类技术变迁过程,比如 FHE 和 ZK 以及 MPC 的关系,从一个粗略应用的过程而言,MPC 用于开始,FHE 可以用于中间的计算过程,而 ZK 可以最终证明,而从应用时间顺序,则是 ZK 最早落地,之后 AA 钱包概念大火,MPC 作为一种技术方案得到重视,发展提速,唯独 FHE 在 2020 年已经被神施以喻言,但在 2024 年才略微起火。

    2024年6月7日
    0
  • Web3新手系列:DEX为啥不做订单匹配也能撮合交易

    于是就发明了 AMM(自动化做市商,Automated Market Maker),可以做到不用匹配订单也可以实现交易。大家可能会好奇,这怎么做到的,交易通常就是有人卖才有人能买啊?没错 AMM 就是做到了没人卖你也可以买。接下来就具体展开讲讲 AMM 是如何做到这一点的。

    2024年6月6日
    102
  • 介绍EIP-7702:通过优化账户抽象加速以太坊采用

    账户抽象 (Account Abstraction, AA) 的出现引起了广泛关注,它被视为解决以太坊用户体验问题的一项关键方案。然而,尽管 AA 被认为具有很大潜力,但在实际应用中一直是一个难题,直到最近才有所突破。

    2024年6月5日
    11
  • a16z:理解Jolt zkVM相关思考和澄清

    在我们继续增强 Jolt 的同时,我想回应外界的质疑和困惑,澄清误解,分享我对一些关键问题的看法。我在本文要探讨的四部分内容是:(1)sum-check 协议与 Binius 承诺方案之间的关系,(2)sum-check 和 lookups 在 Jolt 中的作用,(3)椭圆曲线与哈希,(4)与 zkVM 相关的预编译。

    2024年6月5日
    26
  • 主动验证服务 (AVS) 在以太坊中的作用和影响

    以太坊网络向权益证明(PoS)模式的过渡标志着区块链技术的一次革命性进步,这种方法更强调节能高效,在保持去中心化和网络安全方面的效率高达 99.95%,据以太坊基金会称。通过允许持有并愿意「质押」一定数量 ETH 的持有者来验证交易,PoS 不仅加强了网络安全性,还提升了可扩展性。

    2024年6月3日
    66
  • 一文读懂ERC-7401,嵌套NFT标准的全新篇章

    ERC-7401 即家长管理的可嵌套非同质代币,最初的名称为 ERC-6059,但后来在许多社区评论后进行了修订并给出了新的编号。该标准于 22 年提出,23 年 9 月才最终确定,其未来应用尚待观察,但将带来改进的功能。

    2024年6月3日
    37
  • 从0到10万粉丝,a16z社媒负责人手把手教你运营社媒账号

    我相信,如果你能够在特定领域为他人提供帮助,那么在很长一段时间内,人们都会将你视为第一选择。这会让人们更愿意关注、参与和分享你的内容(这能使你的内容得以进入更多层级的传播网络)。你也可以借助内容来供人们娱乐消遣或者获得激励,但都应该建立在帮助人们解决特定问题的基础上。

    2024年5月31日
    35
  • 零知识证明的先进形式化验证:两个ZK漏洞的深度剖析

    在讨论 ZK 漏洞之前,让我们先来了解 CertiK 是如何进行 ZK 形式化验证的。对于像 ZK 虚拟机(zkVM)这样的复杂系统,形式化验证(FV)的第一步是明确需要验证的内容及其性质。这需要对 ZK 系统的设计、代码实现和测试设置进行全面的审查。这个过程与常规的审计有所重合,但不同之处在于,审查后需要确立验证的目标和性质。

    2024年5月30日
    32
微信

联系我们
邮箱:whylweb3@163.com
微信:gaoshuang613