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.