La formalización y perfección de los Smart Contracts Smart Contract La formalización y perfección de los Smart Contracts