找到约 15 条结果

文章 Starknet (STRK) 是什么 - 全面概述

... Starknet 概述探讨了其 zk-STARK 创新、排序器(sequencer)和证明器(prover)的角色、Starknet 代币及其用例,重点介绍了以太坊生态系统中的 [Starknet staking](https://www.imperator.co/products/protocols/starknet) 等机会。 ## 什么是 Starknet? St...

文章 释放SAS的下一个阶段:介绍svmBNB链

...OON Stack 开发者现在能直接访问 BNB Chain 稳定的社区,放大知识共享和 dApp 创造的机会。 ## 结论 通过 svmBNB Chain,继续推进我们推动区块链大众采用的整体使命,**将 Solana 应用于每个区块链**。这一新链是我们对创新承诺的证明...

文章 在zkEVM中使用plookup创建执行轨迹

...方法在电路中追踪这些跳转。一种方法需要添加操作码来证明一个操作码在一个累加器中。这会花费大量的约束,每步需要数千个约束。 为了克服这个问题,我们使用 plookup 允许证明者选择他们想要的任何操作码顺序。然后,...

文章 知识科普】| 虚拟币盗窃

![登链封面(科普).jpg](https://img.learnblockchain.cn/attachments/2025/12/7XUHlfLD6937c09419f62.jpg) ## **前言** 虚拟币投资者群体日益壮大,虚拟币盗窃犯罪高发,已成行业重大安全隐患。犯罪分子伪装主流交易平台、钱包官网,以钓鱼...

文章 Optimistic Ethereum 测试网:欺诈证明实战演练开始

...ereum 测试网已进入最后阶段!请根据我们的指南发起欺诈证明;为我们的 Layer-2 贡献安全性可获得奖励!如果你还是新人,可以查看我们的[测试网公告](https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiQovH-39PtAhWAHzQIHSzPDmM...

文章 ULTRA TX - 可编程区块:一个交易满足统一和可扩展的以太坊-Layer 2 的所有需求

...采用,区块的其余部分可以用传统方式构建。 结合实时证明(在某种合理的范围内),这可以实现理想的未来,即以太坊真正感觉像一条单一的链,其中 L1 和所有 L2 可以相互调用,并且每个 L2 都可以(但不需要)在每个 L1 区...

文章 Base-Solana 桥梁工程

...定序器自动包含,而从 Base 到以太坊的提款需要用户手动证明并在 L1 上执行交易。 我们将 Solana 桥设计为遵循完全相同的模式: - **Solana → Base:** 此路径的功能类似于[存款](https://docs.optimism.io/op-stack/bridging/cross-domain#deposit-flo...

文章 解读以太坊中的 Token 标准第四部分——ERC777 的失败

...章中讨论过的 **ERC165**。 简而言之,合约使用 ERC165 来证明它们实现了某个接口。 每个合约分别实现 ERC165,但是如果我们在区块链上部署一个合约并将其用作注册合约呢? 这就是 ERC1820 使用的概念,即每个链都将拥有一...

文章 编写更低成本的合约:开发者Gas优化指南

...用更小的类型和 `abi.encodePacked` 来降低 calldata 成本(4 gas/字节,16 gas/非字节) - **Prefer** `calldata`:对于外部函数来说,它是 immutable 且拷贝的 ## 2.4 内存管理 - **Minimize growth**:每个 32 字节的字花费 3 gas,在 724 字节...

文章 MerkleDB审计 - Openzeppelin

...高危](#high-severity) - [能够生成Trie中存在的键的有效排除证明](#ability-to-generate-valid-exclusion-proofs-of-keys-which-are-present-in-the-trie) - [低危](#low-severity) - [RecordKeyChange忽略ErrorNotFound](#recordkeychange-ignores-errornotfound) - [如果没有现有的...

文章 挖矿篇:投资Filecoin的几个关键时间点

...问题(即将上线的以太坊2.0,就希望通过分片技术、权益证明、新虚拟机三大技术解决这一问题);而作为一种由加密货币驱动、构建于IPFS协议之上的分布式存储网络,Filecoin或将使“三元悖论”成为可能。 **1)够安全的存...

文章 Vitalik:哪种类型的 Layer3 具有意义?

...瓶颈的扩容技术:**计算**和**数据**。计算可以通过欺诈证明或是 [SNARK](https://vitalik.ca/general/2021/01/26/snarks.html)(译者注:链接文章的中文版[在这里](https://learnblockchain.cn/article/4659))解决,两种方式依赖于很少的行动者就能对每...

文章 为什么SDK审计对Web3安全至关重要

...誉良好的审计员通常会签署 **保密协议 (NDA)** 以保护你的知识产权。 审计侧重于识别漏洞,不需要代码可以公开访问。 ##### 9. 我可以在问题修复后请求重新验证吗? 是的。 许多审计公司(包括Three Sigma)提供 **重新验证服...

文章 探索Circle STARK技术

...)(分别为 231−1 和 231−227+1)。 这一转变已显著提升了证明速度,最引人注目的是 Starkware 在 M3 笔记本电脑上能够[每秒证明 620,000 次 Poseidon2 哈希](https://x.com/StarkWareLtd/status/1807776563188162562)。特别是,这意味着如果我们愿意信...

文章 SP1 Helios 代码审计报告

...允许代码所有者决定漏洞披露的沟通渠道,消除由于缺乏知识而导致的误沟通或未报告风险。此外,如果合约包含第三方库,并且出现错误,那么其维护者也可以更轻松地联系合适的人来解决问题并提供缓解指令。 [`SP1Helios` 合...