Merkle Proof
Compressão ZK · Profundo
Uma prova Merkle e o conjunto mínimo de hashes de nos irmaos (o caminho de prova) ao longo do ramo de uma folha específica até a raiz da árvore, permitindo que qualquer pessoa verifique independentemente que uma dada folha e parte de uma árvore Merkle recomputando a raiz a partir do hash da folha e dos hashes irmaos sem precisar de quaisquer outros dados da árvore. Na compressão de estado da Solana, cada interação com conta comprimida ou NFT comprimido requer que o chamador forneca uma prova Merkle válida; o programa on-chain faz hash da prova contra a raiz atual armazenada na conta Concurrent Merkle Tree para confirmar inclusao antes de executar a mudanca de estado. O tamanho da prova escala linearmente com a profundidade da árvore (por exemplo, uma árvore de profundidade 20 requer até 20 hashes irmaos, cada um de 32 bytes), então o canopy e usado para pre-armazenar nos de nivel superior on-chain para reduzir os dados de prova que devem ser passados em transações.