Navan (formerly TripActions) is a corporate travel management company.
StarkWare Industries develops a full-proof stack in generating and verifying proofs of computational integrity in the bl...