零知識證明是目前區塊鏈技術前緣關注的焦點之一。在應用上,開發者用來打造隱私類的服務。在底層架構,協定設計者也可以用這項技術來擴展區塊鏈的交易量。
內容預計分為三部分。
首先談近年零知識證明進展,在區塊鏈上的應用。
中間介紹基本運作邏輯。講證明者如何產生出證明資料,讓驗證者信服。會用 circom 函式庫的架構去介紹,內容也會包含橢圓曲線、迴路、可信設定等。
最後帶到 Semaphore 架構,可以讓開發者在不需要太深入密碼學的情況下開發使用零知識證明的服務。相關應用有:混合器、匿名論壇、匿名 VPN 等等。
About 梁智程
智程今年正在開啟一場零知識證明小探險 0.0