找到约 15 条结果

文章 构建成功Rollup的三大支柱,以及Mantle的历程

...,并为有前途的游戏项目和玩家 DAO 提供战略资本和专业知识。 - 流动性支持:Mantle 还提供流动性支持,以确保其生态系统内的健康市场。此支持包括向 Mantle 生态系统内的 DEX 和其他金融平台提供流动性。 - FBTC:Mantle 正在...

文章 介绍 [V] 规范语言

...句,使用户能够轻松地表达新类型的规范,而无需额外的知识。 \[V\] 语句是声明式的,允许用户简洁地表达交易的属性及其之间的关系。有关 \[V\] 的更多信息,请参见 [我们的文档](https://veridise.github.io/V)。 >- 原文链接: [medium...

文章 Vitalik:以太坊要大众采用仍需三个转变

...的验证逻辑**指向Keystore 合约。从这些地址支出需要一个证明进入Keystore 合约,显示当前(或更现实的是最近)的支出公钥。 该证明可以通过几种方式实现: - **在L2 只读访问 L1**: 可以修改 L2,让它们有办法直接读取L1状...

文章 ZKsync V29 版本发布审计

...会共享并存储在所有 ZKChains 上。因此,为了在 ZKChain B 上证明特定交易发生在 ZKChain A 上,用户应提交针对包含该交易的已结算批次的承诺的有效交易日志包含的 Merkle 证明。 下面给出了新机制基本流程的分步描述: - 每次 ZKCh...

文章 Vitalik: 长期 L1 执行层提案:用 RISC-V 替换 EVM

...协议的稳定性 2. 保持区块生产竞争市场的愿望 3. ZK-EVM 证明能力 我认为,用 RISC-V 替换 ZK-EVM 可以解决 (2) 和 (3) 中的关键瓶颈。 下表显示了 Succinct ZK-EVM 用于证明 EVM 执行层不同部分所需的周期数: [![download (6)](https://img...

文章 Berachain 的 PoL:运作方式及赚取方法

...处于不断变化的状态,而 Berachain 由于其革命性的流动性证明 (Proof-of-Liquidity, PoL) 共识机制,成为了发展的新方向。Berachain 的 PoL 是一种重新构想的区块链运作方式,它将所有参与者——验证者、项目和用户——聚集在一起,共...

文章 eth区块链相关知识

# JSON RPC 与eth节点沟通的桥梁, 下面是使用curl访问节点数据的例子: 1. web3_clientVersion获取eth节点客户端的版本. 例如Geth v.1.11.6、Erigon等 ```js curl --location --request POST 'https://rpc.ankr.com/eth' \ --header 'Content-Type: application/json' \ --data...

文章 Mina 文档 - 高级篇 之 热/冷区块生成

...和广播一个区块之外,区块生产者必须创建一个新的SNARK证明,从而证明区块链包括这个新的区块是有效的。SNARK证明在将VRF信息嵌入证明时使用私钥。这个证明代替了其他协议要求验证者简单的验证签名。创建这种复杂的证明...

文章 Custard——提升超级交易的用户体验——第二层网络

...得到广泛采用,我们需要解决三个关键挑战: 1. **实时证明**:我们需要一种足够快地结算 BRU 状态的方法,以便在单个 L1 区块内提款 2. **保证原子性**:我们需要确保超级交易的所有部分都成功完成,或者所有部分都不发生的...

文章 Foundry 高级测试: Fuzz、Invariant与形式化证明

...ng 基于随机数据整体调用的测试 1. Formal Verification 形式化证明 本文也会给出上述测试手段的 `github ci` 配置文件。 这些方法都是简单的单元测试的升级版,关于 `Foundry` 的使用,读者可以参考我之前编写的 [Foundry教程:编写测...

文章 EigenLayer 原生 Restaking 机制深入解析:EigenLayer 原生 Restaking 指南

...d203eb91f4d362)。为了能够启动再质押机制,你需要提交一个证明证明验证者确实指向 EigenPod。当单击 Eigenlayer 按钮上的“再质押”按钮时,这是在幕后完成的,并且将[以下信息](https://github.com/Layr-Labs/eigenlayer-contracts/blob/dev/docs/co...

文章 应用代币的现金流:一种新模型

...们能够“注册”前端,永久性地记录域名与公钥的映射,证明该域名确实控制该公钥并用所述私钥签署交易。这使我们能够将交易及其产生的费用归因于特定域名。 ## 路由费用 一旦费用来源可追溯,协议就可以决定如何分配...

文章 广义 BFV 方案的实践

...典恒等式: $$ \Phi_{m}(X)=\Phi_{r}\bigl(X^{\,m/r}\bigr) $$ **证明** #### 符号和基本定义 $\mathrm{rad}(n) := \prod_{p \mid n} p$ (划分 $n$ 的**不同**素数的乘积);等效地,$\mathrm{rad}(n)$ 是 $n$ 的最大无平方因子。 **Euler totient** $\varphi(n) =...

文章 实时 MEV、小费和奖励:使用 Bitquery API 构建生产级的验证者仪表盘

...tquery.io/user/api_v2/access_tokens)) - JavaScript/TypeScript 基础知识 ### 步骤 1: 安装包 npm install staking-rewards-api ### 步骤2: 配置 API 令牌 ``` # .env.local BITQUERY_TOKEN=your_token_here ``` ### 步骤 3: 运行仪表盘 1. 克隆仪表盘仓...

文章 以太坊信标链是什么?

...-smart-contract)。相反,它通过管理其 **质押者**(验证权益证明区块的人)和分片链(主网络的分裂链),来协调整个以太坊网络。 信标链一直是 以太坊创始人 Vitalik Buterin 的区块链 [愿景](https://blog.ethereum.org/2015/03/03/ethereum-launc...