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

ZKM 选择 MIPS32r2而非 RISC-V：微架构的简洁性和约束效率

in  zkMIPS解读
MIPS32r2 在指令宽度、格式一致性和操作码稳定性上具备天然优势，更适合 zkVM 电路的确定性与高效性。 相比之下，RISC-V 的可变长度与扩展性带来更多约束复杂度和证明性能开销。
zkVM  zkMIPS 
  • ZKM
  • 发布于 6天前
  • 阅读 ( 373 )
  • ( 11 )

Multivariate Sumcheck Protocol规约

in  zkMIPS解读
本文展示了如何将零检验、有理约束、集合相等、置换与查表等多类约束统一规约到 Multivariate Sumcheck Protocol，实现高效验证。该方法已广泛应用于 Plonkish 与 STARK 系统中的范围检查、布线与查表约束。
zkVM  zkMIPS 
  • ZKM
  • 发布于 3天前
  • 阅读 ( 212 )
  • ( 6 )

Optimism 中文周刊#73 | OP 第八季资助、RetroPGF OP 分配分析

😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！gm👋🏻乐观集体的公民们，欢迎回到Optimism中文周刊❤️本周是第#73期！本期的内容有：超级链上什么最热门？Optimism第8季资助现已开放第八期Optimism资助现已上线，为超级链上