-
- Fox · 2023-07-04 12:38談談Layer2的激勵機制:Fiat-Shamir heuristic在FOX的又一次妙用
激勵機制的設計就是通過調整Layer2節點獲得激勵手續費的方式以及平衡支付給Layer2節點的費用,來鼓勵節點參與Layer2系統維護。
2023-07-04 12:38 - Fox · 2023-04-07 18:002023-04-07 18:00
- Fox · 2023-03-17 16:00如何将交互式的零知识证明协议改造为非交互式?
在这篇文章当中,我们将介绍FOX使用经典的Fiat-Shamir启发式(heuristic)来生成Brakedown中的挑战从而实现非交互式协议的过程。
2023-03-17 16:00 - Fox · 2023-02-24 17:00深度解析FOAKS當中的多項式承諾協議Brakedown
如果密碼學家沒有發現張量積(Tensor Product)和多項式取值之間的聯繫,那就很難出現多項式承諾協議Brakedown,也就不可能誕生基於Brakedown 的Orion、以及FOAKS 這類全新的快速算法。
2023-02-24 17:00 - Fox · 2023-02-20 18:00回歸算法本質,如何設計一種更好的證明遞歸方案?
ZKP硬件加速之所以屢屢被提及,主要原因是當下算法普遍較慢。為了避免落入“算法不夠,硬件來湊”的尷尬境地,我們應該從本質算法上解決問題。
2023-02-20 18:00 - Fox · 2023-01-30 15:00一文了解零知識證明當中的Sum-check Protocol
本文梳理了sum-check協議的具體流程,以及討論了協議的複雜度,同時展示了其在許多證明系統當中的應用。
2023-01-30 15:00 - Fox · 2022-12-26 11:30关于zkRollup硬件加速与zkPOW的思考
零知识证明无疑是 Web3 领域中最具创新性的技术之一,零知识证明也提供了构建Trustless产品的绝佳技术手段。下面我们将深入探讨zk科技树的不同枝叶。
2022-12-26 11:30
-