Pontos-chave
- Tezos incorpora mecanismos de governança e atualização do protocolo.
- Os contratos exigem ferramentas e linguagens adaptadas ao seu ambiente.
- A verificabilidade do código complementa a revisão de permissões e regras do produto.
O que é Tezos?
Tezos é uma rede Layer 1 que incorpora um processo de governança para adotar mudanças de protocolo. Seus contratos nativos são executados em Michelson, uma linguagem para a qual compilam ferramentas como LIGO e SmartPy. XTZ é o ativo utilizado na operação da rede.
A possibilidade de atualizar o protocolo por governança não significa que qualquer mudança esteja livre de riscos ou dispense manutenção. Uma equipe deve acompanhar as versões e verificar como elas afetam os contratos, as wallets e a infraestrutura que utiliza.
Como funciona
O consenso Proof of Stake de Tezos inclui a participação de bakers. Os contratos mantêm armazenamento e executam entradas definidas por sua interface. Linguagens de alto nível facilitam expressar a lógica antes de compilá-la para Michelson; LIGO oferece sintaxes como CameLIGO e JsLIGO, com ferramentas e versões próprias.
Etherlink é um ambiente EVM sobre a infraestrutura de rollups de Tezos. Sua execução, acesso RPC e percurso de ativos são diferentes dos contratos nativos da camada base. Decidir entre ambos exige identificar de quais ferramentas e ativos a aplicação precisa.
O que Tezos oferece
Tezos pode se encaixar em registros e ativos digitais que aproveitam padrões como FA2. Um sistema de associados pode definir classes de ativos e permissões de transferência, enquanto a aplicação consulta saldos e vigência. As autorizações de operadores devem ser explicadas e testadas, porque permitem ações sobre ativos de outras contas.
As propriedades do contrato podem ser expressas e analisadas com ferramentas formais quando o escopo justificar. Esse trabalho exige especificar o que se demonstra e sob quais premissas. Compilar para Michelson não equivale a contar com uma prova formal nem valida automaticamente o significado jurídico do ativo.
Limitações e critérios de escolha
A seleção inclui disponibilidade de desenvolvedores, bibliotecas e suporte de wallets para a interface específica. Uma migração de Solidity para contratos nativos implica redesenho; utilizar Etherlink traz outro conjunto de dependências. É necessário testar emissão, transferência, permissões e atualização, além de consultar o saldo final.
O orçamento deve considerar execução, armazenamento e infraestrutura de dados segundo os parâmetros vigentes. Também são simulados erros de autorização e recuperação após interrupções do indexador. A governança do protocolo oferece um mecanismo de evolução, mas o produto continua precisando de responsáveis claros por seus contratos e pela continuidade operacional.
Também conhecido como
- XTZ
- Tezos chain
