Poseidon Hash
Compresión ZK · Fondo
Poseidon es una función hash criptográfica disenada especificamente para eficiencia dentro de circuitos aritmeticos de pruebas de conocimiento cero (compatible con ZK), operando nativamente sobre campos primos (especificamente el campo escalar BN254 usado por Groth16) con dramaticamente menos restricciones por hash que funciones orientadas a binario como SHA-256, que requiere aproximadamente 25,000 restricciones R1CS por invocacion versus aproximadamente 240 de Poseidon. En el ecosistema de ZK Compression y compresión de estado de Solana, Poseidon se usa como la función hash para construir árboles Merkle cuyas raices se verifican dentro de circuitos ZK, porque las pruebas ZK deben codificar cada operación de hash como restricciones aritmeticas y las operaciones bit a bit de SHA-256 son prohibitivamente caras en este modelo. El SVM de Solana expone una syscall nativa de Poseidon para que los programas en cadena puedan computar hashes Poseidon eficientemente sin pagar el costo de computo de una implementación puramente en BPF.