O Manifesto Sem Confiança de Vitalik exige pressupostos de zero confiança A Prova de Construção da Automata remove a confiança cega das construções de software com proveniência verificável onchain ✧ Apoiado por @boundless_xyz, @SuccinctLabs e @brevis_zk trustlessbuilds (dot) xyz

Software sem confiança só pode ser alcançado se conseguirmos preencher a lacuna entre: ▶︎ código fonte legível no GitHub ▶︎ código executável na @ethereum Web3 depende de suposições sociais de que o binário implantado é exatamente o mesmo que o código fonte, mas isso leva a riscos na cadeia de suprimentos.

O padrão da indústria para a proveniência de software utiliza um arquivo de proveniência SLSA empacotado dentro de um pacote Sigstore. Verificar isso na blockchain é computacionalmente dispendioso, por isso o Proof of Build gera provas leves com programas convidados zkVM que tornam a validação prática.

A Prova de Construção da Automata fornece uma prova criptográfica onchain de que um artefato foi construído a partir de um commit git exato por um construtor esperado. Leia: Uma representação visual do fluxo de trabalho da Prova de Construção: