Modify the section "verification" in the MIP

[apenzk]

As per our discussion in SF there was dispute about the role of the section Verification in the MIP, see the draft document

My understanding is we want to call it correctness?

[franck44]

@apenzk
What about "Validation of the approach/proposal"?:
It should focus on providing compelling evidence that it is robust and sound. This validation may encompass the following aspects, as relevant:

Security Analysis: Evaluating the resilience of the approach against potential vulnerabilities and ensuring it meets stringent security requirements.
Qualitative Analysis: Assessing the correctness and logical soundness of the design, ensuring it behaves as intended under some reasonable assumptions.
Quantitative Analysis: Measuring performance characteristics such as efficiency, scalability, and resource utilization to ensure the approach meets practical requirements.
Potential Optimizations: Identifying opportunities to refine and enhance the approach for improved performance, reliability, and adaptability.
This is to ensure that the proposal is not only theoretically sound but also practical and effective in real-world scenarios.

[apenzk]

thx @franck44 . This is a great starting point.

I suggest to await with updating to the above once MIP-76 is merged.