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

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

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

微軟發布企業級Azure OpenAI ChatGPT服務，GPT-4將于下周發布:3月10日消息，微軟發布基于Microsoft Azure的企業級Azure OpenAI ChatGPT服務，允許Azure用戶可以使用AI模型（包括Dall-E 2、GPT-3.5、Codex和其他由Azure特有的高性能和企業級云服務支撐的大語言模型）加速AI時代的數字化創新。此外，微軟德國公司首席技術官安德烈亞斯·布勞恩（Andreas Braun）在AI in Focus-Digital Kickoff活動中投票，GPT-4將在下周發布，將提供多模態模型，會提供完全不同的可能性——例如視頻。[2023/3/10 12:54:26]

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

比爾·蓋茨離開微軟董事會，曾支持為金融科技公司提供區塊鏈安全服務的公司:金色財經報道，軟件開發商、慈善家和微軟聯合創始人比爾·蓋茨將離開微軟公司董事會。比爾·蓋茨最近還支持了為在非洲和亞洲運營的金融科技公司提供區塊鏈安全服務的公司Crest，本月初為其開出了一張140萬美元的支票，以幫助這些地區的金融技術公司為沒有銀行服務的人群提供金融服務。微軟解釋稱，蓋茨離開董事會是為了為慈善事業和應對氣候變化的努力騰出更多時間。[2020/3/14]

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

聲音 | 微軟前CIO兼企業副總裁：企業借助區塊鏈等將是數字化轉型的關鍵路徑:據中國新聞網報道，以“暢想”為主題的2019深信服創新大會16日在深圳舉辦，微軟前CIO兼企業副總裁Jim DuBois認為，在全球數字化加速變革的趨勢下，企業只有勇于創新才能贏得先機，借助云計算、大數據、人工智能、區塊鏈等新興技術，并圍繞自身特點推動業務模式、組織架構、企業文化的變革，將是數字化轉型的關鍵路徑。[2019/8/17]

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：ARKPARSPANARSPARK幣BlueSparrow Token (New)VESPASHIBA價格lunar幣深圳

BNB