零知识证明

存储证明是一种信任最小化技术，通过零知识证明验证区块链历史数据，无需依赖第三方存档节点。它能证明特定区块的有效性及数据存在性，支持跨链查询用户余额、交易记录等信息，解锁治理投票、空投奖励、贷款评估等应...

摘要 Karat是一个创新的区块链平台，致力于融合Web2和Web3身份，使用户能够管理和变现数字足迹。通过采用零知识证明（ZK）和多方计算（MPC）等先进技术，Karat提供安全的数据交换和激励机制...

以太坊原生汇总（Native Rollups）通过引入执行预编译（EXECUTE precompile），使Rollup能直接利用以太坊原生验证机制，简化治理并增强安全性。该方案允许Rollup继承L...

GOAT Network推出首个直接构建在比特币上的零知识Rollup公测版BitVM2 Beta，声称可在3秒内生成加密证明，旨在解决比特币交易确认慢和缺乏可扩展收益选项等问题。该Layer 2方案...

本文探讨了区块链网络中隐私的必要性及其实现挑战。文章指出，区块链的透明性阻碍了其广泛应用，而不同用户和场景需要不同级别的隐私保护。隐私被定义为用户对数据共享的控制权，涉及选择性披露和未来保密保障。实现...

区块链互操作性正从基础桥接向任意消息传递(AMP)协议演进，需具备消息验证和中继两大核心功能。当前互操作方案按信任机制分为三类：1)信任代码/数学（轻客户端+ZK证明）；2)信任博弈论（经济激励+乐观...

什么是Hyperbridge互操作协议？ Hyperbridge是一种创新的区块链互操作性协议，通过协处理器模型实现跨链安全通信，支持以太坊、Polkadot等主流网络。它采用零知识证明技术，解决传统...

Tornado Cash是基于零知识证明的混币协议，通过ZK-SNARK技术切断存取款地址关联性。存款时生成随机数K和r计算哈希值Cn存入Merkle树，提款时用ZK Proof证明持有有效凭证而不泄...

摘要 模块化区块链和RaaS工具的成熟大幅降低了L2构建门槛，新兴Rollup项目如Base、Manta Pacific等通过生态聚焦快速崛起。ZK-Rollup虽被Vitalik视为长期扩容方案，但...

SNARK和STARK是两大主流零知识证明技术，能在不泄露信息的前提下验证陈述真实性。zk-SNARKs具备高效验证特性但需可信设置，存在潜在安全风险；zk-STARKs无需可信设置且抗量子，但验证效...