Kirkeelee/Kirkeelee

# Kirkeelee | 智能合约审计员 & 区块链安全研究员 专注于 DeFi 协议、跨链基础设施和 Web3 应用 **智能合约审计**、**形式化验证** 和 **区块链安全** 的**独立安全审计员**。 🔍 **审计服务：** Solidity 审计 | Rust 审计 | Move 审计 | Cairo 审计 | Go 审计 | 安全咨询 📫 **预约审计：** [X (@kirkeelee)](https://x.com/kirkeelee) | [Telegram (@Oxker2)](http://t.me/Oxker2) ## 🛡️ 安全专长 - **智能合约安全审计** (Solidity, Move, Rust, Cairo, Golang) - **DeFi 协议安全审查** - **跨链桥及基础设施审计** - **形式化验证与不变量测试** ## 🏆 重要竞赛获奖 | 项目 | 排名 | |---------------------------------------|-------------| | Index x Morpho Leverage Integration(Solidity)| 🥇 第一名 | | xKeeper (Solidity) | 🥈 第二名 | | Rova (Solidity, Move) | 🥉 第三名 | | Covalent - EWM Light Client (Solidity) | 🥉 第三名 | | LoopFi (Solidity) | 🥉 第三名 | | Gamma Liquidity Management (Solidity) | 第 7 名 | | Midas - Instant Minter/Redeemer (Solidity) | 第 7 名 | | Tokemak (Solidity) | 第 7 名 | | Kwenta x Perennial Integration Update(Solidity)| 第 7 名 | | AXION (Solidity) | 第 9 名 | |Super DCA Liquidity Network (Solidity) | 第 9 名 | # 我的审计作品集 ## 私有委托 | 项目 | 委托类型 | 描述 | 报告 | |-------------------|-----------------|-------------|------| |Somnia Network (Solidity) | Sherlock 协作审计 | 一个专注于稳定币转换和引导流程的代币兑换项目。 | | |Paydify (Solidity) | Sherlock 协作审计 | Paydify 是一个智能合约托管协议，将传统的电子商务支付生命周期（包括授权、捕获和退款）引入链上。 | | |NUVA finance (Solidity) | Sherlock 协作审计 | Nuva Finance 是一个围绕多层金库架构构建的跨链收益协议。它使用专用的路由器系统来安全管理直接的用户存款，同时协调复杂的异步资产提取。| | |Autopilot (Solidity) | Sherlock 协作审计 | 一个去中心化的累加和灵活投注平台，利用无 Gas 的 meta-transactions 来简化用户交互。 | | |40acres Finance Update(Solidity)|Sherlock 协作审计 | 40Acres 是领先的 DeFi 协议，为投票托管 NFT 持有者（如 veAERO 和 veVELO）提供借贷和自动化策略服务。| | |Elitra (Solid

标签：Cairo, CISA项目, DeFi安全, Eth安全, Golang, Move, Rust, Solidity, Web3安全, Web3开发, Windows内核, 不变式测试, 代币交换, 代币安全, 公链安全, 区块链基础设施, 区块链安全, 去中心化金融, 可视化界面, 安全咨询, 安全审计报告, 安全研究员, 安全竞赛, 安全编程, 密码学, 形式化验证, 手动系统调用, 智能合约, 智能合约审计, 流动性管理, 白帽子, 网络流量审计, 跨链安全, 跨链桥