MicroCredentials for EDEN

This is a description of microcredentials for EDEN.