MatMul parameters needed to solve. Day 2 solver consumes these.
Block dimension for compression.
Matrix dimension. btxd ships n=512 in production.
Field modulus (Mersenne prime 2^31-1).
Noise rank.
Hex-encoded seed for matrix A.
Hex-encoded seed for matrix B.
MatMul parameters needed to solve. Day 2 solver consumes these.