ENDO PROTOCOL , DEVELOPMENT OF SMART CONTRACT VERIFICATION