Ir para o conteúdoBlockAssay

Abuso de privilégios de oferta e transferências restritivas

P13-L04 · P13 · P13-M01

Identificar alterações privilegiadas observadas e incerteza restante

ILLUSTRATIVE · needs_review

Pré-requisitos: P13-L03

Objetivos de aprendizagem

  • Identificar alterações privilegiadas observadas e incerteza restante
  • Identificar alteração de estado privilegiada e limitar conclusões de transferência seletiva ao cenário testado.

Por que importa

Emissão ou restrição pode alterar capacidades de utilizadores, mas código presente ou uma transferência falhada não prova independentemente uso malicioso em todas as carteiras.

Explicação

Separe capacidade acessível, invocação observada, efeito de estado e intenção atribuída. Nome mint não basta: inspecione implementação, autorização e vias alternativas. Emissão privilegiada observada exige identidade exata do token, reconciliação evento/estado, bloco e montante. Slogan de teto pode ser limitado por atualizações ou funções alternativas. Restrição pode ter fins legítimos declarados, mas efeitos reais testam-se num estado definido.

Para transferências seletivas, precise classe de remetente, destinatário, rota, montante, bloco e método. Sucesso privilegiado não prova saída de utilizadores comuns; falha comum não prova falha universal. Reverts podem surgir de saldo, autorização, rota, prazo, estado ou política. Perda económica de saída também difere de taxas nominais. Preserve explicações alternativas e dependências por resolver.

Exemplo usa linhas em papel, não simulações nem transações reais. Radar é nomeado mas não produz saída real. Relate alterações técnicas no âmbito estipulado e recuse atribuição humana/intenção sem prova independente.

Terminologia

Capacidade: comportamento privilegiado acessível.

Invocação: uso registado desse comportamento.

Restrição seletiva: resultados distintos sob condições de remetente/rota indicadas.

Âmbito de teste: estado e parâmetros exatos de observação de execução.

Exemplo histórico

ILLUSTRATIVE no bloco B: emissão estipulada da função M acrescenta 200 à oferta 1000, dando 1200. Em B+1, W comum falha transferência de 10 unidades em R por POLICY; P privilegiado consegue mesmo montante/rota. Saldos e autorizações estipulados suficientes. Implementação e cobertura mais ampla ausentes.

Especificações visuais

Matriz de permissões com emissão M e transferências W/P, parâmetros em papel exatos e resultados. Adicionar lacunas de rotas/montantes não testados, não distintivo universal de honeypot.

Caption: Alteração privilegiada e resultados seletivos fictícios; sem conclusão universal de saída ou intenção.

SPECIFICATION_ONLY — o visual renderizado não foi produzido nem revisto independentemente.

O que a evidência demonstra

Na ficção, oferta aumenta 20% e dois cenários de remetente têm resultados de política distintos. Observações em papel limitadas.

O que a evidência não demonstra

Sem emissão real, implementação, falha universal, intenção nociva, identidade de controlador nem resultado Radar independente estabelecidos. Uma rota e um montante não cobrem todas as saídas.

Erros comuns

Chamar invocação observada à presença de código; supor sucesso privilegiado prova saída pública; generalizar uma rota; tratar restrição como fraude automática.

Exercício prático

Calcule alteração de oferta, redija tabela de cenários e classifique « todos podem sair », « ninguém pode transferir » e « política difere por remetente ». Nomeie dois testes ausentes.

Mostrar correção detalhada

Oferta=1000+200=1200; aumento relativo 200/1000=20%. Linhas: W/10/R/B+1/falha POLICY; P/10/R/B+1/sucesso. Diferença estipulada sustentada nestas linhas. Duas afirmações universais não estabelecidas. Testes ausentes: outro montante e outra rota/estado com remetentes comuns; inspecione implementação e autorização antes de atribuir mecanismo além do motivo dado. Intenção e identidade continuam insuficientemente sustentadas.

Lista de verificação

  • Separar capacidade, invocação e efeito.
  • Reconciliar oferta em unidades brutas compatíveis.
  • Delimitar remetente/montante/rota/estado.
  • Preservar explicações alternativas e intenção desconhecida.

Resumo

Efeitos privilegiados observados e diferenças limitadas de execução exigem registos precisos sem se tornarem afirmações universais ou criminosas.

Resumo

  • Função acessível não prova uso.
  • Sucesso privilegiado não estabelece saída de utilizador comum.
  • Um cenário testado não resolve todas as vias de execução.

Próxima lição

P13-L05

Ferramentas

Utilize a ferramenta BlockAssay indicada apenas como contexto de leitura de evidências. Esta lição não cria resultados de ferramenta, sessões de conta nem direitos de acesso. Exercício offline; não assine, implemente, aprove nem financie nada.

Fontes e limites das afirmações

  • ERC20: Norma ERC-20 — Interface do token e semântica das autorizações; a norma não estabelece identidade do emissor nem permissões seguras. Limite: Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
  • PROXY: Slots de armazenamento do proxy ERC-1967 — Slots padronizados de implementação/admin; renunciar a um papel não prova que todas as vias de atualização estejam desativadas. Limite: Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.

Classificações de evidência

ILLUSTRATIVE — entradas offline inteiramente fictícias; nenhuma observação atual.

Data de observação

null — nenhuma observação real

Versão do conteúdo

1

Data de revisão

null

Estado de revisão

needs_review

Especificações visuais

P13-L04-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Identificar alterações privilegiadas observadas e incerteza restante

Alteração privilegiada e resultados seletivos fictícios; sem conclusão universal de saída ou intenção.

Matriz de permissões com emissão M e transferências W/P, parâmetros em papel exatos e resultados. Adicionar lacunas de rotas/montantes não testados, não distintivo universal de honeypot.

Matriz de permissões com emissão M e transferências W/P, parâmetros em papel exatos e resultados. Adicionar lacunas de rotas/montantes não testados, não distintivo universal de honeypot.

A 390 px, empilhe observações, pressupostos, lacunas e conclusão; mantenha os IDs completos e um equivalente textual integral. As tabelas largas deslocam-se localmente.

A prosa pode seguir RTL; os IDs, quantidades e eixos temporais permanecem LTR. Preserve o sentido das dependências.

P13-L04-ILLUSTRATIVE-v1

Fontes e limites das afirmações

ERC20 · PRIMARY_DOCUMENTATION

Norma ERC-20

Afirmação sustentada
Interface do token e semântica das autorizações; a norma não estabelece identidade do emissor nem permissões seguras.
Limite de verificação
Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
Data de verificação
2026-10-02
Abrir fonte primária
https://eips.ethereum.org/EIPS/eip-20

PROXY · PRIMARY_DOCUMENTATION

Slots de armazenamento do proxy ERC-1967

Afirmação sustentada
Slots padronizados de implementação/admin; renunciar a um papel não prova que todas as vias de atualização estejam desativadas.
Limite de verificação
Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
Data de verificação
2026-10-02
Abrir fonte primária
https://eips.ethereum.org/EIPS/eip-1967

Proveniência dos dados

id: P13-L04-ILLUSTRATIVE-v1

dataStatus: ILLUSTRATIVE

observedAt: null

source: Original offline scenario in realOrHistoricalExample

scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.

Teste seu raciocínio

P13-L04-Q1 · Oferta 1000 mais 200: que aumento relativo?
P13-L04-Q2 · P consegue e W falha em R. O que estabelece?
P13-L04-Q3 · Função mint no código. O que falta para afirmar emissão real?
P13-L04-Q4 · Porquê registar hipóteses de saldo/autorização suficientes?
P13-L04-Q5 · O que variar no próximo teste?