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…
Today marks the 250th anniversary of the United States. For 250 years, innovation, resilience, and the pursuit of new frontiers have helped shape the future. At CertiK, we’re proud to help secure the technologies building the next frontier of innovation. Happy Independence…
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…
