荷蘭商 ING 集團不亞於新創公司,爲區塊鏈技術做出更多創新,透過修改零知識證明,提升金融服務品質,更是企業爲區塊鏈技術發展做出創新開發的實例。

零知識證明與新進展

去年 11 月,ING 在企業以太坊聯盟中公開一項新技術,他們爲加密技術原理之一的零知識證明 (Zero-Knowledge Proof,ZKP)
做修改,提出零知識範圍證明 (Zero-Knowledge Range Proof,ZKRP)。ZKP
這個爲匿名加密貨幣所使用的加密原理,約略來說,就是允許證明方在不需驗證方實際瞭解訊息內容之下,驗證方就能證明證明方的訊息是真實的。舉例而言,ZKP
能使你在不透露年齡的狀況下,就能讓你向驗證方證明你已達特定年齡標準。而 ING 所提出得
ZKRP,則是允許證明資訊在某一範圍之內。舉例而言,抵押貸款的申請人可以證明他們的薪資在一定範圍之內,但不會透露確切金額。或者是它能在不顯示確切金額下,證明支付的金額在一定範圍之內。

由 ING 區塊鏈團隊內部開發的 ZKRP 可讓計算量縮小,據 ING 測試 ZKRP 的使用狀況,比在以太坊測試網路中最通用的 ZKP 方法 zk-SNARK 效率快上 10 倍。在所有事務都需節點驗證的區塊鏈環境中,這件事尤其重要,也是 ING 開發 ZKRP 的原因,同時這是個開源解決方案。ING 區塊鏈項目全球負責人 Mariana Gomez de la Villa 表示:「銀行業應用分佈式賬本技術的主要挑戰之一是確保數據隱私得到保護,同時滿足監管要求。ZKP 雖爲解決方案,但主要的限制因素是資源,每次驗證都會產生成本,但 ING 的 ZKRP 能更有效率,並且符合完整、可靠、零知識三項要素。」

現在,ING 有更多進展,提出利用「零知識集合隸屬」(zero-knowledge set membership)
證明,能將讓零知識證明不僅應用在數字上,更能包含其他類型的數據,這將爲企業隱私增添更多應用範圍。集合隸屬 (set membership)
讓證明者夠加密展示一個內容是屬於某項一般集合 (generic set),這個一般集合中包含資訊如:姓名、地址、所在位置等等。

Mariana Gomez de la Villa 表示集合隸屬應用非常廣泛,不僅限於數字範圍,而可以用來驗證任何類型數據是否正確。他補充道:

集合隸屬比範圍證明 (range proofs) 更加強大,例如你可以證明某人住在歐盟國家,但卻不用暴露他在哪個國家。

開放原始碼的好處

企業將正在研發的技術開放原始碼也帶來了好處,同樣在隱私加密貨幣領域努力的 Zcash 聯合創辦人、麻省理工學院數學家 Madars Virza,就爲 ZKRP 發現了一個可能泄漏資訊的漏洞。ING 表示已修復此問題,Mariana Gomez de la Villa 也表示這就是他們開放原始碼的目的。她表示:「透過開源碼改善 ZKRP 已成爲一種集體努力成果,這就是企業與學術開發互惠的好例子。」開發 Zcash 的公司 Zerocoin Electric Coin Company COO Jack Gavigan 表示開源碼集體合作的好處,就是能將零知識證明推向快速發展,而且當這個技術成熟之時,像是 ING 這樣的公司將會跑得非常快。

步入區塊鏈技術研發

在企業發展區塊鏈領域,去年摩根大通所推出的企業區塊鏈平臺 Quorum 已因爲利用 ZKP 技術而聞名,但 ING 進一步將此項技術添加更多應用性。日前 Quorum 團隊的領導人 Amber Baldet 也已離開,加入了另一個新創團隊,據傳 Quorum 也將從摩根大通拆分出來。成爲獨立單位。

ING 的創舉也吸引學術界的目光,受邀參加了世界頂級密碼學家在波士頓舉辦的專題研討,討論如何標準化零知識證明。目前 ING 已成爲零知識證明發展的一員。

目前 ING 區塊鏈部門也得到 ING CEO Ralph Hamers 更多的重視。

此外,倫敦大學的 Jonathan Bootle 與史丹佛大學的 Benedikt Bunz 所提出的 Bulletproofs 據稱也能比範圍證明 (range proofs) 驗證更廣類別的訊息,其技術也引起許多新創公司及企業的注意。

來源鏈接:blockcast.it