JavaShuo
欄目
標籤
PLONK(零知識證明)最終版原文解讀(三)-------- 範圍與優化處理
時間 2021-01-14
標籤
區塊鏈
欄目
比特幣
简体版
原文
原文鏈接
上一篇提到了複製約束與總約束的推導,在總約束t(X)的最後留了一個問題就是爲什麼要把t(x)分三份處理,其實實際作用是爲了將次數降低,使得範圍規範化。 除此之外,根據ZK-SNARK裏的經驗,我們如果傳整個多項式會使得複雜度太高,所以我們可以取一個隨機值,並把其帶入多項式進行計算,這樣P就可以只傳結果的值即可。 接下來需要取一個隨機點z 我們可以看到其實很簡單,取了一個z然後帶入到之前的約束當中。
>>阅读原文<<
相關文章
1.
PLONK(零知識證明)最終版原文解讀(五)--------Verifier的最終驗證
2.
PLONK(零知識證明)最終版原文解讀(四)--------多項式承諾
3.
PLONK(零知識證明)最終版原文解讀(二)--------線(複製)的約束與總約束
4.
PLONK(零知識證明)最終版原文解讀(一)--------背景與門的約束
5.
零知識證明四——Fiat-Shamir,三分鐘零知識證明入門
6.
Permutation $\pi$ 零知識證明
7.
零知識證明 - 基於多項式構造零知識證明
8.
Flink批處理優化器之範圍分區重寫
9.
Zcash核心:零知識證明
10.
零知識證明 - zkSNARK入門
更多相關文章...
•
BASE原理與最終一致性
-
NoSQL教程
•
PHP 文件處理
-
PHP教程
•
Java Agent入門實戰(三)-JVM Attach原理與使用
•
三篇文章瞭解 TiDB 技術內幕 —— 說計算
相關標籤/搜索
範圍
零散知識
最優化
最全解讀
知識強化
知識化
最終
論文解讀
證明
知識整理
比特幣
MySQL教程
SQLite教程
MyBatis教程
文件系統
代碼格式化
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
說說Python中的垃圾回收機制?
2.
螞蟻金服面試分享,阿里的offer真的不難,3位朋友全部offer
3.
Spring Boot (三十一)——自定義歡迎頁及favicon
4.
Spring Boot核心架構
5.
IDEA創建maven web工程
6.
在IDEA中利用maven創建java項目和web項目
7.
myeclipse新導入項目基本配置
8.
zkdash的安裝和配置
9.
什麼情況下會導致Python內存溢出?要如何處理?
10.
CentoOS7下vim輸入中文
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
1.
PLONK(零知識證明)最終版原文解讀(五)--------Verifier的最終驗證
2.
PLONK(零知識證明)最終版原文解讀(四)--------多項式承諾
3.
PLONK(零知識證明)最終版原文解讀(二)--------線(複製)的約束與總約束
4.
PLONK(零知識證明)最終版原文解讀(一)--------背景與門的約束
5.
零知識證明四——Fiat-Shamir,三分鐘零知識證明入門
6.
Permutation $\pi$ 零知識證明
7.
零知識證明 - 基於多項式構造零知識證明
8.
Flink批處理優化器之範圍分區重寫
9.
Zcash核心:零知識證明
10.
零知識證明 - zkSNARK入門
>>更多相關文章<<