[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
"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 531.2K followers, 6412 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 531.1K followers, 4203 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 531.1K followers, 2145 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 531.2K followers, 8942 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, 3302 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, 1956 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, 3903 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, 4690 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 531.1K followers, 279K 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 531.1K followers, 5914 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 531.1K followers, 6004 engagements