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

gas优化用++i还是i++

++i（前递增）：将i加1，然后直接返回新值。i++（后递增）：将i加1，但返回的是旧值。这意味着，i++在执行过程中必须“记住”旧值，等加法完成后再把旧值返回。在EVM中，这个“记住”意味着至少一次额外的栈操作（通常是DUP和SWAP），这些操作虽然单价便宜3gas

Zcash更新：通往亿万之路

Zcash项目更新：愿景是建立无大规模金融监控的平行世界，实现‘持有隐私，随处可花’。战略分为自主构建、组合第三方、拒绝无关事项三类。Zodl产品发布iOS 3.4.0版本，改进硬件钱包管理；Coinholder投票功能进入内测，用于NU7升级意见收集。核心开发包括缩短区块时间讨论、修复屏蔽失败bug、Zallet alpha.4进展、多服务器交易提交等。社区活动：ZODL峰会开放申请，NU7情绪投票启动，新团队成员加入。生态方面，Zcash获华尔街日报、福布斯等媒体报道。
Zcash  隐私保护  Zodl钱包  Coinholder投票  NU7升级  Zallet 

Web3 前端如何落地 SIWE 钱包登录：从钱包连接到后端 Session

在Web3应用里，很多人一开始会把“连接钱包”和“登录”混在一起。实际上这两个动作不是一回事。

Web3 前端如何落地充值与提现模块：以 Next.js + 钱包签名 + 后端执行为例

在Web3应用里，充值和提现并不是简单的“点一下按钮，然后调一个接口”。尤其是在交易平台、账户系统、期权平台、合约账户系统这类产品里，前端通常不只是负责UI，而是要同时协调三件事：用户钱包里的资产。

TAPRegistry：AI代理的跨链身份合约

TAPRegistry 是 AI 代理的跨链身份合约，部署在 Push Chain 上，为每个代理创建不可转让的规范身份，并通过 EIP-712 签名绑定到以太坊、Base 等链上的 ERC-8004 注册身份。它解决了不同链上代理身份碎片化的问题，支持所有者级去重、全局唯一绑定和反向解析。文章详细介绍了其双层身份模型、注册流程、绑定机制、存储架构以及实际用例，展示了如何通过 UEA（通用执行账户）和签名验证实现统一的跨链代理身份图谱。
跨链身份  AI代理  ERC-8004  Push Chain  EIP-712  灵魂绑定 

TAP信誉注册中心

TAPReputationRegistry 是一个跨链 AI 代理信誉聚合合约，它解决了 ERC-8004 标准中每个链独立存储信誉导致的碎片化、冷启动和不可比较问题。
跨链信誉  信誉聚合  AI代理  ERC-8004  智能合约  评分公式 

无信任代理+（TAP）：碎片化ERC-8004代理的归属地

本文指出了ERC-8004标准在多链场景下的两个主要缺陷：身份碎片化和声誉孤立，即同一代理在不同链上拥有独立的身份和声誉分数，无法跨链验证和聚合。
ERC-8004  链上代理  跨链身份  声誉聚合  灵魂绑定  Push Chain 

从比特币出发看商品、稀缺性和货币价值理论

本文从奥地利学派经济学视角分析比特币，论证其作为一种竞用性电子商品，具备货币性商品的竞争力特征。作者严格区分经济理论与技术实现，指出比特币虽为信息却内具稀缺性，可被视为无中介的货币性有用之物。文章批判了将实体性作为商品必要条件的传统观点，认为比特币的出现需要更新货币理论分类，将其归入商品货币下的电子子类。通过对货币替用品、第三方服务及用户退出代价的分析，强调比特币直接控制权的优势。结论认为比特币是一种纯粹的全球化商品货币，无需法律特权即可充当交换媒介。
比特币  商品货币  稀缺性  竞用性  奥地利学派经济学  货币理论 

Aleo 开发实战：用 TypeScript 打通隐私合约本地验证与上链全流程

in  Web3
Aleo开发实战：用TypeScript打通隐私合约本地验证与上链全流程在上一篇文章《Aleo开发实战：从环境搭建到隐私合约上链的全过程》中，我们一起完成了Aleo隐私公链的环境搭建、项目初始化，并成功将第一个零知识证明（ZK）智能合约部署到了测试网。还掌握了如何通过优化程序名称来规避
Web3  Aleo  Aleo Network 

Rialo区块链的证明携带计算之路

本文深入介绍了Rialo区块链的证明携带计算（proof-carrying computation）模型。
证明携带计算  状态机复制  零知识证明  RISC-V  验证层  链下执行 

STRK20：机构级隐私框架, 给ERC-20加上隐私罩

STRK20是Starknet推出的机构级隐私框架，旨在解决传统ERC-20账户模型下资产和交易信息完全公开的问题，为机构参与BTCFi提供隐私保护。
STRK20  隐私框架  零知识证明  笔记模型  Starknet  机构级DeFi 

STARKs 是如何工作的

STARKs是一种加密证明系统，用于解决区块链的可扩展性问题。文章用非数学方式解释了STARK的工作原理：Prover处理大量交易并生成证明，Verifier通过简单的数学检查验证证明，无需重新执行所有交易。过程包括注册执行步骤、定义约束确保正确性、通过误差放大（如校验和）使错误明显，然后通过折叠（FRI协议）压缩证明长度，最后用Merkle树承诺数据并提交链上验证。STARKs依赖哈希函数，具有后量子安全性。文章通过类比（如数独、校验码）帮助理解，展示了STARKs如何实现规模化和隐私保护。
STARKs  零知识证明  区块链扩展  可验证计算  Merkle树  后量子安全 

CLARITY法案：建设者必知的加密监管新规

CLARITY法案是美国参议院银行委员会近期推进的一项两党加密市场监管立法，旨在为区块链网络和数字资产建立清晰的监管规则。
CLARITY法案  美国加密监管  区块链网络  数字资产分类  SEC  CFTC 

Solana 客户端 Agave 4.0 更新：你需要知道的一切

Agave 4.0是Solana核心验证器客户端的重要升级，带来了多项性能优化和功能增强。
Solana  Agave 4.0  XDP  bls12-381  Alpenglow  SBPFv3 
  • Helius
  • 发布于 5 天前
  • 阅读 ( 72 )

DeFi中的DYOR：全面指南 - CoW DAO

本文提供一个全面的DeFi DYOR框架，涵盖智能合约验证、安全审计、代币经济学分析、团队评估、社区健康检查、红旗识别及个人准备等8个步骤。强调DYOR是持续过程，需定期复查投资论点。文章还列出了常用工具与资源，并指出常见陷阱与心理偏见。
DYOR  DeFi  智能合约  安全审计  代币经济学  风险管理 

理解Crypto Intents：DeFi交易的未来——CoW DAO

本文深入介绍了Crypto Intents（区块链意图）的概念、工作原理及其在DeFi交易中的应用。
加密货币意图  DeFi  交易  MEV保护  解算器  CoW协议 

如何在Aleo上构建和部署Leo程序

本文在Aleo测试网上构建了一个完全私有的代币，使用Leo 4.0语言实现两个功能：mint_private（创建加密记录）和transfer_private（私密转移）。所有状态以加密记录形式存在，网络只验证零知识证明，不暴露发送方、接收方或金额。文章涵盖了从Quicknode端点配置、Leo环境搭建、编写程序、测试到部署和执行交易的全流程，最后比较了链上可见性：区块浏览器只能看到加密的输入输出，无法获取任何隐私信息。
Aleo  Leo  私有代币  零知识证明  加密记录  测试网部署 

从密钥到账户抽象：解析以太坊账户体系

本文详细介绍了以太坊账户系统的核心概念，包括椭圆曲线密码学（ECC）及ECDSA签名算法在账户授权中的应用，区分了外部账户（EOA）与合约账户（CAC）的功能差异。
以太坊账户  账户抽象  ECDSA  ERC-4337  EIP-7702  EIP-8141 
  • zhev__
  • 发布于 5 天前
  • 阅读 ( 64 )

Solana 上的隐藏系统调用

Solana 的 syscall 解析机制通过 Murmur3 哈希而非名称字符串来识别系统调用，因此程序可以使用任意名称调用 syscall，只要该名称的哈希值与合法 syscall 相同。这一特性在 SBPF v0/v1/v2 中存在，可能导致性能开销（多次缓存未命中）和代码混淆风险（阻碍审计和静态分析）。文章详细介绍了 syscall 的工作原理、内部实现（ELF 文件中的 CALL_IMM 指令和重定位表）以及安全影响。
系统调用  Murmur3  哈希碰撞  elf  安全  混淆 

Aleo区块链与Leo智能合约语言简介

Aleo是一个隐私优先的Layer 1区块链，通过零知识密码学实现默认隐私。其架构包括执行层snarkVM（本地生成zk-SNARK证明）、网络层snarkOS和共识层AleoBFT（结合权益证明与简洁工作量证明）。Leo语言是受Rust启发的静态类型语言，用于编写零知识程序，支持离链执行和链上验证的分离。隐私模型使用加密记录（类似UTXO）和公共映射。文章详细介绍了AleoBFT共识机制、交易类型、费用机制以及Leo语言与Solidity的对比，适合对区块链隐私方案感兴趣的开发者。
Aleo  零知识证明  zk-SNARK  Leo语言  隐私区块链  AleoBFT