proof.algo (NFD) - EXA Market