FuzzLand 利用AI x（模糊测试 + 形式验证）构建智能合约安全

随着区块链技术的发展，智能合约的安全性愈发受到重视。在这个背景下，隐形模式初创公司FuzzLand利用AI x（模糊测试 + 形式验证）技术，为构建者、审计员和交易者提供自动即时的智能合约分析服务。

作为FuzzLand的联合创始人之一，Chaofan Shou在加州大学圣巴巴拉分校仅用了两年时间就获得了计算机科学学士学位。在2020年至2021年期间，智能合约和区块链安全并不成熟，Chaofan Shou参与了一些错误赏金计划，并成功获得了170万美元的赏金，其中还包括一些锁定的代币。随后，Chaofan Shou进入加州伯克利分校攻读博士研究生，在Sky Computing Lab工作，并师从Koushik Sen教授。他的研究方向主要涉及程序分析、分布式系统和区块链安全。在攻读博士学位之前，Chaofan Shou还曾担任过区块链安全初创公司Veridise的软件工程师，领导开发了多种智能合约和区块链自动化测试工具。此前，他还在Salesforce担任过安全工程师，为SAST解决方案、内部网络扫描服务和数据管道做出了贡献。

目前，Web3.0领域被黑客攻击的资产数量逐年增加，DeFi安全备受业界关注，为此，涌现了许多安全审计产品。在这个背景下，FuzzLand于2月9日宣布完成了300万美元的种子轮融资，本轮融资由1kx领投，HashKey Capital、SNZ、Panga Capital等机构参与。