-
- 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
-