Value exchange systems enabling security and unobservability