Building Stellar chain support to CertiK's Skynet for community security and SkyInsights for compliance/risk monitoring.
Last 6 months · Weekly commits
Formal verification of the zkWasm project
CertiK fork of Slither Analyzer
Work for the Ethereum Foundation Verus Evaluation grant
Verified Rust for low-level systems code
Minimal example for why we want `TypeId` support in Verus
Semantic foundations for Verus Proof-Oriented Types
.@Lighter_xyz has surpassed $1.7T in trading volume. Behind that growth, security remains essential. We’ve worked closely with their team to help strengthen their proving infrastructure, and it’s been a pleasure collaborating with people who share our commitment to security.
The tokenized economy needs security at every layer. At STO Summit 2026 in Seoul, CertiK’s Peiyu Wang (@wisp_fly) took the stage to discuss securing tokenized assets across smart contracts, custody, applications, and infrastructure. Building trust into the future of digital…
AI is changing cybersecurity on both sides of the equation. At the CodeVASP Digital Asset Compliance Forum, CertiK’s Joseph Hung (@CertiKjoseph) shared his perspective on the evolving security landscape for digital assets and what organizations need to consider as AI-driven…
Singapore, we’re coming. 🇸🇬 We're heading to @token2049 with a new look and plenty more to share. Come meet the team, see what’s next, and take advantage of exclusive offers available during the event.
