10月17日，星期三 09:15
火讯财经讯，10月17日，猎豹移动区块链安全中心首席科学家、白帽安全专家杨文玉在接受火讯琅琊榜第四期访谈时表示，形式化验证很早就被提出来了，之前一直用在航空航天、金融软件等对安全性要求极高的环境中进行严格的逻辑校验。区块链中如果发生了安全问题，可能直接涉及到大量的资金安全，安全要求比传统的系统、软件高很多，并且目前智能合约的逻辑还比较简单，不复杂，所以形式化验证技术便被引入了进来。形式化验证技术可以帮助审计员全面地发现问题，人工审计确实可能存在一些偏差。相互结合可以减少一部分的漏报。另外当前智能合约每天都在按千增加，人工没法一个个地审计，所以形式化验证自动技术还是能够帮助我们大方面地了解当前合约的安全整体状态。（责任编辑：席恒）
0
火讯财经讯，11月8日消息，欧易OKX行情显示，BTC刚刚突破76000美元，现报76056.70美元/枚，日内涨幅2.36%。
2 小时前
火讯财经讯，11月7日消息，据TheBlock报道，曾帮助协调发布以太坊的技术专家VinayGupta表示，他正寻求向当选总统唐纳德·特朗普的过渡团队推行理智的加密政策。此外，受到特朗普在选举日取得压倒性胜利的部分启发，Gupta正考虑将自己和他在英国的区块链公司Mattereum的团队迁往美国。他补充道：“我们计划很快将人员（包括我）调往华盛顿特区，以帮助美国的加密货币转型。”VinayGupta说，他的计划的一部分包括复制他在英国帮助制定的一些政策，包括最近提出的议会法案，该法案试图将加密资产正式定义为财产，以及成功推动该国将智能合约承认为“实际合约”。
2 小时前
火讯财经讯，11月7日消息，Coinbase国际站在X平台发文宣布，Coinbase国际站和CoinbaseAdvanced将新增对Raydium永续期货合约的支持，RAY-PERP市场预计将于北京时间2024年11月14日17:30或之后开放。
2 小时前
火讯财经讯，11月7日消息，Greeks.live宏观研究员Adam在X平台发文称，大选行情迅速降温，尽管比特币和以太坊涨势都很强势，加密市场情绪乐观，但是期权市场正在明显的获利平仓，结束大选博弈。BTC末日期权已经跌破50%，各主要期限IV也有明显下降，ETH得益于今天的大涨，回落幅度低于BTC。 大户已经开始布局年底行情甚至是明年的春季行情，今天BTC大宗交易成交12亿，ETH大宗交易成交6亿，都是以卖权为主，这也是今天IV大降的主要动力，近几天的大宗交易值得关注，巨鲸们开始行动了。
2 小时前
火讯财经讯，11月7日消息，Coinglass数据显示，过去24小时加密货币市场全网合约爆仓3.16亿美元，其中多单爆仓1.09亿美元，空单爆仓2.07亿美元。BTC爆仓总金额1.09亿美元，ETH爆仓总金额5715.41万美元。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
