以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

微軟推出首個無信任設置的zkSNARK技術方案Spartan,數據并行工作負載速度快16倍_ARK

Author:

Time:1900/1/1 0:00:00

“Microsoft宣布推出一種高效且通用的零知識證明技術方案Spartan,該方案能在更短時間內以更高效的方式實現簡潔非交互的零知識證明,是首個無需做可信設置的zkSNARK方案。”

本文介紹了Spartan,這是用于rank-1約束滿足性的零知識簡潔非交互式知識參數家族中的一位新成員,R-1CS是一種可歸納算術電路可滿足性的NP完備語言。Spartan包含了一項獨特功能,它為NP提供了第一個沒有受信任設置的zkSNARK,驗證證明時會產生亞線性成本,無需NP語句結構的一致性。此外,Spartan還為zkSNARK提供了一種時間最佳證明者。

洛克菲勒藝術中心協同AWS和微軟打造區塊鏈藝術資源數字化平臺:在第三屆中國國際進博會上。洛克菲勒藝術中心協同AWS(亞馬遜公司旗下云計算服務平臺)和微軟等,打造了一個藝術資源數字化平臺——Zerone藏諸名山。這一平臺將結合中國的電子商務模式,通過引入區塊鏈技術,改善藝術產業由來已久的流通、保真、知識產權等問題。[2020/11/9 12:03:28]

為了實現這些結果,我們引入了新的技術,這些技術與總和檢查協議進行結合:(

動態 | 微軟將推出以太坊擴展方案“nahmii”:9月10日,微軟將聯合區塊鏈初創公司Hubii推出以太坊擴展方案“nahmii”。雙方計劃于9月12日在微軟挪威總部推出這款產品。nahmii基于以太坊網絡,但也兼容支持智能合約的DLT(分布式賬本技術)平臺。nahmii開發人員計劃通過RSK(一種由BTC網絡保護的智能合約平臺),將nahmii部署到比特幣網絡上。(Crowdfund Insider)[2019/9/10]

計算commitment,一種用于創建對計算描述的簡潔commitment的原語;該技術對于驗證者在投資一次的公共計算以預處理給定的NP語句之后獲得亞線性成本至關重要;

動態 | 區塊鏈技術市場主要參與者是微軟、IBM、德勤和Ripple:Wise Guy的最新一份調查報告顯示,區塊鏈技術市場的主要關鍵參與者是Microsoft Corporation,IBM Corporation,Deloitte Touche Tohmatsu Limited,Ripple Labs Inc[2018/12/14]

SPARK,一種將所有現有的可提取多項式commitment方案轉換為有效處理稀疏多線性多項式的密碼編譯器。該技術對于實現時間最優證明者至關重要。

將R-1CS的壓縮編碼為低次多項式。最終結果是NP的公共代幣簡潔的交互式知識參數;我們使用現有技術將其轉換為zkSNARK。

通過將SPARK應用于不同的commitment方案,我們獲得四個zkSNARK,其中驗證者的成本和證明大小取決于基礎commitment方案到O)。這些方案中的三種不需要可信的設置,而一種方案則需要通用且可更新的一次性可信設置。

通過約8,000行Rust語言代碼,我們將Spartan作為一個庫來實現。我們使用該庫在隨機預言模型中構建一種透明的zkSNARK,其中安全性在離散對數假設下成立。我們通過實驗對其進行評估,并將其與最新的zkSNARKs進行比較,以將R1CS實例的大小限制為大約2^{20}。在沒有受信任設置的方案中,Spartan可以提供最快的證明者,依據基準線的加速比為大約36-152倍,產生的證明短于1.2–416倍,并且以3.6–1326倍的速度提升產生最少的驗證時間。與具有受信任設置的最新zkSNARK相比,Spartan的證明者對于任意R1CS實例的速度快2倍,對于數據并行工作負載的速度快16倍。

《SpartanzkSNARK庫》下載

Tags:ARKPARSPAZKSUangMarketYield ParrotSPACELINKzks幣這幾天怎么這么火

火必交易所
評論 | 最近火熱的“雙循環”是區塊鏈的時代機遇_區塊鏈

雙循環將如太極般融入中華民族的基因中!2020年7月30日,中央局會議再次強調了“雙循環”的政策思路.

1900/1/1 0:00:00
讓人迷惑的去中心化治理:究竟是創新還是想象?_DAO

撰文:AshwinRamachandran與HaseebQureshi,分別為區塊鏈風險投資機構DragonflyCapital初級合伙人與管理合伙人.

1900/1/1 0:00:00
巴比特專欄丨吳桐:一文講透區塊鏈共識機制的經濟學含義_區塊鏈

廣義虛擬經濟是一個由中國航空工業集團公司原董事長,中共十八屆中央委員會中央委員,中國航空學會理事長林左鳴教授提出的新的經濟學理論體系.

1900/1/1 0:00:00
俄羅斯總統普京簽署數字金融資產法案_加密貨幣

據俄新社報道,俄羅斯總統普京周五簽署了監管數字資產和加密貨幣的數字金融資產法案。 該法案于7月22日由俄羅斯國家杜馬通過.

1900/1/1 0:00:00
觀察|ETC遭受的廉價51%攻擊迷局_ETC

金色財經報道,8月3日,ETC官方推特公布了區塊鏈數據分析公司Bitquery針對ETC遭受51%攻擊事件的調查報告。報告顯示,8月1日0:30-8月2日11:30,ETC遭受51%攻擊.

1900/1/1 0:00:00
SheKnows丨新基建風口下,BSN如何助推產業區塊鏈發展?_BSN

BSN是在國家信息中心主導下,聯合中國移動、中國銀聯和紅棗科技等單位,共同打造的全球性區塊鏈基礎設施網絡.

1900/1/1 0:00:00
ads