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

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

  • Resize,w 360,h 240
    区块链金融将推动实现共产主义

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