Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar

[Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar]4月6日消息,网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar,这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。

Trailof Bits称,虽然是一个原型,但Solar代表了一种新型的、优先考虑交互性的分析平台,其潜在应用包括代码审计和类似于IDE的语义检查。注:TrailofBits是一家网络安全研究和咨询公司,专门解决加密、虚拟化、恶意软件和软件利用方面的问题,为开发及安全团队提供审核和咨询。

Fundstrat研究主管:仍然看好比特币,该资产可以作为某些投资者的投资工具:金色财经报道,Fundstrat研究主管Tom Lee在最近的一次采访中表示,仍然看好比特币,并认为该资产可以作为某些投资者的合适投资工具。2022 年对于加密货币来说确实是糟糕的一年,用“糟糕”来形容是相当轻描淡写的。从年初因宏观经济事件导致的下跌到 Terra 的内爆,除了消灭两个排名前 10 的加密货币外,还引发了多米诺骨牌效应,最终摧毁了无数行业参与者。

11 月,当前巨头之一FTX及其关联公司——崩溃时,情况又变得更糟了。现在有传言质疑数字货币集团及其子公司的状况,其中两家是陷入困境的加密货币贷款机构 Genesis 和 Grayscale,其最大的基金以大幅折扣交易,隧道尽头的曙光似乎并没有来。

然而,Fundstrat 的 Tom Lee认为明年应该比今年更好。因此,他的公司对整个行业的整体长期前景保持乐观。因此,他不相信“加密货币已死”的说法,并继续建议某些寻求平衡投资组合的投资者将资金分配给比特币[2022/11/28 21:05:55]

MicroStrategy比特币会计入账方式遭SEC驳回股价暴跌近18%:1月22日消息,MicroStrategy公司周五(21日)股价暴跌近18%,除了比特币价格暴跌以外,另一利空是该公司的比特币会计策略遭美国证券交易委员会(SEC)驳回。MicroStrategy在2020年表示,购买与持有比特币是关键的商业策略之一,并在截至9月30日的季报(10-Q)中采用非一般公认会计原则(Non-GAAP)计算其收入,即不计入比特币波动损失。然而这项措施却遭SEC否决,周四的一份文件显示,SEC驳回MicroStrategy以Non-GAAP方式减记比特币费用,并要求在未来的文件中删除这种调整方法,MicroStrategy已表示将遵循。(雅虎财经)[2022/1/22 9:06:15]

汇丰银行证实出于对比特币的担忧,禁止客户购买MicroStrategy股票:投资银行巨头汇丰银行(HSBC)证实,出于对比特币的担忧,其已禁止HSBC InvestDirect的客户购买MicroStrategy的股票。汇丰发言人表示:“汇丰对虚拟货币直接投资敞口没有兴趣,对促进从虚拟货币获得价值的产品或证券的兴趣也很有限。”该发言人还称,这些限制不是最新推行的,而是自2018年以来就一直在实施。目前尚不清楚汇丰是限制其全球所有客户购买MicroStrategy股票,还是只限制特定国家的客户购买。该发言人称,此前披露的相关邮件是发给加拿大客户的。

此前消息,汇丰客户据称不再可以在其在线交易平台HSBC InvestDirect(HIDC)上购买MicroStrategy股票(MSTR)。同时,汇丰已指示已经拥有MicroStrategy股票的用户不要购买额外的股票。将MSTR列入黑名单只是汇丰银行最近反加密行动中的最新动作,但是在HIDC交易目录中仍列出进行比特币大量投资的其他公司,例如Tesla、Hut 8 Mining和Square。(The Block)[2021/4/13 20:14:30]

郑重声明: Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

  • Gate.io“天天理财” 第178期USDT锁仓理财明日开启

    [2021-4-6 19:51:12]据官方公告,Gate.io 将于4月7日(明日)12:00上线第178期 USDT锁仓理财,总额度 5,000,000 USDT,锁仓期限7天。 Gate.io 已完成 BitTorrent (BTT)兑换和...

  • 英国检察官预计加密局会增加,但目前数量仍然很低

    [2021-4-5 19:46:55]根据《金融时报》的报道,英国王室检察署(CPS)预计在未来几年中,比特币(BTC)和与加密货币相关的局数量将会增加,但该机构承认目前暂时还很少见。 伦敦市的统计数据显示,2019年至2020年期间,英...

  • 黑客归还Force DAO资金,FORCE代币1小时上涨1000.4%

    [2021-4-4 19:45:02]神鱼表示,Force DAO黑客还钱,并声称自己是白帽子(因为他用的ens的地址qihan.eth做的案)。 CoinGecko行情显示,FORCE代币1小时上涨1000.4%。 PeckShiel...

  • Sound Ventures斥资百万美元举行NFT竞赛活动

    [2021-4-6 19:48:45]风险投资基金Sound Ventures将于4月30日举行NFT竞赛ThePitch活动,将提供超100万美元奖金,以支持NFT中最具创新性的想法,申请截至日期为4月12日。评审团包括SoundVentures联合创...

  • DOT突破45美元关口 日内涨幅为0.71%

    [2021-4-6 19:48:33]火币全球站数据显示,DOT短线上涨,突破45美元关口,现报45.01美元,日内涨幅达到0.71%,行情波动较大,请做好风险控制。 Bitgreen获得500万美元的众筹资金,推出Polkadot气候投资平台:...

  • Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar

    [2021-4-6 19:51:22]4月6日消息,网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar,这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。 Trailof Bits称,虽然...

  • Bitfinex上线EOSDT和NUT

    [2021-4-6 19:48:50]据官方公告,Bitfinex上线Equilibrium Framework(EOSDT)和Native Utility Token(NUT),交易对EOSDT/USD、NUT/USD、EOSDT/USDT、NUT/U...

  • XEM突破0.47美元关口 日内涨幅为24.59%

    [2021-4-6 19:51:28]欧易OKEx数据显示,XEM短线上涨,突破0.47美元关口,现报0.4738美元,日内涨幅达到24.59%,行情波动较大,请做好风险控制。 XEM突破0.4美元关口 日内涨幅为8.6%:欧易OKEx数据显示,...

  • 以太坊扩容解决方案机构StarkWare推出由Layer2驱动的AMM Caspian

    [2021-4-5 19:46:13]4 月 4 日,以太坊扩容解决方案机构 StarkWare 推出由 Layer2 驱动的 AMM Caspian。StarkWare 表示,在考虑 DeFi 的 Layer2 解决方案时,资本效率是关键点,且 Sta...

  • CI全球资产管理公司在加拿大推出比特币共同基金

    [2021-4-6 19:48:06]金色财经报道,加拿大主要投资公司CI全球资产管理公司宣布推出CI比特币基金。该基金被描述为北美首个专门提供比特币敞口的共同基金。通过该基金,加拿大投资者将能够以0.40%的管理费进入比特币市场,初始最低投资额为500...

  • GoDaddy删除Bitcoin.com域名拍卖列表

    [2021-4-6 19:48:23]金色财经报道,GoDaddy已删除了最低以1亿美元价格出售Bitcoin.com域名的拍卖列表。对此,该域名的所有Roger Ver表示:“该域名实际上不用于出售,100%的假新闻。” DeGods v1.1...

链链资讯

[0:0ms0-3:191ms