發(fā)簡信
IP屬地：加州
-
智能合約安全之形式化驗證研究報告
隨著平臺級應(yīng)用的普遍化，智能合約涉及的金額呈指數(shù)級別增長，智能合約的安全問題也成為投資者和開發(fā)者共同關(guān)注的焦點。今年以來有數(shù)個基于ERC-20的...
-
區(qū)塊鏈金融將推動實現(xiàn)共產(chǎn)主義一度以來，馬克思的共產(chǎn)主義理論已經(jīng)被眾人嘲笑、譏諷、遺忘。美國學(xué)界的主流態(tài)度是：1. 人性自私，所以公有制不可能。2. 中心化的決策機制不如分散...