iT邦幫忙

2023 iThome 鐵人賽

DAY 1
2
Web 3

淺談ZK Rollup系列 第 1

Day 01 - 零知識證明EP01:證明

  • 分享至 

  • xImage
  •  

身為一個剛踏進區塊鏈圈子的人,對於ZK Rollup這個名詞肯定是相當陌生的,當初我在理解以太坊的基本架構不久之後,就在一篇文章上看個這個詞彙,我當初心想,我連這個名詞的分開—「ZK」與「Rollup」,我都不知道是什麼意思了,把他們湊在一起,我更不知道這是什麼東西,所以我認為在談ZK Rollup之前,應該先分別來談談「ZK」與「Rollup」。

ZK

ZK其實是Zero Knowledge的縮寫,如果用中文直接翻譯,那就是零知識了,但即便知道了他叫做「零知識」,我似乎還是不太懂他的含意,不過這次遇到的情況已經比剛剛ZK Rollup的情況好很多了,畢竟現在Zero我懂他的意思,而Knowledge我也懂他的意思,但恰恰就是這兩個合起來—Zero Knowledge我不懂他的意思,但是各位別擔心且聽我娓娓道來。
https://ithelp.ithome.com.tw/upload/images/20230916/20162286ZXkub57Kyh.jpg
這個Zero Knowledge其實是源自於密碼學中的 「zero-knowledge proof」 這個詞,也就是所謂的零知識證明,太好了,我們已經從原本的兩個字變成了三個字,那麼我先從他第三個字開始講起吧!

證明(Proof)

證明便是針對一個命題,使用既有的規則與定理推導出該命題的過程,如果各位還有印象的話,應該會記得在中學被數學荼毒的那段時光裡,使用數學歸納法跟反證法去證明一堆有的沒有的數學題目的經驗,而那些證明題往往都坐落在學生們不想面對的數學非選擇題裡面,不過相較於數學歸納法跟反證法那些華麗的證明方法,科學上也是有一些較為直觀的證明方法。
在十六世紀日本的明治光秀發起本能寺之變的時候,當時的歐洲人對於天鵝的認知,還停留在天鵝是白色的階段,你如果穿越回到那個時期,你要如何向當時的歐洲人證明出黑天鵝是存在於這世界上的呢?很簡單,找,拚命找,直到找到地球上第一隻黑天鵝的時候,你便能向歐洲人證明,黑天鵝是存在的。
https://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Black_Swan_in_Australia.JPG/1280px-Black_Swan_in_Australia.JPG
這便是科學上一個非常簡單且直觀的證明方法,但假如今天你是要向歐洲人證明黑天鵝不存在呢?可惜這不是今天我想探討的重點,今天我們是要把重點放在,如果今天你找到了世界上第一隻的黑天鵝,但顯然的,你非常害怕把這隻黑天鵝給公開出來,因為你知道當你秀出你的黑天鵝時候,可能會被當作異教徒給燒掉,畢竟當時的教宗都講世界上的天鵝都是白色的,你總不能去忤逆教宗吧!那麼你能用什麼方式在不秀出黑天鵝的情況下,證明世界上還是有黑天鵝的呢?這時候,你就可以用到 「零知識證明」 ,而欲知後事如何,且待明天揭曉。


下一篇
Day 02 - 零知識證明EP02:零知識
系列文
淺談ZK Rollup30
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中

尚未有邦友留言

立即登入留言