网址:https://profiles.stanford.edu/david-dill
Facebook 区块链项目的首席研究分析师。
David Dill 是 Facebook 区块链项目的首席研究分析师,在斯坦福大学从教相当长时间, 曾在 nCent Labs 担任合伙人。
他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向,研究了许多不同的方法和应用,并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。
【浪潮集团副总裁:区块链在使用数据安全防范方面发挥了重要作用】浪潮集团副总裁、智慧城市事业部总经理姜振华表示,在数据安全方面,浪潮通过创新的引入“数据铁笼(IDS)”来实现数据使用过程中的“可用不可见”。该技术是利用虚拟化技术实现数据处理过程封闭隔离,通过内存计算实现数据用后即焚,计算结果定向到指定位置,处理过程中区块链能够全程锁定,并实现可追溯。使用数据过程中的安全防范就至关重要,在这方面区块链的认证、授权和调用留痕等技术发挥了重要作用。(中国经营报)。
【1inch 发起申请:通过1inch代理到Uniswap交易的用户也应获得 UNI 空投】今日,1inch聚合交易所发推表示,已经向 Uniswap 治理论坛提交空投申请。1inch聚合交易所认为,1inch 社区用户已经为 Uniswap 提供了11亿美元的成交量,那些通过 1inch 代理到 Uniswap 交易的用户,也应获得UNI空投。
【声音 | 京东数科CEO陈生强:京东将为雄安新区建设块数据平台】11月19日,在2019京东全球科技探索者大会上,京东数字科技集团CEO陈生强在会上透露,京东数科已将智能城市操作系统落地雄安新区,成为新区开放式智能城市大数据平台——块数据平台的建设者。 据介绍,块数据平台将扮演新区的数据汇聚中心、数据管理中心、数据服务中心和AI赋能中心的角色,承担着汇聚新区全域数据、统筹新区数据管理、实现新区数据融合应用的重要使命,成为新区打造数字孪生城市的数据基底。 未来,雄安投资建设的所有数字化、智能化系统都将直接生长在这个基底之上,各个应用场景的数据不需要再汇聚,也不需要再打通,因为从一出生它们就已经生长在一起。
【动态 | 北京证监局发布进一步防范“虚拟货币”交易活动的风险提示】北京证监局发布关于进一步防范“虚拟货币”交易活动的风险提示”称,近期,伴随着区块链技术宣传推广,虚拟货币交易活动在境内有死灰复燃迹象,部分虚拟货币交易平台面向境内居民提供虚拟货币交易服务,通过数字货币抵押推出零息借贷、双币理财等项目,严重违反人民银行等七部委发布的《关于防范代币发行融资风险的公告》,涉嫌从事非法金融活动,扰乱经济金融秩序。 辖内各金融管理部门、网络电信管理部门、部门对虚拟货币交易、ICO及变相ICO持续保持监管高压,综合运用现场约谈、行政调查、封停网站、刑事立案等手段予以打击。 在此,我们严重警告开展相关活动的在京机构及人员,不得宣传推广有关虚拟货币项目或平台,不得开展虚拟货币业务销售或交易,不得向投资者开展虚拟货币交易或变相交易业务,不得从事或代理从事境内外虚拟货币发行交易活动,辖内各金融机构和非银行支付机构不得为任何虚拟货币交易买卖提供服务。 同时,提醒广大投资者,应保持理性,强化风险防范意识和识别能力,谨防上当受,及时举报相关违法违规线索。(中国证监会)。
【至少五家大型银行欲参与俄罗斯数字卢布试点项目】10月16日消息,至少有五家俄罗斯银行有意参与俄罗斯2021年上半年非公开的数字卢布试点项目。五家银行分别是由国家支持的Promsvyazbank银行、莫斯科信贷银行、商业银行Zenit、抵押银行Dom,以及克里米亚俄罗斯国家商业银行。此外,俄罗斯央行正考虑在数字卢布公开使用后,用其发放工资和福利。俄罗斯银行表示,用户将能够通过“模拟银行卡”的方式存储和转账即将到来的数字货币。此前10月13日消息,俄罗斯央行表示,正在研究发行数字卢布的可能性。(Cointelegraph)。
【世行张志军:数字人民币可不与银行帐号挂钩 保护使用者隐私】世界银行首席安全架构师张志军接受采访时表示,数字人民币可以带来两个新的功能:一个是不与银行账号挂钩,从而实现在小额支付情况下的隐私保护;另一个是可编程货币。当数字人民币能够实现离线支付的时候,那么像在飞机上的支付操作这种比较特殊的场景可能成为数字人民币应用场景的亮点。(新京报)。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。