DeserializationSigmaBuilder
DeserializeCallDepthExceeded
DeserializeContextSerializer
DeserializeRegisterSerializer
DiffieHellmanTupleInteractiveProver
DiffieHellmanTupleProtocol
DiffieHellmanTupleProverInput
defaultCollPropertyAccess
defaultOptionPropertyAccess
deserializeHeaderWithTreeBytes