David Dill

David Dill简介

David Dill 是 Facebook 区块链项目的首席研究分析师，在斯坦福大学从教相当长时间， 曾在 nCent Labs 担任合伙人。

他的研究主要集中在形式化验证、计算生物学等。在形式化验证方向，研究了许多不同的方法和应用，并在自动机理论、基于 BDD 的模型检查、显式状态模型检查、CPU 验证方法、无量词逻辑的决策过程中为该领域做出了许多贡献。 他还完成了异步电路验证和综合以及硬实时系统验证方法的研究。

【动态 | Telegram回应SEC：gram不是证券】Telegram周三向美国证券交易委员会（SEC）作出回应，称SEC上周的紧急禁令是毫无根据的。Telegram要求联邦法院否决SEC执行传票的动议。此外，Telegram辩称其即将推出的gram代币不是证券，并且SEC不应强迫该公司出示有关其区块链项目的文件或证人。Telegram声称，SEC的紧急行动“与长期以来最高法院的判例，以及SEC对其他加密货币的看法以及常识背道而驰。”该文件解释说，Telegram并没有通过ICO“向公众提供任何证券”。据此前消息，SEC于10月11日采取紧急行动，以防止Telegram分发其gram代币，并称Telegram通过出售未注册的证券违反了联邦法律。（coindesk）。

【LBank将于4月8日16:00上线GLEEC】据悉，LBank将于4月8日16:00（UTC+8）上线GLEEC（格力币），开放GLEEC/BTC交易对，并于4月7日16:00开启充值，于4月9日16:00开启提现。 为庆祝GLEEC上线，LBank联合GLEEC于4月8日16:00开启“持LBK得空投和交易大赛”双重福利活动，总奖励共40,000GLEEC。活动截止4月13日16:00，为期5天。更多详情请关注LBank官网公告。

【火币尖峰对话Sili：ETH2.0为行业带来了更多应用场景的可能预期】6月24日下午，在由火币主办的火币尖峰对话“Waiting For ETH2.0”系列AMA活动中，火币矿池与dForce创始人杨民道、Infstones Head of Bussiness Sili、Stafi&Wetez创始人卡咩、真本聪联合创始人索老头就“乘风破浪的以太坊DeFi ”展开主题讨论，深度解读ETH2.0将给行业带来的重大影响。 Infstones Head of Bussiness Sili认为，过去几年区块链的发展赋予了DeFi更高的成熟度和一定的多元化，同时也让参与DeFi难度显著降低，这意味着市场规模的进一步扩大。他同时强调，ETH 2.0相比较目前的ETH更具性能优势，这使得上线一些传统金融领域产品成为可能，为行业带来了更多应用场景的预期。

【公告 | OKEx已上线LTCUSDT与BCHUSDT永续合约】据官网公告，OKEx USDT保证金永续合约板块已于香港时间12月27日17:00上线LTCUSDT与BCHUSDT合约交易。

【动态 | 瞄财网发起牛顿节点并当选】据官方消息，牛顿合作伙伴瞄财网发起牛顿节点并当选，标志着有实际业务和利润的公司基于牛顿建立数字经济的新商业范式。 瞄财网成立于2014年，是基于互联网技术面向企业、机构、个人等用户的财税综合服务平台，瞄财网与牛顿在区块链发票方面展开合作，并运用N'org赋能，使股权与牛顿生态结合。

【Crypto.com恢复欧洲和英国的MCO Visa卡运营服务】Crypto.com宣布恢复其在欧洲和英国的MCO Visa卡运营服务。据此前报道，6月26日，英国金融行为监管局（FCA）发布通知要求Wirecard子公司Wirecard Card Solutions （WCS）不得处置任何资产或资金、不得进行任何受监管的活动。29日，FCA允许WCS恢复发行电子货币（e-money）和提供支付服务，其他服务仍受限制。据悉，WCS曾负责发行Crypto.com旗下MCO Visa以及TenX的Visa借记卡。

标签：David Dill

官方信息

• 

  Facebook

• 

  微博

• 

  YouTube

• 

  微博

• 

  Twitter