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

Joined May 2018

1.4K Following 559.4K Followers

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.