Hash primitives designed for efficient use inside ZK circuits, e.g., Poseidon or Rescue, minimizing arithmetic constraints for Merkle trees and commitments.