Scripts Plutus
Cardano usa scripts para validar ações. Esses scripts, que são pedaços de código, implementam funções puras com saídas Verdadeiro ou Falso. A validação de scripts é o processo de invocar o interpretador de scripts para executar um script dado em argumentos apropriados.
O que são scripts?
Um script é um programa que decide se a transação que gasta a saída está autorizada a fazê-lo. Tal script é chamado de script validador – ele valida se o gasto é permitido.
Como exemplo, um script validador simples poderia verificar se uma chave específica assinou a transação de gasto – isso replicaria exatamente o comportamento das saídas mais simples de pagamento de chave pública. No entanto, com um pouco de extensão cuidadosa, podemos usar scripts para expressar lógica mais útil na cadeia do que isso.
A maneira como o modelo EUTXO funciona é que os scripts validadores são passados como três argumentos:
- Datum: esta é uma peça de dados anexada à saída que o script está bloqueando. Isso é tipicamente usado para carregar estado.
- Redeemer: esta é uma peça de dados anexada à entrada de gasto. Isso é tipicamente usado para fornecer uma entrada para o script do gastador.
- Contexto: esta é uma peça de dados que representa informações sobre a transação de gasto. Isso é usado para fazer afirmações sobre a maneira como a saída está sendo enviada (como “Bob a assinou”).
Os dados contidos no contexto são:
- entradas – saídas a serem gastas
- entradas de referência – entradas usadas apenas para referência, elas não são gastas
- saídas – novas saídas criadas pela transação
- taxas – taxas de transação
- valor cunhado – valor cunhado ou queimado
- certificados – resumo dos certificados contidos na transação
- retiradas – usadas para retirar recompensas da pool de staking
- intervalo válido – um intervalo de tempo no qual a transação é válida
- signatários – uma lista de assinaturas de transação
- redeemers – dados usados para fornecer uma entrada para o script do gastador
- dados de informação – um mapa de hashes de datum para seus valores de datum
- id – identificação da transação
Tutoriais e exemplos de scripts
- Scripts Plutus
- Escrevendo scripts validadores básicos
- Escrevendo políticas de cunhagem básicas
- Como exportar scripts, datums e redeemers
- Como perfilar o uso do orçamento de scripts Plutus
- Exemplos de scripts Plutus na era Babbage
- Exemplos de código do Programa Plutus Pioneer
- Técnicas de otimização para scripts Plutus
- Mudanças na linguagem Plutus (V1 e V2)
- Atualizando para Vasil e endereços de script Plutus
Parâmetros do modelo de custo
O modelo de custo para scripts Plutus Core tem vários parâmetros, que fazem parte dos parâmetros do protocolo Cardano.
Veja os seguintes detalhes para mais informações: