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