買以太坊 買以太坊
Ctrl+D 買以太坊
ads

WEB3:圓桌:Future of ZK Convo | Over the Moon_WEBN幣

Author:

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

4?月?11?日,「OvertheMoon—逐浪Web3」峰會在香港舉辦。本次活動由?MetaStone?和Odaily星球日報主辦,MixMarvel、AWS?協辦,CREGIS、Jasmy、HOPE、Souff?l3、LDCapitalUS、ArkStreamCapital、SevenX、Jubi、zkMe?等頂級合作伙伴支持。

本次會議的第三個圓桌主題是FutureofZKConvo。6位嘉賓針對ZK技術難點和未來生態發展進行了探討,以下是文字內容回顧。

主持人WeiZhang:我來自?AWS?Web3的行業客戶經理,大家應該聽過亞馬遜云在Web3行業支持了非常多的用戶,也歡迎大家繼續使用亞馬遜云為Web3提供更加強壯和可靠的云支持。我們先請幾位嘉賓簡單的介紹一下自己,或者說你所在的機構,以及項目最近的情況。

Yuxing:大家好,我是?Yuxing,現在在?sevenX?做投資,我是比較關注Layer?1、Layer2??、ZK、數據和錢包領域,SevenX?是亞洲領先的加密基金,我們鼓勵創新的想法,秉持著共建的理念來投資能夠改變行業的應用,歡迎各位有想法的創業者聯系我們。

WarrenFang:大家好,我是?Arkstream?的?WarrenFang,Arkstream?是一家以研究為驅動的基金,主要是關注在應用層和技術層的突破創新,ZK?是我們關注很久的方向,我們更加關注的是基于?ZK?的生態或者是零知識證明做大規模的用戶入口的場景。

TinaLiu:謝謝主辦方,我是?Tian,我來自?MinaFoundation,我現在負責日本、韓國、印度、越南、土耳其、俄羅斯等地,我們其實是比較久的公鏈,在?2021?年主網上線,今年是主網上線的第三年,我們今年在大規模的發展生態,也就是在全球范圍內招募開發者,并成功選出來了14?個項目,我們也對他們進行了?grant的頒發。

ShuyaoKong:大家好,我是?ConsenSys?的?Shuyao。

現場 | 以太坊行業峰會第一場圓桌 如何應對智能合約安全問題:金色財經9月8日現場報道,Loi Luu (KyberNetwork 創始人)、Shawn Douglass

(Amberdata 聯合創始人兼CEO)、Jay Zhou (Loopring Protocol 聯合創始人)、Alan Li (FBG X 研發部負責人)、Antoine Cote (Enuma Technologies 聯合創始人兼CEO) 參與了討論,嘉賓們一致認為,由于智能合約涉及資產交易且不可篡改,一旦發生安全問題將引起資產嚴重受損,關注智能合約安全是必要的。Loi Luu指出,區塊鏈行業項目方,需要為開發者設立預警機制。開源代碼要引入第三方檢測,避免犯一些顯而易見的錯誤。

Jay zhou認為,需要更有經驗的開發者去開發用戶易用、以人為本的合約,同時也有必要引入交叉審計。

Shawn Douglass說:“因為智能合約的不可篡改性,在程序員開發前,就必須告知開發者未來可能造成的后果,特別是在涉及資產的領域必須確保事前萬無一失甚至考慮保險。”

Antoine Cote表示,可以在早期時候引入懸賞機制讓黑客或者社區成員共同發現漏洞。大家討論后得出共識,每一個開發者都必須在開發速度和安全性之間做一個平衡。在區塊鏈領域,注重安全和責任心是必須的。[2018/9/8]

LealCheung:大家好,我是?Leal,我之前是做工程類的研究,也是連續的創業者,這兩年主要是在?Crypto?行業做技術相關的研究和研發。

下面介紹一下我們的項目,zkMe?是基于零知識證明和?MPC?的Web3CredentialNetwork,我們圍繞著用戶身份來構建協議。我們的核心案列有三個,第一個是?oneface,oneDID,不同于Worldcoin?使用硬件設備采集虹膜創建?DID?的方式,我們通過手機設備的人臉識別功能和全同態加密的方式來幫助用戶創建唯一的?DID。我們另外一案列是?zkKYC,我們認為一些?DeFi?的去中心化應用使用一些中心化的解決方案是非常不符合去中心化的精神的,zkKYC?是非常符合去中化世界業務需求的,在保證用戶隱私的同時,又保證業務的合規。我們最近剛上線?zkKYC?的解決方案,所以如果現場有關于?DeFi?或者其他去中心化應用對?zkKYC?有興趣的也可以聯系我們。

百人圓桌 星鏈基金會梁羽:交易所今年發生格局變化已然發生:在金色財經百人圓桌EOS系列問題上,星鏈基金會梁羽表示,交易所今年發生格局變化已經不是可能性的問題,是已然發生的事。流量到達瓶頸,大小交易所之間為了獲取流量無所不用其極,目前的平臺幣也已經走在了代幣賦值的最前線。如果這個模式能成功,會倒逼項目方盡快為代幣賦值,這是未來最可能發生的事。也是區塊鏈價值體系刷新的重要轉折點的。

其實今年還是公鏈元年,多數比較牛的公鏈都是今年主網上線,帶來的問題肯定是主網的優化迭代更新;目前資本市場對區塊鏈高度關注,民眾也逐漸熟知,所以我認為交易所、資本、公鏈這三塊是今年的主戰場。明后年或許會爆發區塊鏈項目的全新格局。區塊鏈底層協議嘛,這塊大家一直都在研究創新,但是都沒有質的飛躍,我認為這塊還是需要一定人才和資金的積累之后,才會迸發。[2018/6/20]

大家都知道預言機對區塊鏈的重要性,Chainlink?通過開放?API?把價格等數據推到鏈上,同樣的我們把用戶身份相關的數據也推到鏈上,用戶身份相關的數據包括?1?)DemographicData,即身份證件上的數據。2?)IdentityData,列入EducationBackground,WorkingExperience及CreditScore?等數據,其他的類型數據還包括?Web2行為數據等,我們也是希望通過基于?ZKP?預言機來實現。也希望為更多的Web3?應用基于身份預言機這樣的基礎設施來做開發,謝謝大家。

Seabook:大家好,我的名字叫?Seabook,我來自?Starkware,是?Starkware?APACDevrelationship。有多少人了解Starkware,它是一家去年估值高達?80?億美金的公司,下面有兩大產品,Starkex?和?Starknet,我們有自己的語言,在座所有人都可以加入到我們的生態中。感謝大家。

主持人WeiZhang:前面幾位嘉賓在介紹過程中都提到?ZK?最近比較火的點,ZK的發展前提是受到了Layer2?生態的帶動,請問在座的各位嘉賓,ZK?在發展過程中還是比較緩慢的,你們覺得它技術的卡點在什么地方,你們分析了這些技術卡點之后,認為它在Web3行業或者是不在Web3行業的結合點有哪些?

百人圓桌 工信部五所相里朋:更看好DAG共識機制 DAG是區塊鏈3.0典型技術:在金色財經百人圓桌EOS系列問題上,對于“更看好哪一種共識機制?給DPoS機制打多少分(滿分10分)”的問題,工信部五所相里朋表示:從技術上,更看好DAG共識機制。DAG(有向無環圖)作為區塊鏈3.0時代的典型技術之一,采用異步通訊機制在提高擴展性、縮短確認時間、降低支付費用方面優勢明顯,更適合推廣到萬物互聯。且傳統區塊鏈確認次數只能計算交易有效性的“概率”,不具備最終有效性;DAG具有最終確定性,并不可推翻。但需注意的是,網絡安全性、一致性問題都不確定,主鏈一直在分叉。網絡未對節點交易信息的正確性充分驗證,存在偽造或篡改的可能,錯誤數據有一定幾率構成主鏈。DPoS機制可打6分。[2018/6/20]

Seabook:第一個問題是難度在哪兒?首先是電路的問題,寫電路是需要用到高階函數,一般只能人工手寫,這是非常緩慢且高階的過程,比如說以?Scroll?或者?ZKSync?來說,他們都是手寫電路,很煩瑣。

全球頂尖知道?ZK?的也不到?1000?個人,可能在?ZK?資本的強力推動下,這個數字會更多。我想表達的是?ZK?這個東西本身就非常難,雖然?ZK?這個理論可以追溯到?80?年代,但是真正的突破也就是在?2018、?2017?年隨著計算機、硬件的不斷發展才是真正的突破。Starkware?這邊也有幾個非常天才的科學家,他們自己發明了一套比較高階的語言Cairo,這個語言能夠自動的翻譯成電路。

ZK?目前最大的應用和結合點是和區塊鏈、Crypto相結合,但是未來?ZK?可以應用到各個方面。

LealCheung:謝謝分享,我認為不是?ZK?技術卡在這兒導致?ZK?發展緩慢,而是因為行業需求沒有被挖掘出來,或者說正是因為在這個發展階段需求不斷涌現出來才會有新的技術不斷發展和突破來解決這些問題。

大家都知道區塊鏈的隱私問題是從它誕生第一天以來就伴隨著的,在之前的很多年的開發當中,大家其實是在提升一些效率的問題、安全的問題,但是現在這個階段大家發現?ZK?它能夠解決擴容、隱私的問題,并能夠有效的推動?ZK?技術的發展。就像前面嘉賓說的,ZK?開發的問題阻擋了很多的開發者進入到這個領域,當然最近也會有一些開發團隊做一些相關的可視化電路編程能夠有效的轉化成編程語言,實現我們想要實現的邏輯。

金色財經現場報道 圓桌環節嘉賓關于EOS是否能擔當起區塊鏈3.0時代的代表的觀點:金色財經現場報道,今日在紐約舉行的2018區塊鏈無國界峰會上,Certik聯合創始人顧榮輝EOS及TPS不是區塊鏈3.0,需要用數學方法證明程序沒有bug。IOST聯合創始人及CEO鐘家鳴表示,EOS過于“簡單粗暴”,21個超級節點中聯盟無法避免,長遠來看不看好超級節點。Hydro Protocol聯合創始人王博聞表示需要等到EOS主網6月上市后再做評測。[2018/5/13]

關于執行效率這塊也是非常大的問題,效率有很多種解決方案,比如說?ZKP?的壓縮或者批處理,或者是通過組合的方式來實現?ZK?的執行效率。

還有一些是關于?ZK?的生態的發展,大家現在更多的關注是ZK作為?Rollup?的解決方案,但是?ZK?在很多場景下能夠解決很多的問題,我們自己在做是希望?ZK?能夠解決和Identity?相關的隱私問題,Identity?身份應用的空間就非常廣,作為應用都需要和Identity?建立關聯,這樣能夠拓展更多的可能性。

除了這些,我相信ZK還有很多發展的機會,第二個問題是它未來的應用空間在哪里?在傳統領域我相信比如說今年買一份醫療保險,我并不想把患病歷史告訴保險公司,所以?ZK?有很好的解決方案,在金融公司其實也是可以用?ZK?做隱私計算的,比如說找一個銀行開戶,我想要開VIP?客戶,但是又不希望把在另外一家銀行的資產披露給他,ZK就是非常重要的信息分享的隱私解決方案。

所以,我相信在未來,不管是在隱私的轉賬上的應用,還是在關于Identity?的項目開發都是有很多的機會。

舉個簡單的例子,大家都知道Web3GameFi?希望獲得有游戲相關經驗的高質量用戶。這一點上,我們就可以把用戶在Steam?平臺的游戲數據通過?ZK?的方式推到鏈上,讓游戲基于這些數據開發。再比如,我們可以將用戶在真實生活當中的?CreditScore推到鏈上,從而實現UndercollateralizedLoan。這樣就能夠打開Web3?應用在下個階段發展的局面。

金色財經現場報道 圓桌環節嘉賓關于讓權力逐步下放與超級節點會不會存在沖突的觀點:金色財經現場報道,今日在紐約舉行的2018區塊鏈無國界峰會上, 星云鏈聯合創始人鐘馥百表示,長遠來看超級節點的模式權利會下放,更多的人知道區塊鏈是一件好事。沒有完全的去中心化,目前超級節點有很好的公關效果。IOST聯合創始人及CEO鐘家鳴 同意超級節點有著很好的公關效果。長遠來看超級節點不是好的選擇,他們希望能真正的做出簡單的方案。Hydro Protocol聯合創始人王博聞表示,超級節點是個動態均衡的。三年之后,90%的當前節點可能會不復存在,可以看到真正對社區友誼的團隊會留存到最后。[2018/5/13]

ShuyaoKong:我就不重復前面兩位嘉賓說的內容,ZK?就是兩個用途,應用場景大家可以自己去想,一個是擴容,一個是隱私。但是大部分的挑戰是不需要?ZK?的,因為它是一種非常昂貴方式。

TinaLiu:謝謝主持人的提問,我非常同意前面三位嘉賓的觀點,目前?ZK?的技術卡點主要是?ZK?生成的證明需要大量的證據,原始的數據和交易的過程通過加密上傳到鏈上,導致它的計算量非常龐大,你生成一個零知識證明之后還要去驗證這個證明,再驗證完這個證明之后還要締規這個證明,其實三個走下來就產生了非常大的計算量,這樣的計算量也導致了它運作的效率不是很高,這就是目前在開發Mina?時遇到的卡點。

至于?ZK?目前的應用,大家普遍的知道隱私型計算、交易、多方計算這些。有一個項目挺有趣的,通過?ZK?的技術實現跨鏈的互操作性,這是我們團隊提出來的,他們想在Mina?上建一個輕結算系統,他們是一個量化團隊,對高頻交易的要求非常高,他們看了很多的公鏈可以實現跨鏈快速實現滿足高頻交易的需求,最后選擇了?Mina,就是因為?Mina?分享了輕量化,這是?ZK?發展非常有趣的方向,就是實現跨鏈的互操作性,我們也在積極的拓展看一下有沒有新的運用。

WarrenFang:其實零知識發展已經幾十年了,最近擴容的需求重新被大家提出來,ZK?的主要應用場景有三個?shuyao?講了兩個,擴容和隱私保護,還有一個是計算外包。擴容是大家最熟悉的,不管是?zkVM還是?zkEVM都是擴容解決方案,是為了更多的計算和交易能夠放在鏈上。另外諸如?zkMe?這樣用?zkp?來實現隱私保護也是Web3行業內一直探索的。

我們發現基于?ZK?做的項目他們的難點在于生態開發者不夠,開發者進來的門檻非常高。我覺得難點有三,一是對于開發者的技術要求門檻比較高,需要有一定的數學和密碼學知識背景,并且學術論文和工程代碼實踐都精通的技術人才很少;二是學術論文發展迅速,但在工程上技術堆棧的不統一,電路語言的各自為戰,導致在技術發展的早期,造成?ZK?系的割裂以及混亂;三是零知識證明的證明生成環節,對于計算設備要求較高,造成的時間開銷和計算成本相對高昂,由此做出來的性能效果是不足以大范圍落地使用。

這幾個困難綜合到一起對于開發者的進入和生態搭建就比較困難,我們也知道這塊有很多的應用場景和市場需求,我們也期待看到更多好的項目出來,謝謝。

Yuxing:前面幾位嘉賓已經講得非常全面,我做一點小的總結和補充。在我看來?ZK?遇到的卡點原因很多,總結為三點:

第一,難做。現在?ZK?有點像剛開始的人工智能,我是算法背景,剛開始學人工智能還需要手動用?C?代碼來寫底層算法公式,后來像Python?有各種函數和腳手架搭建起來,我再寫算法以及搭建模型就快很多,直接調用函數和套用模板,再修改修改就行。現在大部分的ZK?開發者也是要從底層去Build,沒有很好的腳手架,隨著腳手架的搭建,ZK?越來越好做之后,這個局面會轉變。這個腳手架包括語言、函數報、模板等等。

第二,難用。一是它的生成速度慢,驗證速度比較快。生成速度慢就包括算法的問題和硬件的問題,算法是有很多計算會遇到底層硬件的算力卡點,比如說?NTT?和?MSM,把這些慢的東西去掉,可以讓它更快。硬件是優化和解決那些算力卡點,從而更好地支持算法,就像比特幣的挖礦算法一樣,從而讓它更快。

第三,難找到市場的契合點,這一點非常的有意思,其實像?zkKYC?以及?ZK?的隱私交易是很好實現的。美國有一個公司是通過ZK的方式保護用戶在證明自己身份的隱私,政府需要強介入時,每個人用了?ZK?依然可以還原出這個人的信息,這個東西不是純的?ZK,一定程度上保留了某些復原信息的可能性。應用在尋找這個市場最合適的解決方案時不是技術的理想主義就能做的事情,會遇到很多困難,從而導致比較慢的采用和實現,影響應用找到完美的市場契合點。

你說最后一個新的應用場景,其實剛剛幾位嘉賓講得非常全面,我就不贅述了。

主持人?WeiZhang:謝謝幾位嘉賓的分享,我們看到?ZK?發展比較緩慢,它和?Crypto?結合起來還是有一些亮眼的東西,最后一個問題是想聽一下幾位嘉賓有沒有在亮眼上的補充,你覺得最近有嘗試想去投的?ZK?賽道的項目,或者是你覺得?ZK?項目新亮點在哪里?

Yuxing:最近確實有看到一些新的東西,剛剛有嘉賓提到ZK的功能,包括隱私、擴容和可驗證的計算。可驗證的計算即將計算外包到鏈下,比如說?ZKML。人工智能算法非常消耗算力,目前很難將計算搬到鏈上去。目前就算是Starkware?也很難支持人工智能跑在鏈上。那么當我們用中心化跑算法的時候,可以通過加入了?ZK?去證明人工智能算法的運行沒有被篡改。

此外,它同時還能夠防止DeepFraud等等的人工智能造假的問題。舉個例子,現在看?AIGC?這么強大,很難去懷疑某天看到新聞聯播播放的視頻,某個領導人講的話是否是篡改還是真實的,它可能是被深度學習生成的,我們可以賦予ZK證明現在這個播放的視頻是真實的,而不是?AIGC?出來的。除了視頻之外還有照片,前段時間孫毅教授的團隊也有相應研究的產出。新聞攝影的照片在拍下的瞬間就可以嵌入ZK的證明,證明這個照片是真實記錄的,而不是?AIGC?的場景。

WarrenFang:因為臺上幾位嘉賓都是在ZK?方面很有影響力的Builder,我就不在他們做的賽道班門弄斧了。可以提一些值得關注的新的創新點,比如說全鏈游戲的領域,之前Starknet?上有一個?DarkForest?游戲,吸引了很多開發者和業內的關注,他們用ZK來實現游戲中的戰爭迷霧。我們后面也看到很多全鏈游戲的開發者,會用ZK做一些嘗試。

剛才講了StarkNet,我們還看到上面一個ZK機器學習的項目,他們做了一個產品也是嘗試?AI?的東西通過ZK來做。還有一些新的敘事,比如ZK的可編程性,互操作性和可拓展性,加上ZK實現的橋和?DID?組件,來實現ZK的全棧。隱私這塊有用ZK來做數據索引和計算驗證,以達到最小程度信任的,包括?zkMe?也是基于ZK做一些?DID?或者是隱私保護的嘗試。我們覺得這些新的可能探索隱私保護和大規模應用場景,能夠用到ZK實現原有在鏈上沒辦法實現的功能應用,我們覺得很有意思,也希望和大家多討論、多分享,前面講的這些都是沒有利益相關,也只是做一個探討。

TinaLiu:剛才我已經分享過了,我們現在生態上比較好玩的項目,我再提一下吧,我們?Mina?確實在開發一個ZK的語言,開發者可以來編程ZK,我們很歡迎各位來?Mina?做開發。

LealCheung:謝謝剛才幾位嘉賓的分享,我們自己團隊在做?zkKYC?解決方案時思考了很久如何做到去中心化,在做的過程中通?MPC和密鑰分片的方式做了加密,讓Regulators?在有需要的情況下,也能夠通過去中心化的方式來實現RawFiles的Unlock。

最后一位嘉賓說的ZK機器學習,我們也在做,我們做這個方面有一個促因,做?zkKYC?受限于很多國家的政策,他們居民的中心化數據庫并不開放。我們不得不采用傳統?KYC?的方式,即做人臉識別和?OCR,這就要保證用戶的隱私和安全性。在鏈下可以做基于?ZK?機器學習,用戶的數據通過ZK的方式也能夠實現隱私和效率,是非常重要的平衡。

我自己平時也會做技術相關的研究,也會看基于ZK的創新,剛才這位嘉賓也提到有一些社交的應用,用戶不需要知道技術背后是什么,但是要知道用戶是被認證過的,我們有一些用戶用的身份是假的,如果通過ZK驗證也是非常重要的社交方式。

當然還有很多五花八門的創新,其實大家只要打開想象力不斷的摸索、不斷的發現還是有非常多的應用機會的,謝謝。

Seabook:我最后簡單快速講一下,我個人認為在座的各位老板應該大力構建ZK的教育,這塊教育遠遠不夠,我們永遠是追逐如何做應用,對于底層ZK是怎么樣的,背后的邏輯需要多高深的數學并沒有太多的印象,大家就是ZK很火熱,很多資本在追逐。希望大家沉淀起來,或者是在國內有一個中文版的,英文版的慕課,把ZK的教育真正做起來,讓各大行業的人知道ZK可以做這些東西,結合自己的背景和實際應用來實現這些應用和場景。

主持人WeiZhang:謝謝幾位嘉賓的分享,剛才這位嘉賓分享的點也特別好,在整個ZK發展過程中確實是需要更多的Builder?參與進來,為ZK的賽道注入一些新的idea?來推進賽道的發展,并且應該出一些普及性的知識點,讓更多人接觸到這個賽道。

Tags:區塊鏈ARKWEBWEB3哪個不是區塊鏈特性PARK幣WEBN幣web3域名

幣安app官方下載最新版
BTC:BTC周二觸及30,000美元,ETH 接近 2,000美元_比特幣

隨著看漲情緒重返加密貨幣市場,比特幣在4月11日突破30,000美元。在中國數據顯示消費者價格觸及18個月低點后,市場飆升。以太坊也因消息而走高,接近2,000美元.

1900/1/1 0:00:00
HEM:ZKE將上線 ACH 永續合約_CheesecakeSwap Token

注意: ?根據市場風險狀況,ZKE可能調整合約參數,包括調整最小變動價格、最大杠桿、初始保證金、維持保證金等重要參數.

1900/1/1 0:00:00
BTC:我們能在今年看到4萬的比特幣嗎?_BTC是什么公司

簡單來說著名分析師WillyWoo發布了一系列比特幣宏觀圖表。這些表明重新積累階段已經開始,“聰明錢”進入市場。短期持有者不再以比長期持有者更便宜的價格購買比特幣.

1900/1/1 0:00:00
GATE:Gate.io 非首發上線Startup項目Pando (PANDO) 免費認購規則公告(免費瓜分12,216,949個 PANDO)_LunaLand

關于Gate.ioStartup免費空投計劃為回饋平臺用戶,Gate.io上線“免費空投計劃”,在Startup區不定期進行區塊鏈項目的免費空投計劃.

1900/1/1 0:00:00
以太坊:以太坊自合并以來的首次重大升級 Shapella 現已上線_ETHE

以太坊的核心開發者通過硬分叉實現了Shapella升級。備受期待的升級使用戶和驗證者能夠提取他們在網絡上質押的ETH。以太坊的Shapella升級已經上線.

1900/1/1 0:00:00
NIMB:慢霧:zkSync Era 生態項目 SyncDex 跑路,Rug Pull 超 37 萬美元_NIM幣

ForesightNews消息,據慢霧區情報,zkSyncEra生態項目SyncDex于今天3:00左右發生RugPull,目前官方Twitter賬號已被刪除.

1900/1/1 0:00:00
ads