Verifiable machine resources benchmarking and declaration