Introducing VACP: Verifiable Atomic Computing Paradigm