鐵人檔案
零知識證明技術對於web3中的去中心化價值及相關應用有一個很重要的角色，更在保障私隱資料方面有極大幫助。應用層面也相關廣泛包括在數字資產、金融服務、數字化管理等領域。
不對稱配對 在多項式承諾中，除了會用到對稱配對，其實還有不對稱配對來進行正確性的證明。在真實應用當中，不對稱配對也是常見的，與對稱配對的證明方式是相近的。用以下...
由向量到多項式的轉換 一個多項式的 degree 是 n-1 ，因此可以說它具有 n 個點。換言之，在一個有限域中，對於長度為 n 的向量 v 可以視為一個多項...
向量的複製約束 一個向量中，可以證明多個不同位置上的向量元素相等，例子如下:如果要證明可以將它們的位置對調，以σ 表示位置向量:只要Prover證明到置換前的向...
多項式的概率檢查 要做多項式的概率檢查，需要有兩個多項式，而且同為兩個次數不多於d的多項式。驗證者只要進行一次多項式隨機挑戰就可以。這就是Schwartz-Zi...
基礎協議:連乘證明 (Grand Product Argument) 由於進行多項式編碼，所以會把多個單乘法壓縮成單次乘法的驗證。這裡可以理解成將多個約束壓縮在...
零多項式 在之前的講解，也曾簡單地提到了零多項式，現在就深入介紹什麼是零多項式。首先給大家看一個例子，假設零多項式的域是H，所以多項式的例子可以為:大家可以輕易...
多項式承諾的選擇 一個承諾方案，其實需要一個證明者演算法及一個驗證者演算法。 證明者演算法:允許將訊息以隨機值的形式提交。而輸出的承諾字串可以是非常短 (只...
預處理步驟 透過使用設定流程，可以取得到證明者和驗證者的公共參數。如果一個電路有數量為 d 的門，則多項式最多有 d 次數(degree)。需要注意的是，如果驗...
PLONK 演算法 證明者演算法可以分成五輪，現在就由第一輪開始，其中證明者計算線多項式，然後並提交給驗證者。但在此之前，需要回到KZG並解決一些尚未解決的問題...
由於每一輪都會涉及一定程度的計算，在這一篇就進一步簡化，希望可以讓大家在30天內能了解到什麼是PLONK，同時也會在往後針對每一輪的計算作出深入解釋，這篇就算是...
