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
Formal verification of the zkWasm project
Work for the Ethereum Foundation Verus Evaluation grant
A community preview of ongoing formal verification efforts for Asterinas
Semantic foundations for Verus Proof-Oriented Types
Brazil isn’t just regulating digital assets—it’s showing how clarity can support growth. At @blockchain_rio, CertiK joined regulators and industry leaders to discuss what Brazil’s evolving VASP framework means for the market. Read more…
🇧🇷 Brazil’s digital asset market is entering a new regulatory era. At @blockchain_rio, CertiK CBO Jason Jiang joined Nagel Lisânias Paulino, Head of Division at the Central Bank of Brazil, for a fireside chat moderated by Marcos Rocha, Partner at Veirano Advogados and Vice…
🗽 @XDCNetwork is joining us in NYC! During @NFT_NYC week, XDC will join CertiK for a special panel at our NYC Open House: The Institutional Trust Stack for Onchain Finance 📅 Sept 2 📍 Manhattan, NYC ⏰ 3–7 PM Spots are limited. Register to join us…
🇧🇷 At @blockchain_rio, CertiK CBO Jason Jiang joined @coinsxyzbrasil for a fireside chat on Brazil’s evolving VASP framework. Jason shared his perspective on Brazil’s regulatory approach, the transition ahead for local companies, and the potential for broader…
