這個VM中某些操作碼的功能和用意很容易理解,但也有一些不太好理解,以下是一些特殊的原因:ADDMOD,MULMOD:大多數情況下,mulmod(a,b,c)=a*b%c,但在橢圓曲線算法中,使用的是32字節模數運算,直接執行a*b%c實際上是在執行((a*b)%2^256)%c,會得到完全不同的結果。在32字節的空間中執行32字節數值的a*b%c計算的共識非常困難且繁瑣。SIGNEXTEND:SIGNEXTEND操作碼的作用是為了方便從大的有符號整數到小的有符號整數的類型轉換。小的有符號整數是很有用的,因為未來的即時編譯虛擬機也許有能力檢測主要處理32字節整數又長時間運行的代碼塊,小的有符號整數能加快處理。SHA3:在以太坊代碼中,SHA3作為安全的、高強度的、不定長數據哈希映射方法,應用非常廣泛。通常,在使用存儲器時,需要使用Hash函數來防止惡意沖突,在驗證默克爾樹和類似的以太坊數據結構時也需要使用到Hash函數。重要的是,與SHA3的相似的哈希函數,如SHA256、ECRECVOR、RIPEM160,不是以操作碼的形式包含在里面,而是以偽合約的形式。這樣做的目的是將它們放在一個單獨的類別中,如果當我們以后提出適當的“原生插件”系統時,可以添加更多這樣的合約,而不需要擴展操作碼。ORIGIN:ORIGIN操作碼由交易的發送者提供,主要的作用是允許合約退回支付的gas。COINBASE:COINBASE的主要作用是:1)允許子貨幣對網絡安全作出貢獻;2)使礦工能夠作為一個去中心化的經濟體,來設置基于子共識的應用,如Schellingcoin。PREVHASH:PREVHASH可用作一個半安全的隨機來源。此外,允許合約求值上一個區塊的默克爾樹狀態證明,而不需要高度復雜的“以太坊輕客戶端”遞歸結構。EXTCODESIZE,EXTCODECOPY:主要的作用是讓合約依據模板檢查其他合約的代碼,甚至是在與其他合約交互前,模擬它們。見:https://lesswrong.com/lw/aq9/decision_theories_a_less_wrong_primer/JUMPDEST:當跳轉目的地限制在幾個索引時,JIT虛擬機實現起來更簡單。于是,我們需要:1)對有效變量跳轉目的地做限制;2)激勵使用靜態而不是動態跳轉。為了達到這兩個目標,我們定下了以下規則:1)緊接著push后的跳轉可以跳到任何地方,而不僅是另一個jump;2)其他的jump只能跳轉到JUMPDEST。對跳轉的限制是必須的,這樣就可通過查看代碼中的前一個操作來確定當前是一個靜態跳轉還是動態跳轉。缺乏對靜態跳轉的需求是激勵使用它們的原因。禁止跳轉進入push數據也會加快JIT虛擬機的編譯和執行。LOG:LOG是事件的日志。CALLCODE:該操作碼允許合約使用自己的存儲項,在單獨的棧空間和memory中調用其他合約的“函數”。這樣可以在區塊鏈上靈活實現標準庫代碼。SELFDESTRUCT:允許合約刪除它自己,前提是它已經不需要存在了。SELFDESTRUCT并非立即執行,而是在交易執行完之后執行。這是因為如果允許SELFDESTRUCT在執行之后回滾,將會極大地提高緩存的復雜度,不利于高效的VM實現。PC:盡管理論上不需要PC操作碼,因為所有PC操作碼的實例都可以根據將push操作的索引加入實際程序計數器來代替實現,但使用PC可以創建獨立代碼的位置。原地址:https://eth.wiki/en/fundamentals/design-rationale作者:Vitalik翻譯&校對:kim&阿劍
V神:Rollups不需要服務器托管,不放棄分片:有網友提問Rollups是不是會消耗對抗監管的力量,如果CFTC拔出Rollups的服務器插座可以關閉DeFi程序,那么功能就不那么強大了。V神表示Rollups不需要服務器托管,上面那種問題只是一個臨時限制。此外,V神還表示,我們沒有放棄分片。[2020/10/2]
V神:以太坊2.0階段0將在今年啟動 PoS終將成為現實:以太坊聯合創始人V神在接受Block TV播客采訪時稱,以太坊 2.0 階段 0 將在今年夏天啟動,這是令我們非常興奮的事情,權益證明 (PoS) 終于要成為現實了。V神表示,他期望ZK-rollups和Looprings在改進其證明 (proof) 的效率方面取得巨大進步。“我預計這兩項技術在未來一年左右的時間里會產生巨大的影響。”許多人將ZK-Rollups視為新的以太坊2.0鏈的隱私和可擴展性解決方案之一。事實上,以太坊2.0研究人員Danny Ryan最近解釋稱ZK-Rollups比以前的結構簡單得多,也消除了一些核心障礙問題。另外,在最近Reddit上舉辦的AMA活動上,V神指出,在無狀態客戶端中,可擴展性將得到了改善,因為下載見證 (witnesses)比訪問磁盤更便宜,而且可以更快地進行區塊驗證。Danny Ryan也贊同這一點,他表示,以太坊2.0階段0一定會在2020年啟動的。(AMBCrypto)[2020/3/6]
聲音 | V神評價MimbleWimble:只有零知識證明 ZK-SNARKs 等全局匿名集,才能真正保證隱私安全:針對 Dragonfly Capital 的分析師 Ivan Bogatyy 發布的關于闡述 MimbleWimble 協議有重大缺陷、Grin 網絡 96% 的交易可被破譯的文章。
以太坊創始人Vitalik在推特回應稱:如果隱私模型設置了一個中等的匿名集,那么它實際上設置了一個小范圍的匿名集。如果隱私模型的匿名集較小,則其匿名集為 1。只有全局匿名集(例如,使用 ZK-SNARKs 技術進行的加密)才真正具有安全性。[2019/11/19]
本文來自AscendEX研究院,星球日報經授權轉載。邁入互聯網大數據時代,用戶在享受數字化帶來便利的同時也面臨著數據隱私的保護問題.
1900/1/1 0:00:00作者:凱爾;編輯:文刀 被稱為「散戶大本營」的美國互聯網券商 Robinhood 已于7月1日遞交了IPO申請,如若獲批,它將以「HOOD」的股票代碼登陸納斯達克.
1900/1/1 0:00:00來源:《區塊鏈日報》;作者:張洋洋今年3月,佳士得拍賣行以近7000萬美元的天價拍出藝術家Beeple的數字作品,讓整個NFT快速出圈.
1900/1/1 0:00:00作者:WilliamM.Peaster翻譯&編者按:MintVentures許瀟鵬原標題:Howtobuildyouron-chainresume關于#好文精讀好文精讀是MintVent.
1900/1/1 0:00:00最近幾個月,加密市場最大的風口莫過于GameFi。領跑者是一款名為AxieInfinity的區塊鏈游戲.
1900/1/1 0:00:00吳說作者|ColinWu本期編輯|ColinWu全球最大的專業衍生品交易所ByBit面臨嚴厲監管,這家以保守著稱的公司,選擇激進地全面入局DeFi.
1900/1/1 0:00:00