-
-
Fox · 2023-07-04 12:38
談談Layer2的激勵機製:Fiat-Shamir heuristic在FOX的又一次妙用
激勵機製的設計就是通過調整Layer2節點獲得激勵手續費的方式以及平衡支付給Layer2節點的費用,來鼓勵節點參與Layer2係統維護。
2023-07-04 12:38 -
Fox · 2023-04-07 18:00
2023-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 · 2023-01-17 12:27
Layer3應用探討:如何建造安全高效的DEX?
Layer3的出現則解決了更加高速、更加低成本、定製化的擴容問題,其上DEX的交易速度、成本都會有更好的用戶體驗。
2023-01-17 12:27 -
Fox · 2022-12-26 11:30
關於zkRollup硬件加速與zkPOW的思考
零知識證明無疑是 Web3 領域中最具創新性的技術之一,零知識證明也提供了構建Trustless產品的絕佳技術手段。下面我們將深入探討zk科技樹的不同枝葉。
2022-12-26 11:30
-
Fox · 2023-07-04 12:38