10月17日，星期三 09:15
火讯财经讯，10月17日，猎豹移动区块链安全中心首席科学家、白帽安全专家杨文玉在接受火讯琅琊榜第四期访谈时表示，形式化验证很早就被提出来了，之前一直用在航空航天、金融软件等对安全性要求极高的环境中进行严格的逻辑校验。区块链中如果发生了安全问题，可能直接涉及到大量的资金安全，安全要求比传统的系统、软件高很多，并且目前智能合约的逻辑还比较简单，不复杂，所以形式化验证技术便被引入了进来。形式化验证技术可以帮助审计员全面地发现问题，人工审计确实可能存在一些偏差。相互结合可以减少一部分的漏报。另外当前智能合约每天都在按千增加，人工没法一个个地审计，所以形式化验证自动技术还是能够帮助我们大方面地了解当前合约的安全整体状态。（责任编辑：席恒）
0
火讯财经讯，1月11日消息，据TheBlock报道，联邦存款保险公司FDIC副主席TravisHill表示，希望联邦机构对加密技术采取更“开放的态度”，并呼吁对数字资产提供更多指导。Hill还提到了“OperationChokePoint”，并呼吁结束此类做法。并重新评估《银行保密法》的实施方式，以减少银行因合规不足面临高额罚款而关闭账户的现象。
7 分钟前
火讯财经讯，1月10日消息，SatoshiActionFund（SAF）联合创始人兼CEO Dennis Porter在X平台发文表示，新罕布什尔州州议员KeithAmmon提交了一项法案，提议建立“战略储备”，允许州财政部投资于贵金属（如黄金、白银、铂金）以及数字资产（包括比特币）。 该法案将引入新的规定，明确“合格托管人”和“安全托管解决方案”的定义，以确保数字资产的安全保管，并通过经监管批准的交易产品进行操作。
8 小时前
火讯财经讯，1月10日消息，SamAltman支持的数字身份项目World（前称Worldcoin）已验证用户数突破1000万，WorldApp下载量超2000万，已覆盖160多个国家。
8 小时前
火讯财经讯，1月10日消息，据金十报道，特朗普称将对纽约封口费案判决提出上诉。
8 小时前
火讯财经讯，1月10日消息，据金十，美国银行全球研究称：我们认为降息周期已经结束；我们的基本假设是美联储将维持较长时间的利率不变；但我们认为下一步行动的风险倾向于加息。 花旗：预计下一次美联储将于五月降息，此前预期为一月。
8 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
