pub fn flatten_public(pk: &PublicKey) -> (Vec<u8>, Vec<u8>, Vec<u8>)Expand description
Flatten the public key into three byte arrays for a coefficient-driven verifier: pubq holds
the upper-triangular quadratic coefficients per output (order i ≤ j), publin the linear
coefficients, pubc the constants. This is the exact layout the LOGOS rainbowVerify consumes.