Mario M. Alvarez 是 ConsenSys 研究分析师、加州大学圣地亚哥分校的计算机科学博士候选人。他于 2014 年秋季开始了博士课程，论文顾问是 Ranjit Jhala。他自 2017 年以来，一直在 ConsenSys 工作，担任正式的验证研究员。他的研究兴趣集中在软件验证上，主要使用交互式定理证明，如 Isabelle 和 Coq 等。
OrBit Markets在新期权DEX Aevo上执行交易:金色财经报道，数字资产期权提供商OrBit Markets已经在Ribbon Finance运营的新推出的DEX Aevo OTC上执行了其首批交易。其中一笔交易是与专注于DeFi的对冲基金Re7进行的流行替代代币Aptos的期权。[2023/5/16 15:05:09]
FilDA 发起跨链 Elastos Smart Chain 网络提案:据官方消息，FilDA 发起跨链 Elastos Smart Chain 网络提案，将由社区成员投票决定是否开启该链的跨链服务。据悉，若投票通过，FilDA 计划启动初期将围绕 ELA、BTC、ETH、HUSD 等资产提供借贷服务。
FilDA 是多链部署的 DeFi 借贷项目，以为用户提供优质的借贷产品和服务为宗旨，存借款总额高峰值突破21亿美元。Elastos Smart Chain 是一个完全兼容的 EVM 链，支持执行用 Solidity 编写的智能合约。并通过利用 DPoS 共识，Elastos Smart Chain 提供了高性能、可扩展的智能合约执行解决方案。[2022/3/7 13:42:42]
亿万富翁Mark Cuban：期货合约对比特币而言是“利好的”:亿万富翁风险投资家马克?库班（Mark Cuban）表示，这些主要交易所的比特币期货交易可能会对比特币产生积极的影响。他说：“我认为这对于比特币而言是正面利好的消息，他们所收取的费用是至关重要的。比特币的交易成本相对较高，如果这一次降低了交易成本，对比特币市场将是有利的。”[2017/12/6]
撰文/王大伟 本文选自《知识就是力量》杂志从中国耳熟能详的儿歌“小老鼠,上灯台,偷油吃,下不来.
1900/1/1 0:00:00Orion云平台公告亲爱的NBAI社区成员：Orion云平台生产环境已经部署完毕,即将于2018年11月16日开始公测.
1900/1/1 0:00:00前言：区块链和去中心化网络能否对人类机构的运作带来重塑？如果能,在多大程度上可以？本文作者提出区块链虽然会持续重塑人类的组织,但它也存在一些社会层面的问题有待解决.
1900/1/1 0:00:00ParityTech核心开发者WeiTang称,以太坊的PoW升级计划已被推迟。Tang表示：“我们需要到9月6日才能完成实施.
1900/1/1 0:00:009月3日,金色讲堂特邀bibox投融及二级业务负责人Marco,通过线上微信群公开课的形式,分享了数字资管与量化交易的相关话题。关于分享嘉宾：Marco,原金融公关行业从业者,副业小矿工.
1900/1/1 0:00:00ShawnTabrizi,Parity核心开发者当ShawnTabrizi还在微软任职时,他每天都迫切回家去写以太坊智能合约.
1900/1/1 0:00:00尊敬的用户：CEO全球站致力于为全球用户提供最优质的综合性区块链资产交易服务,支持所有优质的区块链项目发展.
1900/1/1 0:00:00Hotbit不为任何区块链资产做信用背书,所有相关介绍均来自第三方并有可能存在错误与遗漏。区块链资产投资是高风险行为,您必须自行承担价格有可能归零的风险,请根据您自身能力谨慎投资.
1900/1/1 0:00:00尊敬的用户：Hotbit即将上线MARS(MARSContextNetwork)项目,并开放MARS/BTC交易对.
1900/1/1 0:00:00
月亮链
