proofs.algo (NFD) - EXA Market