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