搜索 NAVY 的结果

BoatPilot是一款创新的航海导航应用软件，为私人和商业游艇市场提供全面的增强现实功能。通过BoatPilot，游艇驾驶员可以轻松获取准确的航海路线和沿海相关标志信息，包括图表、导航标志、参考数据以及特定地点的航海法规。...

「金色财经」8月15日，智能合同安全分析项目Certora的形式验证服务支持以太坊编程语言Vyper，使智能合同开发人员能够在部署代码后进行审计前检测错误...

「金色财经」8月6日，以太坊编程语言Vyper发布了关于上周漏洞事件的事后分析报告：7月30日，由于Vyper编译器中的潜在漏洞，使用了多个Curve流动性池。该漏洞本身是一种未正确实施的重新保护，Vype版本的影响是V0.2.15、v0....

「金色财经」据金融报道，流动性质押协议Lidofinance在官方推送中证实，其steth流动性池不受Vyper漏洞的影响，所有流动性提供商（LP）均安全。目前流动性池状态对LidoFinance协议没有问题，任何用户都可以使用协议中的Li...

「ForesightNews」根据Curve和Vyper团队最近披露的漏洞，ForesightNews消息，Sentiment发布了一项预防措施，认为Curve和Vyper团队最近披露的漏洞已经暂停了Sentiment协议Sentiment...

「ForesightNews」ForesightNews新闻，智能合约语言Vyper贡献者@fubuloubu对Curve黑客攻击事件表示，「发现漏洞需要几周到几个月的时间，也许是由一个小团体或团队进行的。我们可能很快就会找到更多的信息，但...

「金色财经」7月31日消息，CZ发推CEX喂价救了DeFi。币安用户不受影响。币安(Binance)团队已经检查过Vyper可以重新进入漏洞。币安(Binance)只使用0.3.7或以上版本。保持最新的代码库、应用程序和操作系统非常重要。据...

「ForesightNews」根据慢雾首席信息安全官23pds的推荐，ForesightNews表示，Vyper官方文档推荐实际上是一个错误的版本...

「ForesightNews」ForesightNews消息称，采用Curve机制的BNBChain在DEXElllipsisFinance上推断，少数使用旧Vyper编译器的BNB稳定池受到攻击，目前正在评估情况。ForesightNew...

「金色财经」七月三十一日，以太坊编程语言Vyper发布了Vyper0的声明.2.15、0.2.16和0.3.0版受重入锁故障影响，调查仍在进行中...