孟铉济文章档案

如何通过“流水线模式”提高生成证明的效率?

康水跃、孟铉济:本文将分析基本的交易打包方式。随后,我们将重点聚焦于流水线方式生成零知识证明的技术,详细分析其原理和应用场景。
2023年6月13日

谈谈Layer2的激励机制:Fiat-Shamir heuristic在FOX的又一次妙用

孟铉济、康水跃:本文详细讨论了FOX当中采用的对于Layer2的Folder的激励机制,且解释此举合理性,及技术上如何巧妙地运用Fiat-Shamir heuristic来实现这一点。
2023年4月27日

为什么说zkRollup的可行性起源于零知识证明的计算代理思想

林彦熹、孟铉济:FOAKS算法通过自身迭代的递归实现了可以调节的计算代理,是专门为zkRollup所设计的零知识证明算法。
2023年4月6日

如何将交互式证明改造为非交互式?

康水跃、孟铉济:通过Fiat-Shamir启发式,可以在不破坏协议安全性的条件下让证明者本地生成随机数“挑战”,并且可以被证明者验证。
2023年3月15日

一文了解FOAKS当中的多项式承诺协议Brakedown

康水跃、孟铉济:如果密码学家没有发现张量积和多项式取值间的联系,也就不可能诞生基于Brakedown的Orion以及FOAKS这类全新的快速算法。
2023年2月23日

如何设计出一种精妙绝伦的证明递归方案?

林彦熹、孟铉济:ZKP硬件加速之所以屡被提及,缘于当下算法普遍较慢。为了避免落入“算法不够,硬件来凑”尴尬境地,我们应该从本质算法上解决问题。
2023年2月16日

web3
一文了解零知识证明当中的Sum-check Protocol

康水跃、孟铉济:随着zkrollup、隐私保护等等依赖零知识证明的应用和项目逐渐诞生,sum-check协议也正在被学界和产业界同时给予越来越多的关注。
2023年1月19日