PLONK（零知識證明）最終版原文解讀（五）--------Verifier的最終驗證

這一部分比較簡單 直接看論文中的表述，首先驗證範圍是否合法 在z處計算相應的參數： 其中最後一步t的計算就是前邊提到了用簡化後的r來還原t。 最後一步驗證是否成立： 最後的這個驗證實現的實際的作用是在z與zw處打開承諾進行驗證，但是P發送了多個承諾，且需要在兩個點處驗證，所以創造出上邊這個式子來實現捆綁驗證。 驗證過程手動推導如下： 至此PLONK論文的整個過程就完成了，如果有錯誤歡迎評判指正！！

>>阅读原文<<