Atomos: Constant-Size Path Validation Proof | IEEE Journals & Magazine | IEEE Xplore