Verified network data structures