Ronghui Gu
1.1K posts
@RonghuiGu
@CertiK, @ColumbiaCompSci, and @ShentuChain. Opinions Are My Own.
Had fun chatting with @RonghuiGu and @nikichain about security, crypto, AI, etc. This came out much more professional-looking than I expected. It was a casual chat in shorts and crocs. Made one easy price prediction (2 weeks ago). 😆
As digital finance evolves, protecting users and strengthening trust remain essential. We’re honored to support conversations at the @UNODC Global Fraud Summit on fraud prevention, security, and the future of safer financial systems.
Part of why I wanted to write this article is that, over the past few months at @CertiK , the internal AI Scan system we have been building is now getting close to release. That scanner has taken up most of my attention, energy, and thought for quite a while, so writing this piece is also, in a very personal sense, a way to pause, summarize the path, and give myself an honest account of what this period of work has really meant. I will probably say more about that in Part II.
Big thanks to @CertiK for the cutest and dopest gift. ✨ Haedal's $haSUI and $haWAL liquid staking protocols have completed formal verification with CertiK. Formal verification uses mathematical proofs to guarantee that critical protocol logic works correctly across every possible execution scenario, not just the ones testers thought to check. We’ve also been rated AA on @CertiKCommunity For liquid staking infrastructure, this level of rigor isn't optional — it's the standard we hold ourselves to. 🔗: skynet.certik.com/projects/haeda…
🎙️ Ep. 687 Certik | Web3 Threat Landscape in 2026 (feat. Yuannan Yang) — — — For episode 687 of the BlockHash Podcast, host Brandon Zemp is joined by Yuannan Yang, Security Engineer at @CertiK, the largest Web3 security services provider. CertiK offers a wide range of products and services to support the Web3 industry, project teams, and users alike. CertiK's products and services span the entire lifecycle of project development, from incubation and early stages, to growth and maturity. CertiK is one of the most globally recognized companies in the Web3 industry, serving users across 150 countries/regions. Yuannan Yang, based in Washington, DC, US, is currently a Security Engineer at CertiK. Yuannan Yang brings experience from previous roles at Johns Hopkins Whiting School of Engineering, Tsinghua University and Red Hat. Yuannan Yang holds a 2019 - 2020 Master's degree in information security @ Johns Hopkins Whiting School of Engineering. 🔗 Spotify: tinyurl.com/m2enym9k 🔗 Apple Podcasts: tinyurl.com/55z5emva 🔗 Amazon Music: tinyurl.com/yc4fjt27 🔗 YouTube: tinyurl.com/3c8wbz6w ⏳ Timestamps: (3:33) What is Certik? (4:57) New attack vectors in Crypto (6:56) Who are bad actors targeting in Crypto? (8:10) What new tools & solutions does Certik have? (11:21) Certik at ETHDenver (12:33) Certik roadmap (15:33) Certik website & socials #BlockHashPodcast #certik #cryptoaudits #cryptothreats #blockchainthreats #cryptosecurity #blockchainsecurity #podcast
I'm excited to announce that I've joined CertiK as their Head of Ecosystem 🎉 This may come as a surprise to some of you so I want to explain what CertiK does and why I am joining.
