Poseidon Hash
Compressão ZK · Fundo
Poseidon e uma função hash criptográfica projetada especificamente para eficiência dentro de circuitos aritmeticos de provas de conhecimento zero (ZK-friendly), operando nativamente sobre campos primos (especificamente o campo escalar BN254 usado por Groth16) com dramaticamente menos restrições por hash que funções orientadas a binário como SHA-256, que requer aproximadamente 25.000 restrições R1CS por invocacao versus aproximadamente 240 do Poseidon. No ecossistema de ZK Compression e compressão de estado da Solana, Poseidon e usado como a função hash para construir árvores Merkle cujas raizes sao verificadas dentro de circuitos ZK, porque provas ZK devem codificar cada operação de hash como restrições aritmeticas e as operações bit a bit do SHA-256 sao proibitivamente caras nesse modelo. O SVM da Solana expoe um syscall nativo Poseidon para que programas on-chain possam computar hashes Poseidon eficientemente sem pagar o custo computacional de uma implementação BPF pura.