Merkle Tree
Compressão ZK · Profundo
Uma árvore Merkle e uma árvore binária de hash na qual cada no folha contem um hash criptográfico de um bloco de dados, e cada no não-folha (interno) contem o hash de seus dois filhos, de modo que o único hash raiz compromete criptograficamente todo o conjunto de dados e qualquer modificacao em qualquer folha produz uma raiz detectavelmente diferente. Na Solana, árvores Merkle sustentam a compressão de estado: o programa SPL Account Compression mantem Concurrent Merkle Trees on-chain com apenas o hash raiz persistido no armazenamento de contas, enquanto todos os dados das folhas sao derivaveis dos logs de transações. A função hash Poseidon e preferida sobre SHA-256 para árvores Merkle amigaveis a ZK porque e algebricamente eficiente dentro de circuitos aritmeticos usados para geracao de provas de conhecimento zero.