iT邦幫忙

2024 iThome 鐵人賽

DAY 13
0
Security

零知識證明-走進PLONK世界系列 第 13

[Day13]零知識證明-走進PLONK世界: 置換證明(下)

  • 分享至 

  • xImage
  •  

上一篇講了複製約束中的置換證明,對於當中的計算步驟及原理會在這篇繼續講解。
回顧一下上篇尾段提及到的約束:
第1個約束是

第2個約束是

第3個約束是

可以進一步地將三個約束整合簡化,在連乘表格上再新增一行,使到

如下圖所示:
https://ithelp.ithome.com.tw/upload/images/20240928/20119569kwmZxqQyCH.png
因此可以留意到:

最右的一行就是向量r的循環移位,可以看到第二行的第一列的r是1,而第三行的最後一列也是1。
也可以看到第二行的第一列的r1,而第三行的第一列也是r1。所以形成到一個循環,即兩行所存在的數字的值是一樣,只是相對應數值的位置不同,只要細心觀察就可以一一對應。而且每一行都能夠滿足到乘法關係。
所以可以形成到下面的多項式來表示連乘關係:

在驗證者方面,他可以對下列的多項式進行挑戰:

為什麼會有這個公式呢?
首先左邊的第一個約束

還有左邊的第二個約束

第二個約束可以再轉為:

所以左邊,第一個約束和第二個約束相加在一起會是零

因此:

所以最後會出現以下公式:

有沒有加上a, 也是不會影響到公式結果

α 是一個隨機數,而h(X)是一個商多項式。

大家可以再看看上一篇加以理解,由於當中的原理也是需要時間消化,可以自行多看看。


上一篇
[Day12]零知識證明-走進PLONK世界: 置換證明(上)
下一篇
[Day14]零知識證明-走進PLONK世界: 證明Multiset等價
系列文
零知識證明-走進PLONK世界30
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中

尚未有邦友留言

立即登入留言