A few things to jot down in my mind: - Round constants should be a public method, can accept certain seed string - Probably need to define a Poseidon M31 golden result for both prover runtime side and the circuit side