
Crest
Loandisk
Axe Finance
Relational i-Apply
CALMS
Lendscape
RV Sales Accelerator
Unify CRM
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/
Crest
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.
Loandisk - Loandisk is a cloud based lending software that manage all customer loans and repayments.
Olympix - Secure your code as itโs written
Axe Finance - Axe Finance provides credit process automation and risk management solutions for lending instituitions.
Relational i-Apply - i-Apply is an advanced Business Process Management Loan Origination System, built on state-of-the-art internet technologies to deliver seamlessly flowing processes.
CALMS - White Clarke Group is the global first-class provider of end-to-end automotive and asset finance software for retail, fleet and wholesale
Lendscape - Across supply chain finance, invoice finance, factoring, asset finance and more, our comprehensive, flexible platform gives you the power and agility to stay ahead of the curve.