買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > FIL幣 > Info

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

Author:

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

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

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

Meta、微軟等科技巨頭宣布成立并啟動元宇宙標準論壇:6月21日消息,包括Meta、微軟、索尼等公司在內的科技巨頭宣布成立并啟動元宇宙標準論壇(Metaverse Standards Forum),該論壇由 Khronos Group 主辦,該組織是一個由 170 個組織組成的非營利性財團,支持 3D 圖形、VR、AR 和機器學習等行業的互操作性標準。新論壇免費向任何組織開放。它將專注于旨在實現原型設計、黑客馬拉松、插件和開源工具的項目,以促進元宇宙標準的測試和采用。現超過 37 名元宇宙標準論壇創始成員包括 Meta、微軟、索尼互動娛樂、Epic Games和中國科技巨頭阿里巴巴、華為等。(TheBlock)[2022/6/22 4:43:42]

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

去中心化穩定幣項目AstridDAO與微軟達成合作,加入Microsoft for Startups計劃:官方消息,基于Astar、服務Polkadot生態的去中心化多抵押品穩定幣項目AstridDAO宣布,與微軟達成合作,加入Microsoft for Startups計劃,加速其去中心化貨幣市場和穩定幣BAI的采用。AstridDAO將在微軟的支持下加快其上市速度,并最大限度地發揮其市場影響力。微軟還將通過Github Enterprise、Microsoft Teams和Azure credits提供價值高達35萬美元的福利。[2022/5/24 3:38:27]

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

動態 | 微軟將開發兩種區塊鏈ID產品:據CoinDesk報道,根據本周發布的白皮書,軟件巨頭微軟表示打算開發兩種區塊鏈ID產品,旨在讓消費者更好地控制他們的個人數據。其中一種產品是經過加密的個人數據儲備或“身份中心”,這是用戶個人設備及微軟通過其云計算服務Azure提供的云存儲的組合。微軟將構建的另一款產品是一個“錢包式應用程序”,人們可以使用這些應用程序來管理這些數據權限,包括在需要時撤銷它們的權限。這兩種產品都將建立在分散標識符(DID)的基礎之上,這是一種在萬維網基金會(W3C)的支持下開發的規范。[2018/10/13]

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:ARKSPAARTPARSKYLARKMSPACESMART價格Spartan

FIL幣
TOR:教程 | 使用Ubuntu和Prysm參與Medalla測試網_datashieldcoinbank

本文將以Medalla多客戶端測試網為例介紹在ETH2.0上質押的詳細步驟。主要基于以下幾個技術:Ubuntu?v20.04(LTS)x64服務器GoEthereum?節點(代碼分支)Prysm.

1900/1/1 0:00:00
區塊鏈:政策暖風吹來,國內公鏈們的春天來了?_DEFI

如果說區塊鏈是一輛高速疾馳的車,那公鏈就是發動機:公鏈的水平直接影響著區塊鏈這輛車的奔跑速度。公鏈從不缺人才和資本,最多時開發公鏈數曾高達2萬條,2019至2020年期間公鏈在正式主網上線前,募.

1900/1/1 0:00:00
NEC:評論 | 最近火熱的“雙循環”是區塊鏈的時代機遇_ETF

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

1900/1/1 0:00:00
加密貨幣:報告:交易所比特幣流入數量自1月份以來首次超過流出數量_比特幣sv發行多少枚

簡言: 本月流入加密貨幣交易所的比特幣數量多于流出比特幣的數量。自2020年初以來,這是首次逆轉了近六個月的趨勢。這是看跌信號嗎?分析師表示,交易員可能正在尋找將比特幣換成山寨幣.

1900/1/1 0:00:00
DEF:巴比特專欄 | 超級君:Defi浪潮,我挖紅薯的30小時_DogDeFiCoin

本文原發于:?十八鋪路,作者:廣庚我這個年紀,大多喜歡Beyond的歌,其中我唱最好的,莫過于《農民》: “忘掉遠方是否可有出路 忘掉夜里月黑風高 踏雪過山雙腳雖漸老 但靠兩手一切達到 ....

1900/1/1 0:00:00
WEB:融資2.5億美元的明星波卡,現在生態發展得怎么樣了?_WEBFOUR

來源:區塊律動BlockBeats 作者:?0x66 類似波卡這樣的明星項目,不用愁冬天沒有余糧.

1900/1/1 0:00:00
ads