an immutable cryptographic object graph with a robust and recursive type system that tak…