
Appcues
UserGuiding
WalkMe
Pendo
Intercom
Userlane
Userpilot
Usetiful
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/
Appcues
AuditHubNo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub'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.
UserGuiding - Create in-app experiences with the most straightforward product adoption platform โ quick implementation, lasting user engagement.
Olympix - Secure your code as itโs written
WalkMe - WalkMe is a game-changing platform that instantly simplifies the online user experience.
Pendo - Pendo helps product teams understand and guide users to create product experiences that customers love.
Intercom - Intercom is a customer relationship management and messaging tool for web businesses. Build relationships with users to create loyal customers.
Userlane - Userlane helps healthcare, financial services, manufacturing, and pharma organizations close the gap between deploying software and AI and people using it well. See where technology creates friction. Fix it in context. Prove it worked.