Certora
Security
Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.
All funds
crypto
crypto
Analyst signals
Portfolio activity and matriculation
Metrics use all recorded activity through 27 Jul 2026 across series a, series b. Later-round outcomes are capped at the period end.
100%companies with a later round · 2/2
5.00×median round-size step-up · n=1
Not availablemedian valuation step-up · n=0
0%recorded-solo rate · 0 solo / 3 syndicated
Security · 1 companiesService Provider · 1 companies
These are activity signals, not fund-return metrics. Round capital is the full disclosed financing amount, not this fund's check size. “Recorded solo” means only one investor is present in the source data and is a lead signal, not verified lead status; syndicated rounds are a co-investor or follower signal. IRR, TVPI, DPI, ownership, exits, and market beta cannot be calculated from the available records.
People
Team
No team details are available yet.
Portfolio
Investments
Full financing histories for portfolio companies. Highlighted rounds are those where VMware is recorded as an investor.
QEDIT
Service Provider
QEDIT is an applied cryptography firm providing security audits, cryptographic protocol design, formal verification, and research. It serves organizations building privacy-preserving and blockchain systems that secure real value.