Harmonic.ai
Crunchbase
PitchBook
DealRoom
Dealroom.co
Lighthouse VC
Git Deal Flow
Startup Radar
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
Harmonic.ai
AuditHubAuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Crunchbase - Crunchbase is a platformย for discovering industry trends, investments, and news about companies around the world.
Olympix - Secure your code as itโs written
PitchBook - PitchBook is an award winning data & technology provider for the global private equity and...
DealRoom - M&A Lifecycle Management Software
Dealroom.co - Identify promising companies before everyone else. Dealroom helps professional investors, corporates and local governments to discover & track innovative tech companies.
Lighthouse VC - Lighthouse is an AI native, all in one platform for venture capital investors that unifies sourcing and CRM in a single workspace.