買比特幣 買比特幣
Ctrl+D 買比特幣
ads

KSY:科普:zkSync 的三重安全性方案_zksync幣imtoken

Author:

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

“唯有偏執狂才能生存下來。”?

——Intel的CEOAndyGrove

在為?NFTs、swaps和zkEVM?上線做準備的過程中,我們注意到zkSync的用戶和資金量迎來了指數級增長。然而,處于早期開發階段的新協議往往存在一些風險和信任假設,我們認為有必要提醒新老用戶注意這點。

風險一方面來自應用于Layer2的創新技術,另一方面來自這些解決方案的潛在中心化趨勢。就像大多數務實的團隊那樣,zkSync踏上了漸進式去中心化道路,并積極開拓創新,增強以太坊生態的安全性和可擴展性。

這里需要注意的幾點是:

我們無法保證項目沒有漏洞。但是,我們會參照業內最新最好的安全實踐,并聯合頂級審計公司對項目的合約、電路和底層密碼學技術進行審計,將出現漏洞的可能性降至最低。所有基于以太坊構建的新項目都存在這一風險。我們的項目更是如此,因為零知識證明技術增加了項目的創新性和復雜性。

徐明星新書《趣說金融史》正式發布 科普金融發展之道:金色財經現場報道,9月23日,歐科云鏈創始人徐明星攜手著名財經作家李霽月、行業觀察者顧澤輝力作《趣說金融史》一書,跨越5000年金融歷史,重讀金錢故事,并預測新的金融時代。該書由中信出版社出版,將于近期正式發售。據了解,本書可以更好地呈現金融的起源與發展,幫助人們理解貨幣、金融與未來經濟。作為區塊鏈行業領軍企業——歐科云鏈的創始人,徐明星深知技術探索對經濟社會的重要推動作用,他曾先后出版過《圖說區塊鏈》、《區塊鏈:重塑經濟與世界》、《通證經濟》、《鏈與未來》等行業權威著作,解讀區塊鏈等新型技術的推動下,金融與社會的升級之道,對經濟社會發展做出了重大貢獻。其中,《區塊鏈:重塑經濟與世界》曾作為新中國70周年重點推薦圖書之一被相關書店推薦。[2021/9/23 17:00:57]

在功能范圍穩定之前,zkSync將保持可升級狀態。但是,升級與否將由協議治理機制控制,而且需要經歷為期4周的鎖定期。

歐科云鏈集團正式啟動區塊鏈科普行動“星途計劃”:歐科云鏈集團于4月26日,正式宣布啟動了區塊鏈科普行動——“星途計劃”,行動包括將在全國范圍展開系列沙龍,加大力度推進區塊鏈科普進機關、進國企、進校園等,聯合政府部門、行業協會等共同構建起更加完善和有效的區塊鏈科普教育生態,與此同時,直擊區塊鏈科普現存痛點,推出簡單易懂的“秒懂區塊鏈”公益短視頻課。

該計劃旨在全維度推動社會建立對產業更清晰的認知,與“鯤鵬計劃”一道助力數字經濟及區塊鏈產業本身健康發展夯實“人才”和“產業認知”兩大基礎。[2021/4/26 20:59:37]

zkSync目前依賴于可信設置。我們使用的是超過?200位參與者通過多方計算儀式得出的結果。只要有一位參與者是誠實的,我們的系統就是安全的。雖然這個信任假設目前看來還不是什么大問題,但是我們依然打算將來切換至?RedShift,這樣就不再需要任何可信設置了。

動態 | 新浪財經:官媒針對區塊鏈的報道從科普宣傳轉向打假監管:據新浪財經今日消息,“1025新政”滿月,一個月間,官媒對區塊鏈的態度風向已轉。據11月初的一項統計,七家黨媒在新政一周內發布了65篇直接相關報道,當時文章中的關鍵詞是數據、產業、安全、創新等,大量文章偏向于科普區塊鏈的概念以及應用介紹,提醒警惕虛擬貨幣炒作的僅有3篇。近期,官媒的批評焦點則紛紛指向借區塊鏈之名進行的虛擬貨幣發行和炒作行為。據統計,新華網、人民網收錄轉載的,以打擊虛擬貨幣或揭露假借區塊鏈行騙為主題的文章,自10月25日到11月25日午間,共28篇;其中,11月19日至11月25日的一周內就高達15篇。這些文章主要圍繞三個觀點展開:厘清區塊鏈和虛擬貨幣的關系,說明二者概念不等;打擊偽“區塊鏈”騙局,或是虛擬貨幣騙局揭露;提醒民眾,區塊鏈不能成為炒作的噱頭,更不是行騙的招牌,需警惕此類活動,理性投資。[2019/11/26]

為了降低和的影響,我們現采取多層安全策略。

動態 | 央行官微舊文重發“再科普”:范一飛詳解數字貨幣:據中國經濟網消息,今日,央行官微公眾號頭條重新發布央行副行長范一飛在2018年1月25日題為《關于央行數字貨幣的幾點考慮》的文章,對央行數字貨幣再次進行科普。同時,微信公眾號第二條發布支付司副司長穆長春8月10日在第三屆中國金融四十人伊春論壇上的演講。近年來,各主要國家和地區央行及貨幣當局均在對發行央行數字貨幣開展研究,新加坡央行和瑞典央行等已經開始進行相關試驗,人民銀行也在組織進行積極探索和研究。[2019/8/21]

zkSync的三重安全方案

通過隔離和冗余實現的安全性

信任最小化的可升級性

zkSync安全委員會

1.通過隔離和冗余實現的安全性

由于我們的Layer1智能合約在設計上非常輕量級,我們預期這部分不會出現嚴重問題。但是,零知識證明技術部分不僅代碼更多,而且復雜性更強,因此風險會更高。

財政部副部長朱光耀:數字經濟還處在發展的過程中,要以科普、推動的態度來推進數字經濟發展:今日,在中國發展高層論壇2018年會上,財政部副部長朱光耀表示:“數字經濟還處在發展的過程中,要以科普、推動的態度來推進數字經濟發展。也要關注數字經濟的其他影響,包括稅收征管、反洗錢監管措施等要跟上。”[2018/3/25]

實際上,密碼學部分也不太可能出現問題。如果我們將智能合約漏洞比作突然爆發的海嘯,那么密碼學漏洞就就像是由連天暴雨引發的洪災:地面很快就會被淹沒,但是人們實際上都集中在摩天大樓樓頂,有足夠的時間疏散。通常情況下,新發現的漏洞只有在安全性較低的環境下才有利用價值,因為實際生產環境的安全閾值要高得多,從而導致攻擊成本倍增。以著名的?RSA破解挑戰賽為例,破解100位密碼僅花了一個月,但是破解250位密碼花了近30年。然而,在現實世界中,系統使用的都是2048位及以上的密碼。

為了在零知識證明技術部分增加額外的保護層來抵御漏洞攻擊,我們采用了雙保險措施:

隔離:只有得到授權的定序器提交的區塊才能向zkSyncLayer1智能合約提交狀態轉換。我們很快就會轉向由多名驗證者的PoS共識保護的集體定序器。

冗余:在被打包進區塊之前,提交至定序器的每筆交易都將通過簡單的執行進行驗證。

因此,即使零知識證明電路或底層密碼學技術存在漏洞,以至于做惡者可以為無效交易生成零知識證明,也不容易利用這個漏洞。

若想將無效區塊提交至rollup,攻擊者必須同時攻破密碼學和定序器/PoS共識。

為了盡早發現潛在漏洞,我們將為白帽黑客推出低安全閾值的漏洞賞金計劃。

2.信任最小化的可升級性

在zkSync協議的早期階段,可升級性有助于我們創新、快速迭代,更快修復漏洞。如果每次升級都需要用戶遷移資產,用戶體驗會很差。但是,可升級性是一把雙刃劍:它會引入額外的信任假設和風險。

我們堅信用戶不應該只依賴于開發者團隊或治理來保障安全性。因此,我們的zkRollup采用優先隊列/緊急出口機制來保護用戶免受驗證者的審查:無論驗證者的協作情況如何,你都能自由退出zkSync。但是,如果存在未被發現的可升級性后門,就涼涼了。

為了幫助zkSync2.0實現良好的平衡:

初期,升級可以通過?zkSync治理機制發起,在部署之前需要經歷4周的鎖定期。即使治理機制遭到極大程度上的破壞,鎖定期也可以讓用戶有足夠的時間通過優先隊列/緊急出口機制退出。

協議經過充分檢驗后就會固定下來,并要求用戶選擇新的版本。

3.zkSync安理會

我們最后還要考慮的一種情況是,從理論上來說,某些交易可能會導致zkEVM內部出現故障。如果這類交易被提交至優先隊列,且無法得到處理,系統就會停止運行并進入緊急模式。即使我們通過升級來修復這個問題,至少也要等到4周的鎖定期結束。也就是說,zkSync內的所有資金都要被凍結4周乃至以上。

為了避免這種情況,以太坊社區內15位備受尊敬的成員將在緊急情況發生時介入。zkSync安理會由以下成員組成:

Aave

ItamarLesuisse?(Argent)

MikeMcDonald?(Balancer)

JamesPrestwich?(cLabs)

MichaelEgorov?(Curve)

JackBaumruk?(Dekrypt)

HaseebQureshi?(Dragonfly)

JustinDrake?(EthereumFoundation)

StefanGeorge?(Gnosis)

BaekKim?(Hashed)

ChrisBurniske?(Placeholder)

NickGrossman?(USV)

WillHarborne?(ZKValidator)

SergejKunz?(1inch)

LasseClausen?(1kx)

如果出現無法通過正常升級流程解決的問題,安理會將發揮作用。安理會的權力僅限于縮短4周的鎖定期,但它不屬于zkSync治理的一部分,無法繞過治理機制發起升級。

在GnosisSafe多簽機制的幫助下,zkSync安理會將遵守以下規則:

8/15簽名可以將鎖定期縮短至2周。

10/15簽名可以將鎖定期縮短至1周。

12/15簽名可以將鎖定期縮短至3天。

為了防止最壞的情況發生,任何升級都有一個最低鎖定期。安理會只是為了讓人們相信零知識證明安全性的臨時措施。等到我們切換至純選擇性升級機制后,就不再需要安理會了。

結語

我們始終將用戶資金的安全性放在首位。當MatterLabs于3年前成立時,我們就選擇只聚焦于zkRollup——唯一具備與Layer1相同安全屬性的Layer2可擴展性技術。我們希望通過用戶教育、信息透明和三重安全方案,讓用戶可以放心與zkSync交互。

如果您有任何關于資產安全性的問題,請加入我們在?Discord、Telegram?和?Twitter上的討論。

Tags:區塊鏈KSYzkSyncSYN區塊鏈幣是什么幣zksync幣圖標zksync幣imtokenSynth sFTSE

歐易交易所app下載
IME:iMe 與 Litentry 合作,推動 DID 在社交媒體中運用_LIME

鏈聞消息,鏈上身份聚合協議Litentry將與消息傳遞智能平臺iMe達成合作,推動DID在社交媒體中運用。Litentry將把iMe錢包用戶的鏈上數據整合到其身份聚合協議中.

1900/1/1 0:00:00
KEX:歐易OKEx上線Casper Network (CSPR)的公告_CSP

尊敬的歐易OKEx用戶:歐易OKEx上線CasperNetwork(CSPR),具體時間如下:1.CSPR充值:5月11日18:002.CSPR/USDT的市場交易:5月11日19:003.CS.

1900/1/1 0:00:00
Gate.io:Gate.io 關于升級Mina充值方式的公告_gate.io安卓下載app官網

Gate.io在Mina上線初期,為節省用戶成本,為用戶提供充值地址Memo的方式接受用戶充值.

1900/1/1 0:00:00
比特幣:從黃金的演變看 BTC 的雙重應用曲線_CBD

作者:MichaelLevin,翻譯:harris比特幣是過去十年中最迷人的創新之一。對于批評者來說,比特幣的是一種令人困惑的產物.

1900/1/1 0:00:00
Swarm:揭秘Swarm:世界計算機的硬盤_WARE

構建自主數字社會——源自天才的設想以太坊天才創始人V神曾玩笑道:“以太坊是三位一體的。”他所說的三位一體,自然不是我們所熟知的宗教學意義上的三位一體,而是指組成計算機的三個部分——“處理”、“通.

1900/1/1 0:00:00
ETH:牛市還能繼續嗎?盤整期巨鯨、散戶、機構、長期持有者都在如何操作_OIN

自4月中旬開始,BTC帶領加密貨幣市場開啟了高位調整行情。根據CoinMarketCap的數據.

1900/1/1 0:00:00
ads