Team
certik: https://www.certik.com/
vatin: https://vatin.io
Article Collection
Tools
Analysis framework written in Python 3 : https://github.com/crytic/slither
Analysis tool for EVM bytecod: https://github.com/ConsenSys/mythril
Security scanner for Ethereum smart contracts : https://github.com/eth-sri/securify2
Product Form
合约安全审计
链上数据监控告警-结合实际Dapp具体分析(天眼…)
热点事件分析报告
KYC(Certik)
渗透攻击,整体业务复杂分析
资产追踪(偏链上数据分析领域)
标准业务合约实现(vatin token实现)
专业领域业务漏洞分析(交易所平台,具体业务)
链上合约的一些自动化交互(OZ:一键升级,自动化合约交互脚本,标准实现的最佳实践)