Máquinas de Estado e Diagramas de Sequência para fluxos de entrada/saída de ativos e de disputas.
Especificações da Interface de Prova: entradas/saídas para predicados de identidade, APIs de verificação e a interface planejada do módulo de evidências.
Especificação do Adaptador de Oráculo: fontes, agregação e parâmetros.
Matemática de Reputação: fórmulas de pontuação, decaimento, limiares e exemplos.
Registro de Parâmetros de Governança com faixas seguras e procedimentos de alteração.
Glossário de termos do protocolo e classes de trilhos de pagamento.