
Offroad
Jaguar Route Planner
Polarsteps
Route Finder By Galaxy Apps
A Better Routeplanner
Footpath
Google Maps Go
Roadtrippers
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/
Offroad
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.
Jaguar Route Planner - Jaguar Route Planner app contains features to allow users to access a built-in map to view their vehicleโs current position with details such as street address and the distance from your GPS location.
Olympix - Secure your code as itโs written
Polarsteps - Automatically track your journeys on a stunning map
Route Finder By Galaxy Apps - Route Finder is an app by Galaxy Apps Studio that helps users select two different locations on the map to calculate the distance and the required time to travel between those points.
A Better Routeplanner - A Better Routeplanner (ABRP) for planning trips and charging with a Electric Vehicle - both home and in-car.
Footpath - Plan exact travel routes with the trace of your finger ๐บ๏ธ