成都链安宣布 Mercurity Swap 协议通过安全审计

2023-11-01 16:50

本文主要是介绍成都链安宣布 Mercurity Swap 协议通过安全审计,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

近日,致力于区块链安全生态建设的行业头部公司,成都链安正式宣布,已完成了对 Mercurity.Finance 子协议 Mercurity Swap 协议的安全审计;该协议 Mercurity Swap Pool 也通过了成都链安针对其:代码规范性(Coding Standards)、安全性(Security、业务逻辑(Business Logic)三个方面所开展的多维度安全审计。
在这里插入图片描述

最近,去中心化金融(Decentralized Finance/DeFi)态势火爆,一跃成为加密资产和区块链行业最为热门的话题。DeFi 作为区块链技术赋能到金融产业的典型应用,为加密资产市场带来了一波热度,也向传统金融体系引发了一场真正意义上关于『去中心化』的思潮。

诚然,相较于传统的金融平台,DeFi 无疑具有安全性强、透明度高、隐私保护等显著优势。此外,随着 DeFi 经济效应不断发酵,DeFi 生态也正在逐渐壮大和完善。但回归理性,目前 DeFi 仍然面临着诸多痛点,其中 DeFi 项目在智能合约编写和底层技术框架搭建上是否足够规范和安全,是区块链安全公司特别关注的重点。

因此,为了区块链生态环境更加安全和稳固,成都链安强烈建议广大 DeFi 项目方,在进行项目的部署和上线之前,切记要寻找第三方安全公司开展相关安全审计业务,防微杜渐,未雨绸缪。

近期,成都链安·安全审计团队在收到 DeFi 协议 Mercurity Swap 的安全审计申请后,对其智能合约的 Mercurity Swap Pool 进行全面的安全审计。成都链安在 Mercurity Swap 的代码规范审计(Coding Conventions Auditing)、通用漏洞审计(General Vulnerability Auditing)、业务审计(Business Auditing)3 大项 21 审计子项上,开展了严格和专业的审计流程。

成都链安采用了形式化验证(Formal Verification)、静态分析(Static Analysis)、动态分析(Dynamic Analysis)、典型案例测试(Typical Case Testing)、人工审核(Manual Review)的方式,并针对各审计细项提供了具体的安全建议。经审计, Mercurity Swap 及 Mercurity Swap Pool 通过所有检测项,审计结果为通过(Pass) ;所有审计过程中发现的问题,均已及时修复。

本次安全审计业务的开展旨在确保 DeFi 协议 Mercurity Swap 及其智能合约的 Mercurity Swap Pool 在设计和代码实现上无安全隐患,能够进行后续的项目部署。同时,成都链安将为 DeFi 协议 Mercurity Swap 出具权威的安全审计报告,此报告受到全球众多主流交易所的一致认可。

作为全球领先的区块链安全公司,在智能合约安全审计的服务上,成都链安已受到了业内客户和合作伙伴的广泛好评,并为海内外 1000 多份智能合约提供了全面和专业的安全审计与防御部署服务。

迄今,基于『链必安(Beosin)一站式区块链安全服务平台』的『四大核心安全产品』和『八大明星安全服务』,成都链安已与信通院、微众银行、万向区块链、蚂蚁链、布比、云象、普华永道、火币、OKEx 等国内外 100 多家区块链头部企业建立了深度合作关系。

关于 Mercurity Swap
在这里插入图片描述

Mercurity Swap 是一个自动化数字资产交换和流动性协议,是 Mercurity.Finance 的子协议。

Mercurity Swap 通过创新的 Pair Token 增加对流动池管理的自治,同时增设流动池管理人 GP (普通合伙人),使得每个流动池可以自主设置交易费率、GP 和 LP 之间的 Pair Token 分配比例、以及是否需要审批才能入池等规则,实现每个流动池的社区自治。同时,通过将 Mercurity Swap 里的 LP Token,导入 Mercurity.Finance 生态中的借贷、保险、合成资产等协议中,将极大地增加 LP 的资金使用效率。

Mercurity.Finance 作为一个开放的、AMM 驱动的 DeFi 平台,为 DeFi 提供基础设施。其由若干组子协议矩阵组成,每组子协议可以灵活插拔和组合,共享 Mercurity 品牌、技术、流动性、客户、合作伙伴和社群等基础设施,形成一个丰富的生态。目前 Mercurity.Finance 包括 Mercurity Swap、Mercurity Lend、Mercurity Insurance 和 Mercurity Asset Synthetics 等协议。Mercurity.Finance 还将其独创的无常损失保险引入生态中,将大大降低流动性提供者的存款风险,进一步提高用户存款意愿。

MEE Token 是 Mercurity Swap 的 AMM 流动性协议治理币,总量 5000 万枚,用户可通过 LP Token 质押挖矿、在认证的兑换池添加流动性挖矿、在全部兑换池交易挖矿三种方式获得。MEE 实时释放,采取独创的等比抽税的提现规则,推动用户关注长期价值。

关于成都链安(Beosin)
在这里插入图片描述

成都链安,全球领先的区块链安全公司,成立于 2018 年 3 月,致力于区块链安全生态建设,总部位于成都。团队核心成员是由从事信息安全长达 20 多年的海内外知名高校教授、博士后、博士以及曾任职于阿里、华为、360 等知名企业的网络安全精英组成。公司已获前海母基金、联想创投、复星高科、成创投、任子行、界石资本、盘古创富、分布式资本等知名机构的多轮投资。

以网络安全、形式化验证、人工智能和大数据分析四大技术为核心,打造了面向区块链全生态安全的『链必安(Beosin)一站式区块链安全服务平台』,为区块链企业提供安全审计、虚拟资产追溯与 AML 反洗钱、安全防护、威胁情报、安全咨询和应急等全方位的安全服务与支持,实现区块链系统『研发→运行→监管』全生命周期的安全解决方案。

成都链安以『让区块链生态更安全』为使命,以『成为全球第一的区块链安全公司』为愿景,不断打造区块链安全颠覆性的核心技术,为全球区块链企业的安全保驾护航。

这篇关于成都链安宣布 Mercurity Swap 协议通过安全审计的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/324402

相关文章

客户案例:安全海外中继助力知名家电企业化解海外通邮困境

1、客户背景 广东格兰仕集团有限公司(以下简称“格兰仕”),成立于1978年,是中国家电行业的领军企业之一。作为全球最大的微波炉生产基地,格兰仕拥有多项国际领先的家电制造技术,连续多年位列中国家电出口前列。格兰仕不仅注重业务的全球拓展,更重视业务流程的高效与顺畅,以确保在国际舞台上的竞争力。 2、需求痛点 随着格兰仕全球化战略的深入实施,其海外业务快速增长,电子邮件成为了关键的沟通工具。

安全管理体系化的智慧油站开源了。

AI视频监控平台简介 AI视频监控平台是一款功能强大且简单易用的实时算法视频监控系统。它的愿景是最底层打通各大芯片厂商相互间的壁垒,省去繁琐重复的适配流程,实现芯片、算法、应用的全流程组合,从而大大减少企业级应用约95%的开发成本。用户只需在界面上进行简单的操作,就可以实现全视频的接入及布控。摄像头管理模块用于多种终端设备、智能设备的接入及管理。平台支持包括摄像头等终端感知设备接入,为整个平台提

2024网安周今日开幕,亚信安全亮相30城

2024年国家网络安全宣传周今天在广州拉开帷幕。今年网安周继续以“网络安全为人民,网络安全靠人民”为主题。2024年国家网络安全宣传周涵盖了1场开幕式、1场高峰论坛、5个重要活动、15场分论坛/座谈会/闭门会、6个主题日活动和网络安全“六进”活动。亚信安全出席2024年国家网络安全宣传周开幕式和主论坛,并将通过线下宣讲、创意科普、成果展示等多种形式,让广大民众看得懂、记得住安全知识,同时还

SWAP作物生长模型安装教程、数据制备、敏感性分析、气候变化影响、R模型敏感性分析与贝叶斯优化、Fortran源代码分析、气候数据降尺度与变化影响分析

查看原文>>>全流程SWAP农业模型数据制备、敏感性分析及气候变化影响实践技术应用 SWAP模型是由荷兰瓦赫宁根大学开发的先进农作物模型,它综合考虑了土壤-水分-大气以及植被间的相互作用;是一种描述作物生长过程的一种机理性作物生长模型。它不但运用Richard方程,使其能够精确的模拟土壤中水分的运动,而且耦合了WOFOST作物模型使作物的生长描述更为科学。 本文让更多的科研人员和农业工作者

【Linux】应用层http协议

一、HTTP协议 1.1 简要介绍一下HTTP        我们在网络的应用层中可以自己定义协议,但是,已经有大佬定义了一些现成的,非常好用的应用层协议,供我们直接使用,HTTP(超文本传输协议)就是其中之一。        在互联网世界中,HTTP(超文本传输协议)是一个至关重要的协议,他定义了客户端(如浏览器)与服务器之间如何进行通信,以交换或者传输超文本(比如HTML文档)。

【Kubernetes】K8s 的安全框架和用户认证

K8s 的安全框架和用户认证 1.Kubernetes 的安全框架1.1 认证:Authentication1.2 鉴权:Authorization1.3 准入控制:Admission Control 2.Kubernetes 的用户认证2.1 Kubernetes 的用户认证方式2.2 配置 Kubernetes 集群使用密码认证 Kubernetes 作为一个分布式的虚拟

【Go】go连接clickhouse使用TCP协议

离开你是傻是对是错 是看破是软弱 这结果是爱是恨或者是什么 如果是种解脱 怎么会还有眷恋在我心窝 那么爱你为什么                      🎵 黄品源/莫文蔚《那么爱你为什么》 package mainimport ("context""fmt""log""time""github.com/ClickHouse/clickhouse-go/v2")func main(

2024.9.8 TCP/IP协议学习笔记

1.所谓的层就是数据交换的深度,电脑点对点就是单层,物理层,加上集线器还是物理层,加上交换机就变成链路层了,有地址表,路由器就到了第三层网络层,每个端口都有一个mac地址 2.A 给 C 发数据包,怎么知道是否要通过路由器转发呢?答案:子网 3.将源 IP 与目的 IP 分别同这个子网掩码进行与运算****,相等则是在一个子网,不相等就是在不同子网 4.A 如何知道,哪个设备是路由器?答案:在 A

Modbus-RTU协议

一、协议概述 Modbus-RTU(Remote Terminal Unit)是一种基于主从架构的通信协议,采用二进制数据表示,消息中的每个8位字节含有两个4位十六进制字符。它主要通过RS-485、RS-232、RS-422等物理接口实现数据的传输,传输距离远、抗干扰能力强、通信效率高。 二、报文结构 一个标准的Modbus-RTU报文通常包含以下部分: 地址域:单个字节,表示从站设备

企业安全之WiFi篇

很多的公司都没有安全团队,只有运维来负责整个公司的安全,从而安全问题也大打折扣。我最近一直在给各个公司做安全检测,就把自己的心得写下来,有什么不足之处还望补充。 0×01  无线安全 很多的公司都有不怎么注重公司的无线电安全,有钱的公司买设备,没钱的公司搞人力。但是人的技术在好,没有设备的辅助,人力在牛逼也没有个卵用。一个好的路由器、交换机、IDS就像你装备了 无尽、狂徒、杀人书一