P13-L04 · P13 · P13-M01
Identificar alterações privilegiadas observadas e incerteza restante
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
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
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
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.