We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history and derivations of network state that result from the execution of a distributed protocol. It has broad applicability in the management, diagnosis, and security analysis of networks. Our demonstration shows the use of NetTrails for maintaining and querying network provenance in a variety of distributed settings, ranging from declarative networks to unmodified legacy distributed systems. We conclude our demonstration with a discussion of our ongoing research on enhancing the query language and security guarantees. Categories and Subject Descriptors C.2.4 [Computer Communication Networks]: Distributed Systems—Distributed Applications; E.1 [Data Structures]: Distributed Data Structures; H.5.2 [Information Interfaces and Presentation]: User Interfaces—Graphical User Interfaces General Terms Design, Management