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

Solana 上浮点运算的一种优雅替代方案

本文探讨了在Solana区块链上构建去中心化借贷协议SolVault时，使用浮点数计算清算惩罚所面临的确定性问题。由于浮点数在不同硬件架构上可能产生不同的结果，违反了区块链的确定性原则。文章提出使用泰勒级数近似法作为替代方案，以实现安全、确定且性能高效的清算惩罚计算，从而保障协议的偿付能力和安全性。
Solana  确定性  浮点数  泰勒级数  清算惩罚  风险管理 

速度竞赛：Stylus缓存管理器如何使Arbitrum对开发者来说更快更容易

文章介绍了Arbitrum上一种名为Stylus的新型智能合约构建方式，它允许开发者使用Rust、C或C++等语言编写智能合约，从而实现更快、更经济、更高效的合约运行。同时，为了进一步提升性能，@cobuildersxyz 构建了Stylus Cache Manager，通过高速缓存槽来优化合约加载和执行，简化了竞价过程，降低了gas成本，提供一致的性能。
Arbitrum  Stylus  Cache Manager  智能合约  Rust语言  性能优化 

跨链时会发生什么？

Across Protocol 是一个基于意图的跨链桥，它使用独立的 relayers 网络来完成跨链交易，用户可以快速地在不同链之间转移资产，而无需信任中心化的验证者或多重签名。Relayers 竞争完成用户的 “意图”，先完成者获得奖励，并通过 UMA 进行验证和结算，确保安全可靠的交易。
跨链桥  意图  Relayer  UMA  跨链协议  fillV3Relay 
  • across
  • 发布于 2025-08-01
  • 阅读 ( 563 )
  • ( 3 )

以太坊通过实时证明将 L1 扩展到 Gigagas

本文讨论了以太坊通过实时零知识证明（ZK proofs）来解决扩展性瓶颈的方案，提出了去中心化证明者网络作为核心基础设施，通过“zk-boost”中继实现提议者-证明者分离，使区块构建者能够访问最具竞争力的证明者，从而提高以太坊的 gas 限制并实现 L1 层的扩展。同时，文章也探讨了选择证明者的方式，以及与 MEV 相关的考虑因素。
以太坊  零知识证明  zkVM  扩展性  证明者网络  zk-boost 

Stylus 教程 : 部署你的第一个 Rust 智能合约

本文介绍了如何使用 Rust 和 Stylus SDK 在 Arbitrum Stylus 上部署智能合约。文章逐步讲解了环境配置、合约代码结构（包括存储、函数等），并提供了测试、导出 ABI 以及部署到 Arbitrum 测试网的命令。内容涵盖了从 Solidity 到 Rust 的 Counter 合约的转换，以及使用 Stylus SDK 进行开发的关键步骤。
Stylus  Arbitrum  智能合约  Rust语言  Solidity  部署  EVM 

区块链 101：超越区块链（第二部分）

本文介绍了Kaspa使用的GHOSTDAG协议，该协议通过使用有向无环图（DAG）结构和贪婪最重观察子树（GHOST）规则，在保留所有有效区块的同时，解决了传统工作量证明（PoW）中浪费算力的问题。GHOSTDAG协议通过选择链来确定交易的执行顺序，并处理非选择区块中的非冲突交易，从而实现了更高的吞吐量。
GHOSTDAG  Kaspa  有向无环图  工作量证明  区块链  共识算法 

加密货币和区块链风险投资——2025年第二季度

2025年第二季度，加密货币风险投资活动相较于之前的牛市仍然低迷，但总体保持活跃和健康。AI、区块链基础设施和交易等领域持续吸引投资，美国在加密货币创业生态系统中持续占据主导地位。虽然基金经理仍然面临挑战，但宏观环境和监管环境的变化可能导致投资者对该领域重新燃起兴趣。
加密货币  风险投资  区块链  人工智能  挖矿  投资阶段  融资 
  • Galaxy
  • 发布于 2025-08-01
  • 阅读 ( 899 )
  • ( 28 )

希拉·南丁格尔

本文深入探讨了群论的基础概念，包括二元运算符、群的性质（如闭包性、恒等元、逆元和结合律）、阿贝尔群以及模运算中的逆元计算。文章还介绍了标量乘法和指数运算，并通过实例展示了如何判断一个集合是否构成群。这些概念是理解密码学和零知识证明等高级密码学概念的基础。
群论  二元运算符  模运算  费马小定理  阿贝尔群  逆元 
  • Cyfrin
  • 发布于 2025-08-01
  • 阅读 ( 859 )
  • ( 7 )

006：什么是 Gas？为什么链上操作都要付“手续费”？

in  Web3 敲门砖计划
Gas 是区块链中执行操作的资源成本单位，每次转账或调用智能合约都需支付 Gas，用于激励节点处理交易，是链上运行的燃料
Gas  gas price  Gas Limit  base fee  Web 3 
  • Henry
  • 发布于 2025-08-01
  • 阅读 ( 1844 )
  • ( 68 )

005：什么是区块链交易？你在链上“做一件事”背后的全过程

in  Web3 敲门砖计划
交易是链上所有行为的基本单位，从转账到合约调用，用户通过签名广播交易，网络验证打包后改变区块链状态。
transaction  交易  区块链交易  Web3 
  • Henry
  • 发布于 2025-08-01
  • 阅读 ( 1372 )
  • ( 49 )

Hardhat入门：现代Solidity开发者的必备工具

Hardhat是一个功能强大、灵活且易于扩展的Solidity开发框架，广泛用于以太坊智能合约的开发、测试、调试和部署。它的设计目标是提升开发效率、支持复杂项目，并与现代开发工具无缝集成。Hardhat简介Hardhat是什么？Hardhat是一个JavaScript开发的以太
Web3  Solidity  Hardhat 

零时科技 & 四叶草安全 —— 筑牢稳定币的安全防线

香港《稳定币条例》推动稳定币进入合规时代，安全成刚性需求。四叶草安全 & 零时科技以技术、服务及对监管的深刻理解，为发行人、巨头等各方提供安全解决方案，助其驾驭机遇、管控风险、赢得长期信任。
稳定币  区块链安全 

精简以太坊

以太坊迎来了10周年，提出了“精简以太坊”的愿景，旨在未来10年实现极致性能与安全和去中心化的结合，通过下一代密码学技术解决扩展性和抗量子计算问题，包括精简共识、数据和执行层，并采用基于哈希的密码学作为基础。
精简以太坊  SNARKs  数据可用性抽样  哈希密码学  zkVMs  抗量子计算 

Rust Thread::Builder 用法详解：线程命名与栈大小设置

in  Rust
RustThread::Builder用法详解：线程命名与栈大小设置在Rust多线程编程中，thread::spawn是我们创建线程最直接的方式。但当默认配置无法满足需求时——例如，我们需要在复杂的调试中识别特定线程，或者某个任务需要更大的栈空间时——spawn函数就显得力不从心了。
Rust 

Web3 极客日报 #1783

  • rebase
  • 发布于 2025-07-31
  • 阅读 ( 538 )
  • ( 12 )

Zama 携手 Conduit 扩展保密智能合约

Zama 协议与 Conduit 合作，旨在扩展其保密智能合约的能力，通过全同态加密（FHE）技术实现对加密数据的计算，同时确保数据隐私。Conduit 将为 Zama 协议提供基础设施支持，构建专用的 Arbitrum rollup 链，优化吞吐量和成本效益，并计划通过 Conduit Marketplace 向其他链提供保密计算服务。
全同态加密  智能合约  数据隐私  区块链  Arbitrum  Conduit 
  • ZamaFHE
  • 发布于 2025-07-31
  • 阅读 ( 570 )
  • ( 7 )

ZK Mesh：2025年7月回顾

这是一份关于零知识证明（ZK）的月度通讯，涵盖了高级隐私增强密码学、分布式协议开发和零知识系统研究的最新进展。内容包括zkSNARK、zkVM、多方计算（MPC）等技术的最新研究、文章、视频、播客、工具、项目更新和活动信息。
零知识证明  zk  zkSNARK  zkVM  密码学  隐私增强 
  • zkmesh
  • 发布于 2025-07-31
  • 阅读 ( 774 )
  • ( 14 )

如果一个比特币密钥以“6P”开头，它是什么类型的密钥？

本文介绍了比特币密钥的不同类型，重点解释了以“6P”开头的密钥是使用BIP38标准加密的私钥。BIP38使用AES加密算法和scrypt密钥推导函数来保护私钥，通过口令加密私钥，增加了密钥的安全性，使得暴力破解的难度大大增加。
比特币  密钥  BIP38  加密  私钥  AES 

智能合约安全第六部分：保护以太坊智能合约免受矿工操纵

本文探讨了以太坊智能合约中矿工操纵攻击的风险，详细解释了攻击原理和常见手段，并通过一个易受攻击的 lottery 合约实例进行了演示。为了应对这种风险，文章建议采用 Chainlink VRF 等安全随机数生成方案，以及 commit-reveal 等机制来提高合约的安全性，并避免使用矿工可控的变量。
矿工操纵  Chainlink VRF  智能合约安全  以太坊  随机数生成  Commit-Reveal机制 

【引介】 OpenZeppelin Contracts MCP：AI 驱动的智能合约开发

OpenZeppelin 发布 Contracts MCP，这是一个基于服务器的引擎，旨在将 OpenZeppelin Contracts 的安全性和编码规则直接集成到 AI 驱动的开发工作流程中。
OpenZeppelin  Contracts MCP  智能合约  AI  Solidity  Cairo  Stylus  Stellar