Runtime Verification 总裁兼首席执行官。
Grigore Rosu 是伊利诺伊大学厄本那香槟分校的教授，以及 Runtime Verification 总裁兼首席执行官。他是编程语言、形式化验证、软件工程领域的研究员、教育家和企业家，主要目标是设计和开发有助于改善计算系统质量、性能、有效性的技术。
【声音 | 法国执业律师：中央银行数字货币亟需法律护航】12月31日，法制日报刊发法国执业律师题为《中央银行数字货币亟需法律护航》的文章。文章表示，CBDC恐怕不能被视为法定货币。比如，即便一国的CBDC被赋予法定货币的3个功能，即交易媒介、计账单位以及价值存储，其并不必然具备纸币及硬币可被匿名使用的特性。显而易见，出于反合规之需要，完全匿名化地使用零售型CBDC恐将难以实现。不难想象，由于各国对CBDC的研发仍多处在早期阶段，目前对CBDC进行法律定性言之过早，但这一问题日后势必需要解决。试想，将来如果有人伪造一国的CBDC，如果其法律地位并不明确，相关责任人将被如何定罪?比如，是伪造货币罪，还是需要另行设立一种专有的伪造罪?而为了确保CBDC的法律安全性，法国等国家未来是否会赋予CBDC(至少是零售型CBDC)法定货币的地位，还值得观察。
【Genesis Mining CEO：利用可再生能源的挖矿业务或是2020年的赢家模式】在最近一期的“Untold Stories”播客中，Genesis Mining首席执行官Marco Streng谈及大规模挖矿及其对环境的影响和能源消耗等问题。Streng称，比特币是建立在PoW基础上的，它需要大量的电力。这反过来又迫使许多矿池在电力便宜、能源较多且监管相对宽松的地区建立业务。Streng指出，认为比特币挖矿是最大环境灾难的观点并不完全正确。因为不仅要看到消极的一面，也要看到积极的一面：“这包括大规模挖矿活动在这些地区的经济增长中起着至关重要的推动作用。对于加密挖矿业务来说，最基本的标准是廉价电力的可获得性，这往往导致矿场被设置在全球那些‘文明’发展程度相对较低的偏远地区。”此外，Streng认为，如果我们能在创新方面取得进展，并把重点放在对可再生能源的依赖上，那么地球上就有足够的资源来生产所需数量的电力。（AMBCrypto）。
【在美上市区块链中概股普遍收跌】今日美股收盘，在美上市区块链中概股普遍收跌。嘉楠科技收涨7.12%，人人网收跌3.77%，中网载线收跌3.28%，寺库收涨4.58%，迅雷收跌12.37%，猎豹移动收跌10.28%，兰亭集势收跌10.87%。
【动态 | 四家媒体机构加入JICWEBS的区块链数字广告试点项目】Mindshare、Zenith、OMG、Havas等四家媒体机构已经加入了JICWEBS的新试点项目，该项目正在评估如何利用区块链技术永久解决数字广告中的信任、透明度和低效率问题。（Mediatel）。
【福布斯专栏作家：区块链与小额信贷合作有望实现金融民主化】福布斯专栏作家Sean Stein Smith今日刊文称，通过与小额信贷领域的组织和个人合作，区块链应用可以实现使获取金融资源的途径民主化的承诺。
【OKEx将于7月28日19:30开放ERC20的ETM提币】据官网公告，由于En-Tan-Mo (ETM) 主网切换延期，OKEx将于7月28日19:30开放ERC20的ETM提币。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。