CertiK完成XRP Ledger自动做市商审计，旨在提高Web3行业安全标准

　　据CertiK官方微信公众号发布消息称,近日全球区块链和智能合约安全领域的先锋CertiK宣布已完成对XLS-30d的全面安全审计。XLS-30d是一个建立在XRP Ledger (XRPL) 上的创新自动做市商(AMM),而XRPL是一个由全球开发者社区支持的第一层(Layer 1)开源、节能和去中心化的区块链。

　　CertiK总部位于纽约市,由耶鲁大学和哥伦比亚大学的两位教授创立。其以守护加密世界为使命,从区块链领域开始,一步步将学术界尖端创新技术延伸至业界,使得企业任务关键型软件及应用能够在足够安全和正确的环境下构建。 CertiK利用目前最先进的形式化验证技术、AI审计技术以及安全专家人工审计,通过扫描及监控区块链协议和智能合约,保证其安全性。

　　上月据Conintelegraph报道,CertiK因成功发现并报告SUI网络内名为“仓鼠轮”的安全新型安全威胁,而被SUI授予50万美元赏金。该次新型攻击的发现凸显了在快速发展的区块链领域采取强有力的安全措施和先发制人识别威胁的必要性。

　　Ripple公司提出的建立在技术规范XLS-30d上开发的AMM,旨在为XRPL代币持有人和XRP Ledger开发者扩展交换功能和效用。审计过程中, CertiK检查了底层智能合约架构的潜在漏洞,并评估了AMM的整体安全性。

　　经CertiK验证,XLS-30d AMM的主要特点包括构建原生协议、连续拍卖机制、提供单边流动性、无矿工可提取价值(MEV)或前置交易以及整合CLOB DEX。

　　XRP Ledger的固有优势——低交易成本、高速及公平交易排序,使其更适用于AMM生态系统内的所有参与者。XLS.30D提案反映了XRPL先进的能力和广阔的用途。CertiK审计证实,建立在XRPL上的AMM符合最高安全标准。 CertiK正在与Ripple携手推进全球区块链生态系统的安全性和可靠性。

　　“CertiK的目标是建立一个更安全、更可靠的区块链生态系统。XRPL的AMM实现代表了去中心化交易所功能的一个重要演变,我们很荣幸能够确保它符合最高安全标准。”CertiK首席商务官Jason Jiang说道。