拆解 Polyhedra zkBridge 与 zkLightClient 的机制:把轻客户端验证编译进零知识电路、用一份 SNARK 证明代替逐条核对委员会签名,并说明它对中继与多签委员会信任的替代、区块头中继与更新合约的分工,以及与 Sygma 命名的区分和风险边界。
汇总与「公链与Layer2」相关的文章,帮助你系统了解该主题。
拆解 Polyhedra zkBridge 与 zkLightClient 的机制:把轻客户端验证编译进零知识电路、用一份 SNARK 证明代替逐条核对委员会签名,并说明它对中继与多签委员会信任的替代、区块头中继与更新合约的分工,以及与 Sygma 命名的区分和风险边界。
拆解 Namada 的 MASP 与 Convert Circuit:如何把 Zcash Sapling 扩展成多种资产共享一个屏蔽池、票据与 nullifier 如何隐藏收付双方和金额、经 IBC 直接屏蔽进池、以及转换表与补贴机制的边界。
解读 Nubit 在其橙色皮书中提出的比特币原生数据可用性层:用数据可用性采样降低验证门槛、用即时最终性共识与比特币锚定承接安全,服务 Ordinals 与比特币二层;并说明这套设计与 Celestia 类数据层的差异与尚在成熟中的边界。
解读 Initia 的 Interwoven Stack 与 Minitia:如何把应用二层嵌进一条 Cosmos L1 的验证、流动性与 IBC 里,用 OPHost/OPChild/OPinit Bots 分工、以 Celestia 做数据可用性、用 INIT 把二层手续费与 L1 质押者对齐;并说明多虚拟机、多代币质押与这套对齐留下的复杂度。
拆解 Iron Fish 的机制:以工作量证明出块、每笔交易默认加密并用零知识证明隐藏收付双方与金额、区块头用票据承诺树与 nullifier 树两棵全局默克尔树背书、以查看密钥选择性披露交易历史;并说明它为何仍选 PoW 与屏蔽的边界。
Sei 并行化引擎用乐观并发控制让交易在多核上同时执行:先预测读写集、缓冲执行、按 RAW/WAR/WAW 检出冲突后确定性地串行重放,极端情况整块退回顺序。本文按官方文档拆解这条流水线及与 SeiDB 的配合。
Jolt 把 RISC-V 程序执行化为查找表查询与内存检查论证,指令语义做成可复用表,验证靠 sum-check 与随机查询完成。本文按其开源仓库与引用论文拆解查找范式与传统算术化路线的差异和代价。
Filecoin 的链由 tipset 而非单区块串成:每个 epoch 多个合法出块者的区块按同高度同父块归组,消息去重后共同决定状态。本文按官方文档拆解其收益、30 秒节奏的取舍与 JSON-RPC 里的对应读法。
Arbitrum 对无签名的父链合约消息做地址别名:子链 sender 等于父链地址加固定常量偏移,防止主网合约冒充 L2 同地址合约;充值的 ETH 也停在该别名地址。本文按官方文档拆解别名公式、EOA 与合约的差别及 AddressAliasHelper 还原方法。
IBC 速率限制中间件包在 ICS-20 之上,按代币乘路径以通道价值百分比设出站入站净流量上限,窗口到期归零,超时与失败包回退配额。本文按官方文档拆解其字段、治理消息与白名单黑名单边界。