The current report validates the smart contract called Multisig2 (located here) and confirms no bugs that can lead to losing or freezing of any funds, as well as to its improper distribution were discovered. The claim above is based on mathematical proving of things rather than on manual inspection that minimizes the chance of missing the potential threats.
Thus, the verifier recommends the Multisig2 smart contract for moving into production.
The full report is available at the following link.
Any questions or comments regarding the present report are to be requested by email info@pruvendo.com or by Telegram( SergeyEgorovSPb or andruiman).