🧠 研究方向:智能合约安全、形式化验证、区块链与 AI/物联网结合 🧠 Research Interests: Smart Contract Security, Formal Verification, Blockchain + AI/IoT
📍 深圳,中国 / ShenZhen, China
层面 / Category | 工具 & 技术 / Tools & Technologies |
---|---|
语言 / Languages | Solidity, Huff, JavaScript, Python |
方向 / Specialties | 智能合约审计、安全优化、DeFi/NFT 协议、跨链解决方案 Smart Contract Audits, Gas Optimization, DeFi/NFT, Cross-chain Solutions |
- 📧 Email: [email protected]`
🛠️ Always learning. Always building. 🛠️ 不断学习,不断创造。