240 发简信
IP属地:加州
  • 智能合约安全之形式化验证研究报告

    随着平台级应用的普遍化,智能合约涉及的金额呈指数级别增长,智能合约的安全问题也成为投资者和开发者共同关注的焦点。今年以来有数个基于ERC-20的ICO项目因为智能合约代码出现...

  • 120
    区块链金融将推动实现共产主义

    一度以来,马克思的共产主义理论已经被众人嘲笑、讥讽、遗忘。美国学界的主流态度是:1. 人性自私,所以公有制不可能。2. 中心化的决策机制不如分散化的市场机制有效。然而,随着区...