鐵人檔案
零知識證明技術對於web3中的去中心化價值及相關應用有一個很重要的角色，更在保障私隱資料方面有極大幫助。應用層面也相關廣泛包括在數字資產、金融服務、數字化管理等領域。
繼續講解算術化，接著上一篇的尾段，講解了電路約束，透過不同條件約束就產出相對應的門。往下會講一下拉格朗日多項式和插值。 注意: 由於小弟不熟悉使用文章中的&q...
在之前向大家介紹了PLONE的限制約束，當時只是簡單介紹，現在就深入講解複製約束中的置換證明。 置換證明(Permutation Argument) 首先大家可...
上一篇講了複製約束中的置換證明，對於當中的計算步驟及原理會在這篇繼續講解。回顧一下上篇尾段提及到的約束:第1個約束是第2個約束是第3個約束是 可以進一步地將三個...
之前提到形成一個具連乘證明的多項式，當獲得到相關的多項式後，究竟可以做什麼呢?其實這可以用來實現一個Multiset等價證明。 證明Multiset等價 首先可...
證明Multiset等價其實也是一種置換證明，為什麼這樣說呢?因為在上一篇的例子中證明Multiset等價就表示存在兩個向量具有一個可證明的置換關係。假設兩個向...
多項式承諾 (Polynomial Commitment Scheme) 什麼是承諾呢? 就是證明者不可以改變產生承諾所運用的計算的多項式，證明者只能夠對一個多...
為什麼需要多項式承諾? 多項式承諾方案能夠讓承諾者發送一個基於多項式的承諾方案，例如:P(x)。透過計算承諾得出一個多項式.計算過程其實和一般的承諾方案一樣，在...
在上一篇簡單地講解了多項式承諾的價值及應用，在眾多的多項式承諾中，KZG是其中一個受歡迎的多項式承諾，也是PLONK的其中一個常用的多項式承諾。KZG 多項式承...
KZG 的好處是有一個承諾和開放狀態，而且由一組不變數量的元素組成，不過缺點就是 KZG 有可信設置。 可信任設置 可信任設置表示其他人(自己除外)是不能知道用...
部分打開(Partial Open or Evaluation Proof) 在KZG中，證明者還可以進行部分打開(即是只進行單一值的評估)，這個也稱為評估證明...
