Abstract: In one aspect, an example method includes (a) receiving, by a first computing device of a computing system for verifying an insurance policy, a digital certificate containing insurance policy details associated with an insurance policy; (b) receiving, by a second computing device of the computing system, from the first computing device, the digital certificate; (c) validating, by the second computing device, the digital certificate; and (d) verifying, by the second computing device, via a blockchain network, that the digital certificate has not been revoked, wherein the blockchain network contains a revocation list associated with the insurance company.

Abstract: In one aspect, an example method includes: (a) collecting sensor data from one or more vehicles operating within a geographic region and environmental data for the geographic region; (b) generating an accident risk model using one or more machine learning models; (c) receiving a request for navigating between a first geographic position and a second geographic position; (d) identifying attributes of one or more routes between the first geographic position and the second geographic position and through the geographic region, wherein the identified attributes of the one or more routes are based on at least the generated accident risk model; and (e) transmitting an instruction that causes a mobile computing device to display a graphical indication of: (i) the one or more routes; and (ii) the identified attributes of the one or more routes.