Andrew Poelstra é matemático e investigador de Bitcoin. Participou na criação de Miniscript, que facilita descrever e analisar condições de gasto, e é coautor de Bulletproofs, provas criptográficas que verificam determinadas afirmações sem revelar dados ocultos. São resultados de um trabalho conjunto.
Uma fórmula responde muitas vezes a uma preocupação familiar: proteger as poupanças ou não mostrar a toda a gente o valor de cada pagamento. Poelstra trabalhou em ferramentas que transformam essas necessidades em regras verificáveis. Em fevereiro de 2023, a Blockstream apresentou-o como diretor de investigação. No relatório do segundo trimestre de 2026, esse título designa Jonas Nick. Um cargo antigo não descreve automaticamente a função atual. Os projetos e as colaborações dizem mais sobre o contributo de um investigador do que um título isolado. [1] [2]
Imagine gastar normalmente com a sua própria chave, mas preparar outro caminho, definido antecipadamente, que fique disponível após uma espera caso perca essa chave. Não basta escrever as condições: é preciso verificar se correspondem à intenção. Miniscript ajuda nessa tarefa. A documentação identifica Pieter Wuille, Andrew Poelstra e Sanket Kanjalkar como criadores e reconhece discussões com outras pessoas. Trata-se de um resultado coletivo; reconhecer um contributo não substitui o trabalho dos restantes autores. [3]
Bitcoin Script é a linguagem que define condições de gasto. Miniscript dá estrutura a uma parte delimitada dessa linguagem, permitindo combinar e analisar condições. Um compilador, programa que transforma requisitos numa expressão concreta, pode procurar uma construção mais económica. Se o caminho habitual for usado mais frequentemente do que o alternativo, pode considerar essa expectativa no custo. Essas ponderações não tornam a validade aleatória. O caminho menos frequente continua a ser igualmente válido quando as suas regras são cumpridas. [3]
O caminho de reserva também precisa de definir de onde começa a espera. Miniscript after expressa um limite absoluto através do campo nLockTime da transação, como uma determinada altura da cadeia. older usa a condição relativa nSequence, medindo um intervalo desde a confirmação da saída que se pretende gastar. São referências temporais distintas, não nomes intercambiáveis. O fim do prazo não desencadeia um pagamento. Pode disponibilizar um caminho, mas continuam a ser necessárias as assinaturas e outras condições; a transação ainda tem de ser criada e confirmada. [3]
É possível verificar uma propriedade de um montante mantendo o montante em segredo? Bulletproofs permite esse tipo de prova. Quem verifica pode saber que um número oculto está dentro do intervalo permitido sem descobrir o seu valor. Stanford enumera Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille e Greg Maxwell como autores. Um artigo científico é diferente de um programa concreto: a página identifica algumas implementações como trabalhos em curso e um protótipo como inadequado para produção. Um link, por si só, não recomenda confiar dinheiro ao programa. [4]
Alguns sistemas de prova exigem uma preparação inicial de parâmetros cuja segurança depende do tratamento correto de informação secreta. Essa preparação chama-se trusted setup. Bulletproofs não precisa dela. Esta vantagem não elimina os pressupostos criptográficos nem o risco de erros de programação. Uma prova curta também não é necessariamente a mais rápida de verificar: depende da tarefa e do sistema usado na comparação. Convém distinguir o que a prova estabelece, em que assenta a sua segurança e quanto trabalho exige a verificação. [4]
Montantes visíveis podem ser somados e comparados. Quando estão ocultos, provas matemáticas têm de fornecer a garantia correspondente. Em fevereiro de 2018, Poelstra explicou o rangeproof: uma prova de que o montante permanece dentro dos limites permitidos e não permite contornar a contabilidade por transbordamento numérico. Bulletproofs pode reunir provas de vários valores num conjunto mais compacto. O artigo apresenta medições de velocidade em equipamento especificado, não uma velocidade universal da rede. Reduzir a prova alivia uma carga concreta, sem resolver todas as limitações dos pagamentos. [5]
Em abril de 2017, Poelstra descreveu Confidential Assets para Elements, uma plataforma de construção de sistemas blockchain. Tanto o montante como o tipo de ativo transferido podem ficar ocultos. Ainda assim, é possível verificar se uma transferência criou ativos indevidamente ou converteu um ativo noutro. A emissão inicial e as emissões adicionais têm regras e autorizações próprias. A privacidade volta a combinar-se com verificação pública. Uma função de Elements não demonstra, porém, a sua adoção na camada base de Bitcoin: investigação, implementação e rede que a utiliza são questões distintas. [6]
Para ter uma visão mais completa, leia este verbete junto com Mara van der Laan, Rusty Russell, Miniscript. Também há referências a este verbete em Miniscript, Mara van der Laan, Rusty Russell.