“Microsoft宣布推出一種高效且通用的零知識證明技術方案Spartan,該方案能在更短時間內以更高效的方式實現簡潔非交互的零知識證明,是首個無需做可信設置的zkSNARK方案。”
本文介紹了Spartan,這是用于rank-1約束滿足性的零知識簡潔非交互式知識參數家族中的一位新成員,R-1CS是一種可歸納算術電路可滿足性的NP完備語言。Spartan包含了一項獨特功能,它為NP提供了第一個沒有受信任設置的zkSNARK,驗證證明時會產生亞線性成本,無需NP語句結構的一致性。此外,Spartan還為zkSNARK提供了一種時間最佳證明者。
動態 | 微軟等大公司今年迄今合計向加密領域的投資達8.5億美元:據路透消息,大型金融和科技公司紛紛向新興企業注資,以開發加密技術。PitchBook編纂的數據顯示,今年迄今,包括企業資金在內的對加密貨幣和區塊鏈創業公司的風險資本投資已飆升至8.5億美元,目前共計13筆交易,這使得資金流量連續第二年創下歷史新高。包括倫敦證券交易所集團和微軟在內的多家公司的在該領域的投資在2018年飆升逾5倍,達到創紀錄的24億美元,超過117筆投資。這表明,大公司看到了這項新興技術的前景,盡管它很難被接受。[2019/4/18]
為了實現這些結果,我們引入了新的技術,這些技術與總和檢查協議進行結合:(
微軟收購Github引發恐慌 部分開發者將代碼遷移至其他平臺:據Bitcoin消息,Github被微軟收購后在Github社區引發了很大爭議,BTC核心團隊開發者Wladimir van der Laan認為這會讓Github失敗,也是Github漫長痛苦之路的開始。Gitlab是Github的競爭對手,Gitlab的數據顯示6月3日至4日間遷入代碼上漲了5倍,同時,Gitlab將費用降低了75%來加速代碼遷移。[2018/6/5]
計算commitment,一種用于創建對計算描述的簡潔commitment的原語;該技術對于驗證者在投資一次的公共計算以預處理給定的NP語句之后獲得亞線性成本至關重要;
微軟開始采取BCH進行游戲支付:據最新消息,微軟開始采取BCH支付游戲、Xbox游戲機及應用等產品,但該服務僅適用于來自美國的客戶。截至目前,BCH全球均價918.43美元,24小時漲幅3.4%。[2018/3/16]
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庫》下載
比原鏈基金會牽頭成立的IEEE區塊鏈身份密鑰管理規范工作組,正在火熱招募工作組成員,感興趣的組織機構請立即點擊表單登記.
1900/1/1 0:00:00本文將以Medalla多客戶端測試網為例介紹在ETH2.0上質押的詳細步驟。主要基于以下幾個技術:Ubuntu?v20.04(LTS)x64服務器GoEthereum?節點(代碼分支)Prysm.
1900/1/1 0:00:00作者:李昊軒|微眾銀行區塊鏈核心開發者來源:微眾銀行區塊鏈微信公眾號海量數字簽名數據如何進行高效存儲和驗證?能否對來自多個參與方的簽名實現數據聚合壓縮?如果每個參與方使用不同的簽名私鑰對不同消息.
1900/1/1 0:00:00轉自:區塊律動 「連在三大所的朋友都找我問Uniswap的事了。」李鳴說。去年,李鳴與交易平臺的朋友吃飯,如果聊到DEX,對方一般都是聽了兩句就岔開,或者說已經有布局了,「他們明顯不太關心這部分.
1900/1/1 0:00:00作為首支主動接受SEC監管的加密數字貨幣基金,灰度的舉動備受關注。尤其今年年初以來,灰度旗下的比特幣信托(GBTC)表格10生效,開始按照SEC標準進行信息披露,管理規模不斷創新高,灰度這頭“巨.
1900/1/1 0:00:00來源:TiCapital,原題《太和觀察|Filecoin市場投資中的危與機:生態、發展和影響》作者:CalvinZhang主網上線前,Filecoin期貨和Filecoin礦機山雨欲來.
1900/1/1 0:00:00