Desenvolvimento e auditoria dos primeiros smart contracts