Building Stellar chain support to CertiK's Skynet for community security and SkyInsights for compliance/risk monitoring.
CertiK fork of Slither Analyzer
Work for the Ethereum Foundation Verus Evaluation grant
A community preview of ongoing formal verification efforts for Asterinas
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings…
Just under two weeks until @proofoftalk! Excited to join one of Web3’s premier gatherings as a security partner — connecting with a curated audience of top builders, innovators, and industry leaders shaping the future of our industry. See you in Paris! 🇫🇷
Baloonmaxxing
Hear us out, balloonmorphism
Security is strongest when it's embedded into the network itself. Proud to join @CROSS_gamechain as an independent validator ahead of Mainnet 2.0.
$600B+ secured. 180K+ vulnerabilities caught. @CertiK is joining CROSS Gamechain as an independent validator. 🔐 Mainnet 2.0 'Breakpoint' lands June 1 — security from inside the network, not just…
Great to see CertiK AI Auditor becoming part of the official judging criteria at Sui Taipei Hacker House. Excited to have @nervouspika showcasing how AI Auditor approaches Move vulnerability detection in a real hacker house environment, where speed and low-noise results…
Sui Taipei Hacker House｜Judging Update Excited to partner with @CertiK — CertiK AI Auditor is now part of the official judging criteria. 🔹 Weight: 20% of total score 🔹 Method: All submissions…
