CertiK(@CertiK):Certik Staff Scientist Hao Chen took the stage at @EthTaipei to discuss the future of smart contract security. As AI makes attacks cheaper and faster, formal verification can help developers move from finding bugs to proving critical security properties. CertiK is working to make these tools more accessible to builders.

CertiK

@CertiK

The largest crypto security provider. Smart contract audits, on-chain monitoring, penetration testing & more. ➕ @CertiKCommunity 🚨 @CertiKAlert

加入 May 2018

1.4K 正在關注 559.4K 粉絲

CertiK@CertiK

2026.09.13 18:32

Certik Staff Scientist Hao Chen took the stage at @EthTaipei to discuss the future of smart contract security. As AI makes attacks cheaper and faster, formal verification can help developers move from finding bugs to proving critical security properties. CertiK is working to make these tools more accessible to builders.