鏈聞 ChainNews 誠邀讀者共同監督,堅決杜絕各類代幣發行、投資推薦及虛擬貨幣炒作信息。舉報

ZKP文章 資訊 新聞 快訊 深度評論 介紹 解讀

ZKP新聞快訊文章, ZKP深度文章, ZKP快訊, 區塊鏈ZKP, ZKP是什麼, ZKP介紹, ZKP解讀, ZKP項目, 三分鐘瞭解ZKP, 秒懂ZKP, 如何評價ZKP, ZKP怎麼樣, ZKP創始人, ZKP招聘, ZKP融資, ZKP價格, ZKP技術, ZKP社區, ZKP論壇, ZKP瀏覽器, ZKP排名, ZKP白皮書, ZKP本質, ZKP意義, ZKP代碼, ZKP遊戲, ZKP什麼意思, ZKP學習, ZKP培訓, ZKP教程, ZKP投資, ZKP賺錢, ZKP安全, ZKP漏洞

以太坊二層網絡解決方案 Hermez 開源項目所使用的 Circom 電路

鏈聞消息,以太坊二層網絡解決方案 Hermez 宣佈開源在項目中使用的 Circom 電路。Hermez 表示,電路是一組約束和規則,協調人必須遵循這些約束或規則處理所有允許的交易,並且爲了生成批量的 zk-SNARK 有效性證明,該證明將在以太坊主網上進行驗證。Hermez 的電路是由 Circom 編寫的,Circom 是 iden3 零知識技術堆棧中使用的編程語言,與其他電路編譯器不同的是,Circom 是一種 DSL 語言,語法類似於 C 和 javascript。Hermez 還表示他們建立了一個關於密碼學的通用電路庫 circomlib,其他項目已經在使用它,比如 Semaphore 和 Tornado.cash。

Dystopia Labs 將於 10 月 19 日面向開發者舉行 ZKP 和隱私峯會

鏈聞消息,致力於防止區塊鏈世界的反烏托邦未來的初創工作室 Dystopia Labs 將於 10 月 19 日面向開發者舉行零知識證明(ZKP)和隱私峯會。該峯會爲期半天,完全免費。演講者包括輕量級區塊鏈協議 Coda Protocol 聯合創始人兼 CEO Evan Shapiro、零知識證明研發機構 StarkWare 的開源 ethSTARK 項目工程師 David Levit-Gurevich、去中心化金融公鏈項目 Findora 首席技術官兼聯合創始人 Ben Fisch、擴容項目 Matter Labs 聯合創始人兼 CEO Alex Gluchowski、隱私公鏈 Secret Network CEO Guy Zyskind、Zcoin 密碼學顧問 Aram Jivanyan 以及 Zcash 密碼學家 Sean Bowe 等多位領域內人士。
·

零知識證明研發機構 StarkWare 啓動基於 STARK 的可驗證延遲函數服務「VeeDo」

鏈聞消息,零知識證明研發機構 StarkWare 在以太坊主網上啓動了基於 STARK 的可驗證延遲函數(VDF)服務「VeeDo」。VDF 是一種可通過計算提供延遲和時間滯後的函數。 StarkWare 打算用 VeeDo 解決的第一個應用是以太坊上的無需信任的、不可支配的隨機性概念驗證(PoC)。目前,該 PoC 已在主網激活。另外,StarkWare 還在研究時間鎖(TimeLock)以及下一代 PoW 機制。鏈聞注,2018 年 7 月份,StarkWare 獲得了以太坊基金會提供的 400 萬美元資助,將研發對 STARK 友好的哈希函數和技術,併爲生態系統提供開源代碼。STARK 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展(例如分片)。

StarkWare 以 Reddit 演示 ZK Rollup 擴容,可降低 30% 以太坊 Gas 費用

鏈聞消息,零知識證明研發機構 StarkWare 演示了通過其 StarkEx (二層擴容方案 ZK-Rollup)將 Reddit 上的子板塊 r/FortNiteBR (及其 Brick 代幣)引入以太坊主網的過程,每筆交易僅支付了 600 Gas 費用。StarkWare 製作了一個模擬代幣以對應於現在在測試網上的 Reddit 的真實代幣。StarkWare 稱,「在此過程中,我們沒有造成網絡堵塞,並且在 12 小時內僅使用 2.5%的網絡。另外,支付的 Gas 價格比平均區塊 Gas 價格低 30%。如果直接在以太坊(沒有 StarkEx)上做同樣的事情,將在以太坊整個網絡上消耗 4.5 天。」StarkWare 還指出,「我們在 ERC-20 鏈上鑄造了 2 ^ 60 個代幣(稱爲「MockErc20」),並將其存放至代表 subreddit 的智能合約中。之後,又以無信任地方式將這些資產轉移到「subreddit 庫存」的鏈下帳戶中。我們共創建了 159 個批次,每個批次進行了 8,192 次轉移。每個批次都生成了 STARK 證明,我們還更新了帳戶餘額的鏈下 Merkle Tree。」鏈聞此前報道,Reddit 啓動基於以太坊區塊鏈的區塊鏈積分系統 Beta 測試,僅針對加密貨幣和 FortniteBR 兩個子版塊。在測試版中,這兩個子版塊的用戶可通過貢獻內容獲得代幣積分,並使用代幣投票、打賞和進行代幣轉移。

零知識證明研發機構 StarkWare 將在幾周內開源 ethSTARK

鏈聞消息,零知識證明研發機構 StarkWare 稱,「2018 年我們獲得以太坊基金會的資助去探索對 STARK 友好的哈希函數以及開源 ZKP 代碼。我們將在幾周內提前完成我們的工作。ethSTARK 代碼的運行速度將比現有的任何 ZKP 代碼快 20 倍。」鏈聞注,2018 年 7 月份,StarkWare 獲得了以太坊基金會提供的 400 萬美元資助,將研發對 STARK 友好的哈希函數和技術,併爲生態系統提供開源代碼。STARK 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展(例如分片)。

企業區塊鏈解決方案 Applied Blockchain 完成 250 萬美元融資,QBN 資本領投

鏈聞消息,總部位於倫敦的企業區塊鏈解決方案公司 Applied Blockchain 宣佈完成 200 萬英鎊(約 250 萬美元)融資,由香港風險投資公司 QBN 資本領投。該筆資金將被用於繼續開發該隱私平臺,以幫助公司改善數據處理方式,Applied Blockchain 還將在 QBN Capital 的幫助下擴展到亞洲。Applied Blockchain 稱將會推進開發大量零知識證明(ZKP)應用。QBN Capital 高級副總裁 Philea Chim 表示,「政府、企業和個人越來越關注數據隱私和數據安全性,我們相信零知識證明(ZKP)提供了一種更好的共享和處理數據的新方式。」目前 Applied Blockchain 已開始與能源、航運、航空、汽車、電信和金融服務等行業的客戶一起測試該平臺。Applied Blockchain 成立於 2015 年,迄今爲止已爲初創企業和企業開發了 70 多種分佈式解決方案。 2017 年,該公司從石油巨頭殼牌和風險投資公司 Calibrate 獲得一筆未公開的資金,此外,殼牌使用 Applied Blockchain 來構建和部署能源衍生品交易平臺。
·

如何彌補鏈上與鏈下體驗差距?瞭解一下 ZK Rollup 等方案

如何彌補鏈上與鏈下之間用戶體驗的差距? ZK Rollup 方案處理時間短,可節約運營商的資金成本。
如何彌補鏈上與鏈下體驗差距?瞭解一下 ZK Rollup 等方案

Matter Labs 推出零知識證明智能編程語言及框架 Zinc 的測試版本

鏈聞消息,區塊鏈技術初創公司 Matter Labs 推出零知識證明智能編程語言及框架 Zinc 的 v0.1 Alpha 版本。Matter Labs 表示,Zinc 是用於創建安全的零知識證明線路以及基於其運行程序的智能編程語言和執行環境,是發展「基於以太坊擴容方案 ZK-Sync 中智能合約的一大進展」。Matter Labs 創始人 Alex Gluchowski 表示,Zinc 遵循 Rust 原理,並基於簡化的 Rust 語法,精通「Rust、C ++、Solidity 等語言的開發者可在一天內快速上手」。同時,Zinc 與其他現有的 ZKP 編程語言不同,開發者不需要了解「所有 R1CS (一階約束系統)的細微差別即可編寫安全代碼」。鏈聞此前報道,Matter Labs 於 2019 年 12 月推出其基於零知識證明的以太坊 Layer 2 擴容方案 ZK-Sync 的測試網。Matter Labs 表示其爲以太坊交易創建了一條側鏈,通過在基於智能合約的託管帳戶中進行脫鏈操作,ZK-Sync 交易可以更快地結算並降低成本。
·

用非技術語言說透零知識證明如何改變區塊鏈

用最簡單方式說透「 精簡區塊鏈」實現方式和巨大價值。
用非技術語言說透零知識證明如何改變區塊鏈
·

審計師會被區塊鏈與零知識證明技術替代嗎?

區塊鏈技術與零知識證明,將會對審計與記賬流程帶來何種革新?
審計師會被區塊鏈與零知識證明技術替代嗎?
·

零知識證明的理想進化:從交互到非交互式

非交互式零知識證明如果存在,那麼它要比交互式證明強大得多。
零知識證明的理想進化:從交互到非交互式

隱私瀏覽器 Brave 提出基於 ZKP 的去中心化虛擬隱私網絡解決方案 VPN⁰

鏈聞消息,隱私瀏覽器 Brave 發佈研究論文提出了一種去中心化虛擬隱私網絡解決方案 VPN⁰,該解決方案使用無需中央授權的 ZKP 實現了充分的去中心化,同時還保障用戶隱私。作爲一種去中心化的 VPN 解決方案,用戶既是 dVPN 網絡中的 VPN 客戶端,又是 P2P 網絡中繼 / 退出節點,通過使用零知識證明技術,VPN⁰ 允許中繼節點在無需知道具體內容的情況下控制想要傳輸流量的類別,既保持了去中心化特性, 又不會侵犯用戶隱私。值得注意的是,該用例有可能集成到 Brave 的效用代幣 BAT 中,流量中繼者可獲得 BAT 補償,同時使用者則可以支付代幣 BAT 使用或訂閱 VPN 服務。目前 VPN⁰集成了 BitTorrent 的 DHT (Mainline)和 ProtonVPN,並針對 DHT 查找、VPN 隧道設置和零知識流量證明對 VPN⁰ 的性能進行了基準測試。

0x 開源 Rust 實現的零知識證明系統 OpenZKP

鏈聞消息,去中心化交易所協議 0x 宣佈開源 Rust 實現的零知識證明(ZKP)系統 OpenZKP,旨在基於 DEX 可擴展性和性能方面推進試驗構建更通用的解決方案。該解決方案構建了一個易於使用的低級別界面,任何人都可以與之交互,是目前可用最小證明量中最快的證明實現。與閉源相比,OpenZKP 具有幾個主要優點:1)任何人都可以在其他人工作的基礎上爲 OpenZKP 做出貢獻,2) OpenZKP 可審覈,因此,任何人都可自行查看代碼並確定是否存在安全漏洞,3)開源實現保證了項目的連續性,因爲只有在所有源代碼都可訪問的情況下,0x 協議才能獨立於其創建者起作用。目前 OpenZKP 庫可供開發者使用。STARK 最大優勢是重複性約束下的一種快速證明實現,並擁有高級別的密碼安全性能,不需要進行可信設置,還可抵禦量子計算機的攻擊。STARK 的數學也比某些替代方法更簡單,可簡化證明者和驗證者的開發,其密切相關的系統(例如 Aurora)也正在進行積極應用開發。STARK 的主要缺陷是,作爲一門新的約束語言,其相關工具還不完善。另外它的證明大小約爲 100kB,比一些其他系統要大。
·

十分鐘速覽斯坦福金融公鏈 Findora 提出的「超音速」零知技術

Findora 首席科學家 Benedikt Bünz 發佈「首個無需可信設置的」短證明 SNARKs 技術 Supersonic,稱該技術在100 萬邏輯門的前提下可以將證明大小壓縮到 10 至 20KB,甚至還有優化空間。
十分鐘速覽斯坦福金融公鏈 Findora 提出的「超音速」零知技術
·

非託管混幣器 MicroMix 原型上線以太坊 Kovan 測試網,基於 ZKP 匿名信號系統 Semaphore 開發

鏈聞消息,以太坊基金會開發者 Wei Jie 宣佈推出基於以太坊的非託管混幣器 MicroMix,它基於零知識證明匿名信號系統 Semaphore 實現,目前在以太坊 Kovan 測試網上實現了原型部署,允許用戶匿名地將他們的代幣與其他人交換,同時可隱藏交易歷史,「目前尚處於實驗階段,可能不安全,尚未經過審覈」。MicroMix 旨在實現以非託管的方式解決以太坊鏈上交易和資產轉移記錄被跟蹤的問題。目前市面上的解決方案均是採用中心化交易錢包或託管型的混幣服務,因此存在高度的交易對手風險。此外,MicroMix 還採用了一種激勵機制,可激勵第三方中繼交易代表用戶提取資金,併爲用戶支付 gas 費。Semaphore 是一種匿名向區塊鏈廣播信號的方式,它不會泄露用戶的地址,由 Barry WhiteHat、Harry Roberts 和 Kobi Gurkan 創建。未來,Semaphore 將被用於其他隱私增強應用,包括匿名登錄、匿名 DAO,匿名投票和匿名新聞等更廣泛的用例。關於匿名投票,MakerDAO 智能合約主管 Mariano Conti 稱,匿名投票可爲以太坊帶來諸多好處,比如可用於 Maker 每週一次的關鍵問題投票,並建議也可用於 MolochDAO 這樣的治理項目,因爲它可以讓投資者在不泄漏地址的情況下爲項目提供資金。
·

可能是最耐心的硬核詳解:零知識證明的可靠性與知識的存在性

只有「知識」在存在的前提下,保證「零知識」纔有意義,本文將探討「可靠性」和「To Know」。
可能是最耐心的硬核詳解:零知識證明的可靠性與知識的存在性
·

硬核理解零知識證明的「模擬」概念:從平行宇宙到柏拉圖洞穴寓言

任何一個零知識的協議,都可以通過構造一個「理想世界」來理解。
硬核理解零知識證明的「模擬」概念:從平行宇宙到柏拉圖洞穴寓言
·

ZKP 新玩家:zkPoD 將零知識證明從理論到代碼的演進

本文概述利用 ZKP (零知識證明) 與區塊鏈來實現去中介的交易協議的原理,講講如何把這個理論變成實用的代碼。
ZKP 新玩家:zkPoD 將零知識證明從理論到代碼的演進
返回頁面頂部
返回鏈聞首頁