[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
CertiK participated in the Immunefi Ethereum protocol Attackathon, providing XX detailed security insights and flagging X unique low-severity issues. The company also expanded its Skynet services, operating a node on Qubic to contribute to blockchain integrity and decentralization. Additionally, CertiK's security researcher was added to the Ledger Hall of Fame for identifying and patching a critical vulnerability.
Social category influence finance XXXX% countries XXXX% exchanges XXXX% travel destinations XXXX% events XXXX%
Social topic influence web3 #2188, blockchain #2601, events 0.87%, certik 0.87%, zk #715, worlds first 0.44%, officially live 0.44%, adoption 0.44%, china 0.44%, $9434t XXXX%
Top accounts mentioned or mentioned by @bsc_daily @ronghuigu @rafol19620 @proofoftalk @certikcommunity @adamua24 @0xa1t @crypto_with_seb @onyifundzofweb3 @hhj4ck @klinkfinance @openmainnet @mooncat_ai @oliviaw57696671 @hikmetin5 @xv_hades_vx @francisdavis28 @ediriya45919003 @ledger @bk_2777
Top posts by engagements in the last XX hours
"The next chapter for verifiable knowledge is here. Proud to support @ShentuChain on the launch of OpenMath where blockchain meets mathematics. Explore now๐"
X Link @CertiK 2025-10-13T13:04Z 531K followers, 6310 engagements
"Every great idea starts with the right connection. Events like Oceanic Night arent just parties. Theyre where collaborations begin and ideas start their journey. See why gatherings like this matter ๐"
X Link @CertiK 2025-10-09T18:11Z 531K followers, 4679 engagements
"South Koreas Web3 market is evolving fast with enterprise adoption strong regulation and unique security challenges from major exploits to retail scams. Read the full 2025 Skynet Korea Web3 Security & Ecosystem Report ๐"
X Link @CertiK 2025-09-20T05:57Z 531K followers, 278.5K engagements
""Doing what should be done" is at the core of CertiK.๐ In this exclusive interview with @Forbes China CertiK Co-Founder and CEO @RonghuiGu shares how mathematical rigor focus and resilience built the foundation for Web3s leading security firm. ๐ฅ Watch the interview"
X Link @CertiK 2025-08-14T13:00Z 530.8K followers, 8927 engagements
"SoftBank grows its Web3 footprint with a stake in @_binancejapan via @PayPayOfficial ๐ As an investor in CertiK and other Web3 firms @SoftBank is becoming a key partner in the ecosystem ๐ Learn more:"
X Link @CertiK 2025-10-10T03:24Z 531K followers, 5868 engagements
"At IXO 2025 in Seoul CertiK Audit Partner @mattwang85 delivered key insights on the evolving role of security in Elevate Security Journey On Emerging Tracks Stablecoins & Custody. Security isnt just protectionits the infrastructure bridging traditional finance and digital assets. ๐ก"
X Link @CertiK 2025-06-25T09:21Z 530.9K followers, 3733 engagements
"Learn more about our zkWasm formal verification work and how CertiK proved the correctness of zk memory and advanced zero-knowledge system verification ๐"
X Link @CertiK 2025-10-06T12:54Z 531K followers, 1952 engagements
"๐ Privacy is becoming the next frontier in blockchain innovation. Our latest blog explores Aleo a L1 platform built for privacy-preserving and compliant applications powered by ZKPs. Discover how Aleo redefines smart contract design ๐"
X Link @CertiK 2025-10-14T18:40Z 531K followers, 4097 engagements
"Congratulations to the Asterinas team Their paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees" has been awarded Best Paper at SOSP 2025 one of the most prestigious recognitions in computer systems research. We're proud to share that Hao Chen from CertiK's Formal Verification team is among the co-authors. CertiK previously conducted formal verification for Asterinas' core component the page management module ensuring its security and correctness. A remarkable milestone for the Asterinas team and a testament to the power of formal verification in advancing"
X Link @CertiK 2025-10-15T13:44Z 531K followers, 5115 engagements
"๐ก Finding of the Week Medium Severity Lack of Public Key Validation A Bitcoin-scriptgenerating smart contract failed to validate input public keys before building a Pay-to-Witness-Script-Hash (P2WSH) script. Heres why it matters ๐งต๐"
X Link @CertiK 2025-10-08T18:26Z 531K followers, 3892 engagements
"Did you know Centralization risks can expose smart contracts to serious security threats.๐จ If a single owner has full control over critical functions like minting or ownership transfers a compromised key could lead to catastrophic exploits.๐"
X Link @CertiK 2025-02-13T13:57Z 530.9K followers, 8664 engagements
"Aleo introduces a new paradigm for private computation: Transactions are executed locally and verified via ZK proofs Proof-as-a-Service markets allow users to outsource computation Leo Aleos Rust-based language enables rich privacy-first programs Learn more:"
X Link @CertiK 2025-10-14T18:41Z 531K followers, 2053 engagements
"Our Sr. Principal Scientist Vilhelm Sjoberg presented Formal Verification of zkWasm: A General-Purpose zkVM at the 2025 New England Systems Verification Day. His talk highlighted how formal verification can bring provable security and reliability to the future of zkVMs"
X Link @CertiK 2025-10-06T12:54Z 531K followers, 3297 engagements
"TOKEN2049 Singapore was one for the books. From booth talks and partner interviews to co-hosting Oceanic Night we were proud to be part of one of the biggest Web3 events. Thank you to everyone who connected with us throughout the week"
X Link @CertiK 2025-10-03T16:09Z 530.8K followers, 4861 engagements
"๐ก CertiK is proud to collaborate with the Asterinas community to enhance OS security Together were working towards stronger formal verification a crucial step in building more secure and reliable systems. Learn more about our collaboration:"
X Link @CertiK 2025-02-21T11:28Z 530.9K followers, 33.3K engagements