区块见闻 区块见闻
Ctrl+D收藏区块见闻

智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper

作者:

区块链

时间:2023/8/15 21:23:39

8月15日消息,智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper,使智能合约开发人员能够在部署代码后审计之前检测错误。

智能合约平台Firechain完成300万美元Pre-Seed轮融资,Genblock Capital领投:5月24日消息,异步智能合约平台Firechain近日宣布完成300万美元Pre-Seed轮融资,Genblock Capital领投,MGNR、Cogitent Ventures、1NVST、Ankr等参投。此轮融资资金将用于扩大团队规模、加快发展路线图、以及推出其创新区块链平台。

据悉,Firechain构建异步、事件驱动的混合账本模型架构,以支持免费交易、可证明安全链上随机性等功能。Firechain计划于6月发布其DLT网络的公开测试网。[2023/5/24 15:22:12]

OneSwap智能合约代码通过慢雾、成都链安、PeckShield安全审计:据海外媒体消息,OneSwap已9月6日顺利通过智能合约代码安全审计,此次审计工作由三家业内知名的安全公司慢雾科技,派盾PeckShield,成都链安完成。在审计过程中,三家独立的审计团队采取自身独特的策略对OneSwap智能合约代码进行全方位开展代码审计工作,以最大程度确保及时发现漏洞。

审计团队分别从攻击漏洞测试、合约复杂度分析、代码通用性、链上数据安全、代码逻辑等方面对OneSwap智能合约代码进行全方位的测试分析。OneSwap智能合约代码均符合三家安全公司的安全审核标准,审计中发现的问题目前都已解决或正在解决中。

OneSwap是一个基于智能合约的完全去中心化的交易协议,在CFMM模型的基础之上引入链上订单簿来改善AMM用户的交易体验。上币无需许可,可支持自动化做市、支持挂单挖矿、流动性挖矿和交易挖矿。据官方消息,Oneswap将在2020年9月7日正式上线并开启公测。[2020/9/7]

动态 | 新增智能合约“醇香肉桂币”成功登陆交易所:RatingToken新增智能合约监控系统发现,目前市场上出现了一批名称独特的智能合约,包括丐帮令牌、百香果币、猫女郎金牌、老枞水仙、成吉思汗以及醇香肉桂等。这些智能合约的风险得分大多在3-4分之间,其中“醇香肉桂”为满分5分,无一风险项,并且已成功登陆某交易所实业板,每个醇香肉桂币(CXRG)可以兑换市场价59.9元的武夷山醇香型肉桂50g,5个起兑。[2018/7/14]

相关资讯
Coinbase将于8月15日暂停个别小市值币种USDT交易对

8月14日消息,据官方消息,Coinbase将于太平洋时间 2023 年 8 月 15 日上午 9 点左右暂停以下交易对:ALCX-EUR、API3-USDT、COVAL-USDT、FOX-USDT 和 POLY-U...

区块链:2023/8/15 21:22:57
THORChain将在主网上推出借贷协议 THORFi Lending

8月14日消息,去中心化跨链交易协议THORChain已发布借贷协议THORFi Lending,并获得节点运营商批准。借贷功能将在主网上推出,届时抵押品将仅限于BTC与ETH。

区块链:2023/8/14 16:24:21
香港投资推广署:香港政府考虑做专为香港服务的公链

8月15日消息,香港投资推广署高级经理Terry表示,香港政府正在考虑做一条专为香港服务的公链,并表示如果该计划实现全球参与者都将可以使用这条公链。 NBA球星Cole Anthony将推特头像更换为Crea...

区块链:2023/8/15 21:23:53
前SEC互联网执法主任:现任SEC不会批准比特币现货ETF的申请

8月13日消息,前SEC互联网执法主任John Reed Stark在X上表示,现任美国证券交易委员会(SEC)不会批准比特币现货ETF的申请。 此外,Stark表示,如果共和党人在2024年入主白宫,美国...

区块链:2023/8/13 16:23:36
Chorus One报告:MEV不一定是零和游戏

金色财经报道,质押提供商Chorus One的新研究报告表示,最大可提取价值(MEV)不一定是零和游戏,最大限度地减少 MEV 并公平竞争环境始于透明度。Chorus One研究负责人Michael Moser表示,...

区块链:2023/8/15 21:23:48
Bernstein:比特币现货ETF的批准可能有助于推动新的加密周期

金色财经报道,经纪商Bernstein发布报告称,预计比特币ETF现货市场规模将相当大,在两到三年内将达到比特币市值的10%。该报告称,加密货币 ETF 将受益于“全球领先资产管理公司强有力的品牌营销推动”以及“零售...

区块链:2023/8/14 21:22:20
Polygon Labs将与韩国电信巨头SK Telecom合作开发Web3生态系统

8月17日消息,Polygon Labs与韩国电信巨头SK Telecom签署合作协议,将共同开发Web3生态系统,同时寻求值得孵化的Web3初创公司,SK Telecom的NFT市场Top Port也将开始支持Po...

区块链:2023/8/17 18:04:52
Shiba Inu的以太坊L2区块链Shibarium上线

金色财经报道,Shiba Inu推出了Shibarium主网,这是一种以太坊L2扩展解决方案,据悉,Shibarium网络在其测试网期间创建了超过2100万个钱包。 Shibarium将利用Heimdall...

区块链:2023/8/17 18:04:26
MetaMask宣布与Banxa集成允许用户通过Apple Pay进行加密货币购买

金色财经报道,加密钱包MetaMask宣布与金融科技合作伙伴Banxa的更新集成,MetaMask用户现在可以使用Apple Pay的“一键”服务购买以太坊和其他加密货币。 花旗:将Meta Platform...

区块链:2023/8/14 21:22:36
区块链基础设施平台Zeeve加入Shardeum生态

金色财经报道,企业级无代码区块链基础设施自动化平台Zeeve已加入Shardeum生态系统,Zeeve是一个企业级无代码区块链基础设施自动化平台,可部署、监控和管理区块链节点和网络。Shardeum宣称为世界上第一个...

区块链:2023/8/15 21:23:27
彭博分析师:目前有16份有效的以太坊期货ETF申请

金色财经报道,彭博分析师James Seyffart在其推文中表示,目前有16份有效的以太坊期货ETF申请,其中,Valkyrie的比特币+以太坊策略ETF(BTF)的决议日期是可能会最早到来,为2023年10月3日...

区块链:2023/8/17 18:04:40
Adam Back:即使在减半之前BTC也很有可能达到10万美元

金色财经报道,Blockstream首席执行官Adam Back表示,随着市场的低迷和众多DeFi公司的倒闭,即使在减半之前,BTC也很有可能达到10万美元。 SADA与广告技术提供商MadHive达成协议:...

区块链:2023/8/17 18:04:17