荷蘭商 ING 集團不亞于新創(chuàng)公司，為區(qū)塊鏈技術做出更多創(chuàng)新，透過修改零知識證明，提升金融服務品質，更是企業(yè)為區(qū)塊鏈技術發(fā)展做出創(chuàng)新
荷蘭商 ING 集團不亞于新創(chuàng)公司，為區(qū)塊鏈技術做出更多創(chuàng)新，透過修改零知識證明，提升金融服務品質，更是企業(yè)為區(qū)塊鏈技術發(fā)展做出創(chuàng)新開發(fā)的實例。
零知識證明與新進展
去年 11 月，ING 在企業(yè)以太坊聯(lián)盟中公開一項新技術，他們?yōu)榧用芗夹g原理之一的零知識證明 (Zero-Knowledge Proof,ZKP) 做修改，提出零知識范圍證明 (Zero-Knowledge Range Proof,ZKRP)。ZKP 這個為匿名加密貨幣所使用的加密原理，約略來說，就是允許證明方在不需驗證方實際了解訊息內容之下，驗證方就能證明證明方的訊息是真實的。舉例而言，ZKP 能使你在不透露年齡的狀況下，就能讓你向驗證方證明你已達特定年齡標準。而 ING 所提出得 ZKRP，則是允許證明資訊在某一范圍之內。舉例而言，抵押貸款的申請人可以證明他們的薪資在一定范圍之內，但不會透露確切金額。或者是它能在不顯示確切金額下，證明支付的金額在一定范圍之內。
由 ING 區(qū)塊鏈團隊內部開發(fā)的 ZKRP 可讓計算量縮小，據(jù) ING 測試 ZKRP 的使用狀況，比在以太坊測試網(wǎng)路中最通用的 ZKP 方法 zk-SNARK 效率快上 10 倍。在所有事務都需節(jié)點驗證的區(qū)塊鏈環(huán)境中，這件事尤其重要，也是 ING 開發(fā) ZKRP 的原因，同時這是個開源解決方案。ING 區(qū)塊鏈項目全球負責人 Mariana Gomez de la Villa 表示：「銀行業(yè)應用分布式賬本技術的主要挑戰(zhàn)之一是確保數(shù)據(jù)隱私得到保護，同時滿足監(jiān)管要求。ZKP 雖為解決方案，但主要的限制因素是資源，每次驗證都會產生成本，但 ING 的 ZKRP 能更有效率，并且符合完整、可靠、零知識三項要素?！?/p>
現(xiàn)在，ING 有更多進展，提出利用「零知識集合隸屬」(zero-knowledge set membership) 證明，能將讓零知識證明不僅應用在數(shù)字上，更能包含其他類型的數(shù)據(jù)，這將為企業(yè)隱私增添更多應用范圍。集合隸屬 (set membership) 讓證明者夠加密展示一個內容是屬于某項一般集合 (generic set)，這個一般集合中包含資訊如：姓名、地址、所在位置等等。
Mariana Gomez de la Villa 表示集合隸屬應用非常廣泛，不僅限于數(shù)字范圍，而可以用來驗證任何類型數(shù)據(jù)是否正確。他補充道：
集合隸屬比范圍證明 (range proofs) 更加強大，例如你可以證明某人住在歐盟國家，但卻不用暴露他在哪個國家。
開放原始碼的好處
企業(yè)將正在研發(fā)的技術開放原始碼也帶來了好處，同樣在隱私加密貨幣領域努力的 Zcash 聯(lián)合創(chuàng)辦人、麻省理工學院數(shù)學家 Madars Virza，就為 ZKRP 發(fā)現(xiàn)了一個可能泄漏資訊的漏洞。ING 表示已修復此問題，Mariana Gomez de la Villa 也表示這就是他們開放原始碼的目的。她表示：「透過開源碼改善 ZKRP 已成為一種集體努力成果，這就是企業(yè)與學術開發(fā)互惠的好例子。」開發(fā) Zcash 的公司 Zerocoin Electric Coin Company COO Jack Gavigan 表示開源碼集體合作的好處，就是能將零知識證明推向快速發(fā)展，而且當這個技術成熟之時，像是 ING 這樣的公司將會跑得非?？臁?/p>
步入?yún)^(qū)塊鏈技術研發(fā)
在企業(yè)發(fā)展區(qū)塊鏈領域，去年摩根大通所推出的企業(yè)區(qū)塊鏈平臺 Quorum 已因為利用 ZKP 技術而聞名，但 ING 進一步將此項技術添加更多應用性。日前 Quorum 團隊的領導人 Amber Baldet 也已離開，加入了另一個新創(chuàng)團隊，據(jù)傳 Quorum 也將從摩根大通拆分出來，成為獨立單位。
ING 的創(chuàng)舉也吸引學術界的目光，受邀參加了世界頂級密碼學家在波士頓舉辦的專題研討，討論如何標準化零知識證明。目前 ING 已成為零知識證明發(fā)展的一員。
目前 ING 區(qū)塊鏈部門也得到 ING CEO Ralph Hamers 更多的重視。
此外，倫敦大學的 Jonathan Bootle 與史丹佛大學的 Benedikt Bunz 所提出的Bulletproofs據(jù)稱也能比范圍證明 (range proofs) 驗證更廣類別的訊息，其技術也引起許多新創(chuàng)公司及企業(yè)的注意。
