PLONK(零知識證明)最終版原文解讀(三)-------- 範圍與優化處理

上一篇提到了複製約束與總約束的推導,在總約束t(X)的最後留了一個問題就是爲什麼要把t(x)分三份處理,其實實際作用是爲了將次數降低,使得範圍規範化。 除此之外,根據ZK-SNARK裏的經驗,我們如果傳整個多項式會使得複雜度太高,所以我們可以取一個隨機值,並把其帶入多項式進行計算,這樣P就可以只傳結果的值即可。 接下來需要取一個隨機點z 我們可以看到其實很簡單,取了一個z然後帶入到之前的約束當中。
相關文章
相關標籤/搜索