In ZK proofs, responses should be taken modulo q
HTML compliance