
Encompass
DueDil
Dow Jones Risk & Compliance
Sanction Scanner
Oracle Financial Services Anti-Money Laundering
Workfusion Intelligent Automation Cloud
Temenos
Shufti
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/
Encompass
AuditHubNo features have been listed yet.
Organizations in highly regulated sectors such as banking, finance, legal, and insurance would benefit most from Encompass's services. Specifically, companies looking to improve their KYC and AML (Anti-Money Laundering) processes through automation and data-driven insights are likely to find great value in their platform.
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.
DueDil - DueDil is a private company research tool for B2B lead generation and risk management.
Olympix - Secure your code as itโs written
Dow Jones Risk & Compliance - Dow Jones
Sanction Scanner - Sanction Scanner is an Anti-Money Laundering compliance software. Sanction and PEP screening service on thousands of Sanction and PEP lists in our AML database.
Oracle Financial Services Anti-Money Laundering - Financial Services Anti-Money Laundering
Workfusion Intelligent Automation Cloud - Intelligent Automation Cloud is a secure, unified platform for AI-powered RPA and process analytics that your team can install quickly and scale easily.