Diamant: Backend for the Diamant Project