ECC的工程師和密碼學家Sean Bowe發現了一種建立實用的、可擴容的、去信任化的密碼驗證系統的方法，實現了加密學界數十年來追求的目標。
這項技術叫做Halo，ECC員工Sean Bowe、Daira Hopwood和Jack Grigg聯合撰寫Halo白皮書。比特幣PoW區塊雜湊的遞迴證明正在開發當中。
Halo實現了實際的零知識遞迴組合證明，不再需要可信設定。
遞迴組合證明能夠做到壓縮無數筆計算、建立可審計的分散式系統、構建高度擴容區塊鏈以及保護全人類的隱私。遞迴組合證明是一個驗證自己其他例項的證明，無論多麼龐大的計算任務或資料都能生成一個快速檢查的簡潔證明。
Sean Bowe的發現類似“巢狀攤銷（nested amortization）”——在橢圓曲線的週期內反覆摺疊多個難題例項，用計算證明來高效地推算自身運算，不再需要可信設定。
可信設定不僅不好調製，還有系統性風險，而且每次主協議升級時都需要重新調製。針對需要升級的協議而言，去掉可信設定將大大提升安全性。
巢狀組合證明可能會成為擴容共識機制的基礎技術。
Halo和去中心化網際網路的定義
傳統上我們認為密碼學是一種加密和解密訊息的科學。經常將密碼學當作一種保護隱私和防止敵人破環的安全措施，這個意義上是真的。在使用上，密碼學與網際網路無法分開。保護人民不受壞人、企業不受競爭對手、民族不受外國勢力的侵害。但密碼學的前景不僅僅是用來加密訊息。
20世紀80年代中期，密碼學家和數學家們設想用零知識證明來證明事實的正確性，卻又不揭露事實本身的任何資訊。當時他們將這一發現發表在1987年的《紐約時報》上。文章中寫道：
“……[零知識證明]可能會改變現代生活的方方面面，從日常金融交易到敵機偵探，身份資訊遭到濫用。雖然剛開始 “零知識證明”只是一個抽象概念，但很快電腦科學家就意識到它在日常保密工作方面的作用。比方，當信用卡上的資訊被碳素筆塗改，登入計算機時要不時檢查自己的肩膀，或遺留在酒店的護照被人偷偷影印時候，零知識可以解決這些問題。 ”
將零知識真真在在地應用到現實生活需要一定時間。直到約30年後，ECC在Zcash中引入了一種名為zk-snark的零知識證明，保護使用者的財務隱私。從那時起，許多其他專案都在ECC的基礎上構建起零知識證明。
ECC首席執行長威爾科克斯（Zooko Wilcox）最近在a16z大會上向監管機構和執法部門發表了講話。他用一個簡單的“實景”演示，展示了零知識證明，並提出了零知識證明的其他用途。
超越加密，融入網際網路
零知識證明得到廣泛使用還有意想不到的好處，可能會是一個新的、去中心化的網際網路基礎。
現有的網路結構無法解決如今的網際網路問題。需要一個高度擴容、去中心化、互操作和安全的平臺才能消除這些問題。現在這個平臺架構還在起步階段，還沒達到安全、互操作和可擴容的階段。
像比特幣和以太坊等公鏈都是開源的，交易細節和交易對手資訊都公佈在網路上。目前它們無法滿足GDPR、加州消費者隱私法（California Consumer Privacy Act）或其他一系列即將出臺的保護消費者隱私的法規。
下一代網際網路必須保護使用者不受包括廣告商、駭客、外國政府行為者、未來僱主等在內的一系列行為者的影響。而且資料必須呈現分散式，消除單點故障。正如Equifax、美國政府、塔吉特（Target）、萬豪（Marriott）、Facebook、Capital One等中心化公司，資料庫總存在被駭客入侵的風險。
新網際網路還必須天然地支援資訊和功能分享的公共互操作標準，保密系統中的重要資訊。無論是為了售賣保險，窺探使用者的信用積分或健康資訊。
新網際網路還必須擴容。今天的公鏈做不到，比特幣每秒只能處理7筆交易。第二層解決方案能做到擴容，但無法擴充套件到區塊鏈支援的使用者數。要像網際網路幾乎覆蓋到所有人，區塊鏈必須在底層（第一層）就進行擴充套件。
使用了遞迴零知識證明的Halo，可能會被證實是一個支援擴容、安全、隱私保護區塊鏈的重要構件。對去中心化網際網路的整個架構也有幫助，隨著人類建立尊重使用者主權的高度擴容和安全系統，就需要保護隱私，確保所有人的經濟自由和機會平等。
原文：https://electriccoin.co/blog/halo-recursive-proof-composition-without-a-trusted-setup/稿源（譯）：https://first.vip/shareNews?id=2185&uid=1
