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.