Building Stellar chain support to CertiK's Skynet for community security and SkyInsights for compliance/risk monitoring.
Last 6 months · Weekly commits
Work for the Ethereum Foundation zkvm rocq tactic grants
CertiK fork of Slither Analyzer
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…
Great insights from our CBO Jason Jiang with @incrypted on AI in crypto security and why audits alone aren’t enough. Full interview: https://incrypted.com/en/interview-certik-cbo/
http://x.com/i/article/2073065408534364161
Security is a shared responsibility. We're proud to join the Open Protocol Security Coalition (OPSeC) alongside others across the industry to help strengthen cybersecurity resilience throughout the blockchain ecosystem. Collaboration, transparency, and shared best practices…
The Open Protocol Security Coalition (OPSeC) is a new initiative by @fund_defi, in partnership with @_SEAL_Org and Asymmetric Research. What it does: → Curates existing, free cybersecurity…
We're proud to be named an official security and compliance vendor for @hub71ad, Abu Dhabi's global tech ecosystem. Through this partnership, Hub71 portfolio companies receive: • 20% off CertiK security services • Access to a $200K subsidy pool • Free access to the CertiK…
If you're just getting into Web3, you'll hear the term "dApp" everywhere. But what actually makes a decentralized app different from a traditional app? And why does that difference matter for security? We've broken it down in our latest guide.…