Log inSign up
Ronghui Gu
1,292 posts
user avatar
Ronghui Gu
@RonghuiGu
@CertiK, @ColumbiaCompSci, and @ShentuChain. Opinions Are My Own.
New York, NY
cs.columbia.edu/~rgu/
Joined October 2012
1,104
Following
5,649
Followers
  • Pinned
    user avatar
    Ronghui Gu
    @RonghuiGu
    Dec 7, 2024
    Great talking with @cz_binance and hearing the prediction!
    user avatar
    CZ 🔶 BNB
    @cz_binance
    Dec 7, 2024
    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). 😆
    21K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Nov 8, 2024
    Honored to deliver a keynote speech at @sgfintechfest, sharing my journey and thoughts on the evolving landscape of blockchain security. Starting @CertiK in 2018 with a simple vision: to bring provable security to blockchain. From assembling IKEA furniture in a tiny Manhattan
    35K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Mar 19, 2022
    3 papers are accepted by OSDI'22😄
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Oct 15, 2025
    Article cover image
    Article
    How to Prove 1+1=2 on the Blockchain
    On October 12, 2024, mathematician Terence Tao launched the Equational Theories Project, organizing over 60 professional and amateur mathematicians to formally verify the 4,694 × (4,694 – 1) =...
    74K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Mar 6, 2025
    A huge hug between @CertiK and @spearbit @cantinaxyz @hrkrshnn
    13K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Feb 5, 2023
    I am thrilled to be named the recipient of the 2022 VMware Systems Research Award. octo.vmware.com/vmware-announc…
    7.6K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Apr 28, 2022
    The 3rd Amazon Research Awards in the past 13 months😁
  • user avatar
    Ronghui Gu
    @RonghuiGu
    May 26, 2025
    .@CertiK shouldn’t have participated in the audit contest to directly compete with solo auditors. Our original purpose in entering was to test our chain scanner. Looking back, I feel we’ve consistently lacked sufficient respect and support for solo auditors. @Jeyffre @__Raiders
    user avatar
    Immunefi
    @immunefi
    May 22, 2025
    The $1,500,000 USD @ethereum Attackathon is finished, and the full results have been posted. $500,000 of the reward pool has been paid out! 🥇 @th3anatomist: $148,677 🥈 @robinrobin99020: $146,250 🥉 CertiK: $90,801 4️⃣ Franfran : $33,750 5️⃣ @blobismdev: $33,750 Check the link
    13K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Oct 17, 2025
    Had the pleasure of hosting @ellazhang516 , Head of @yzilabs, for a guest lecture at Columbia University today. Ella shared her entrepreneurial journey, the founding story of YZi Labs, and its mission to empower the next generation of innovators in Web3. Truly inspiring for our
    55K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    May 20, 2022
    I am attending the 2022 Annual Meeting of the World Economic Forum @wef in Davos. Would be more than happy to share with you how @CertiK's products secure the Web3 world.
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Nov 15, 2024
    A huge hug after 7 years between @CertiK and @Quantstamp
    13K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Aug 30, 2025
    It’s a bit disappointing when @CertiK shows up on the Leaderboard but still doesn’t get tagged.
    user avatar
    HackenProof
    @HackenProof
    Aug 29, 2025
    ✨Top Hackers of the Week ✨ 1️⃣ @alexbabits 2️⃣ CertiK 3️⃣ @0xeasonnong Huge shoutout and congrats to our elite hunters— you've crushed it! 🎉 Who’s ready to climb the leaderboard next week?
    6.7K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    Jun 26, 2024
    Thrilled to write this first congratulatory email for my very first doctoral graduate and the first student to become a professor. Congratulations, Jianan Yao, on your graduation and securing a tenure-track faculty position at the University of Toronto! @ColumbiaCompSci
    3.5K
  • user avatar
    Ronghui Gu
    @RonghuiGu
    May 16, 2021
    🤞
    user avatar
    ColumbiaCompSci
    @ColumbiaCompSci
    May 14, 2021
    Five of our professors won Amazon Research awards! Congratulations to: Elias Bareinboim (@eliasbareinboim) , David Blei (@blei_lab), Ronghui Gu (@guronghuieric), Shuran Song (@SongShuran), and Eugene Wu (@sirrice) 👏

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms of Service|Privacy Policy|Cookie Policy|Accessibility|Ads info|© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up