零知识证明的先进形式化验证:如何验证一条ZK指令
为了深入理解形式化验证技术是如何应用于zkVM(零知识虚拟机)之上的,本文将聚焦于单条指令的验证。关于ZKP(零知识证明)先进形式化验证的总体情况,请查阅我们同...
为了深入理解形式化验证技术是如何应用于zkVM(零知识虚拟机)之上的,本文将聚焦于单条指令的验证。关于ZKP(零知识证明)先进形式化验证的总体情况,请查阅我们同...
核心观点:Unichain 目标成为全链 DeFi 流动性中心枢纽,一个超级应用正在构建应用链来回收协议本身所创造价值。 基于 OP Stack 构建,其核心创...
内含18美元,无需注册,直接登陆,24小时自动发货。独享账号,售出即删档。
Pectra 升级是以太坊网络的下一个重要里程碑,预计将于 2025 年第一季度实施。这次升级包含两个主要部分:Prague(布拉格)执行层升级和 Electr...
从Solidity 0.8.24 支持 Cancun 硬分叉(在 2024 年 3 月执行) 中包含的操作码,特别是根据 EIP-1153 的瞬态存储操作码 T...
账户抽象 账户抽象是一个广泛的话题,但在非常高的层面上,其理念是将账户的概念抽象为一个智能合约(即 智能钱包),这比大多数人今天在与区块链交互时使用的外部拥有账...
以太坊的 Multicall 是一种通过一次区块链请求来批量查询多个智能合约数据的技术。这种方法可以有效减少链上的读取操作,提高效率,并节省 gas 费用。以下...
Go 语言中 zap 日志库的高效使用指南 在现代 Go 语言项目中,日志记录是不可或缺的组件之一。Go 自带的 log 包提供了基础的日志记录功能,但对于需要...
之前学习了下ERC165标准,理解ERC165标准,发现ERC标准是一环扣一环,怪是越打越多的。希望以本文记录一下ERC1820的一些细节和主要实现,不会具体分...
0x01 OpenZeppelin 的警告 因为现在的可升级合约基本上都是使用的 OpenZeppelin 的合约模版,估计可升级合约不能用 immutable...
在链上交易聚合器以及去中心化交易所dex swap开发过程中往往需要设置交易滑点保护机制以防止MEV夹子攻击造成的交易损失。通过设置滑点保护机制可以限制交易最小...