Append fri_params, field, arithmetization params hash to verification key.

[ETatuzova]

The transcript is initialized using the commitments of fixed polynomials, as well as the hash value of the constraint system.

https://github.com/NilFoundation/crypto3-zk/blob/9c8d04f3debe87cbae1fcab207d18cae59c6da4a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp#L137-L138

The initialization must also use other values to ensure that the context is unique, including the following.

• Description of the final field (prime modulus)
• FRI parameters: steps, blowing factor, domain elements, etc (see the next comment)
• Circuit parameters: number of usable rows, number of columns, types of columns, etc (placeholder_circuit_params, placeholder_params structures)
• Application-dependent string value that the user can specify

[nil-foundation-cicd-bot[bot]]

PRs, synced with the current issue:

• NilFoundation/crypto3-math#64 (SHA: 857e2af)
• NilFoundation/crypto3-zk#223 (SHA: daeecde)
• NilFoundation/crypto3-zk-marshalling#60 (SHA: cd99b4a)

Note: Please do not edit this comment; it's generated automatically.