孟鉉濟文章檔案

加密資產
如何通過「流水線模式」提高生成證明的效率？

康水躍、孟鉉濟：本文將分析基本的交易打包方式。隨後，我們將重點聚焦於流水線方式生成零知識證明的技術，詳細分析其原理和應用場景。

2023年6月13日

孟鉉濟、康水躍：本文詳細討論了FOX當中採用的對於Layer2的Folder的激勵機制，且解釋此舉合理性，及技術上如何巧妙地運用Fiat-Shamir heuristic來實現這一點。

2023年4月27日

林彥熹、孟鉉濟：FOAKS演算法通過自身迭代的遞迴實現了可以調節的計算代理，是專門爲zkRollup所設計的零知識證明演算法。

2023年4月6日

康水躍、孟鉉濟：通過Fiat-Shamir啓發式，可以在不破壞協議安全性的條件下讓證明者本地生成隨機數「挑戰」，並且可以被證明者驗證。

2023年3月15日

康水躍、孟鉉濟：如果密碼學家沒有發現張量積和多項式取值間的聯繫，也就不可能誕生基於Brakedown的Orion以及FOAKS這類全新的快速演算法。

2023年2月23日

林彥熹、孟鉉濟：ZKP硬體加速之所以屢被提及，緣於當下演算法普遍較慢。爲了避免落入「演算法不夠，硬體來湊」尷尬境地，我們應該從本質演算法上解決問題。

2023年2月16日

康水躍、孟鉉濟：隨著zkrollup、私隱保護等等依賴零知識證明的應用和項目逐漸誕生，sum-check協議也正在被學界和產業界同時給予越來越多的關注。

2023年1月19日