Multisig Proof Status

[dkcumming]

Multisig Proof Status Updated 2026-03-10

All proofs are run with --max-workers 4

Notable Assumptions / Limitations:

• The number of Signers is reduced to 1 (from 11), this is for performance reasons of the proofs, except for initialize_multisig which uses 3 Signers. We further introduce two tests, revoke_multisig_2sig and withdraw_excess_lamports_multisig_multisig_2sig, identical to their 1 Signer counterparts except using 2 Signers.

Proof Harness	P-Status	P-Time	SPL-Status	SPL-Time	KaaS (P/SPL)
approve_checked_multisig	✅	4724	✅	12561	2026-04-10 / 2026-04-10
approve_multisig	✅	1613	✅	5225	2026-04-10 / 2026-04-10
burn_checked_multisig	✅	153852	✅	89712	2026-04-11 / 2026-04-14
burn_multisig	✅	156153	✅	86447	2026-04-11 / 2026-04-13
close_account_multisig	✅	29320	✅	27594	2026-04-10 / 2026-04-10
freeze_account_multisig	✅	4294	✅	6385	2026-04-10 / 2026-04-10
initialize_multisig	✅	458	✅	4043	2026-04-10 / 2026-04-10
initialize_multisig2	✅	596	✅	1933	2026-04-10 / 2026-04-10
mint_to_checked_multisig	✅	11785	✅	22400	2026-04-10 / 2026-04-10
mint_to_multisig	✅	10412	✅	22982	2026-04-10 / 2026-04-10
revoke_multisig	✅	1287	✅	8355	2026-04-10 / 2026-04-10
set_authority_account_multisig	✅	{ 15313, 24006, 41458 }	✅	{ 18942, 26930, 42327 }	{ n=1: 2026-04-21, n=2: 2026-04-22, n=3: 2026-04-23 } ** / { n=1: 2026-04-22, n=2: 2026-04-22, n=3: 2026-04-23 } **
set_authority_mint_multisig	✅	{ 19375, 25508, 40400 }	✅	{ 19964, 18290, 31687 }	{ n=1: 2026-04-21, n=2: 2026-04-22, n=3: 2026-04-23 } ** / { n=1: 2026-04-22, n=2: 2026-04-22, n=3: 2026-04-23 } **
thaw_account_multisig	✅	5355	✅	6133	2026-04-10 / 2026-04-10
transfer_checked_multisig	✅	304453	{ ✅, ✅, pending } **	{ 65588, 74997 }	2026-04-11 / { n=1: 2026-04-19, n=2: 2026-04-20 } **
transfer_multisig	✅	214690	✅	{ 28685, 54176, 165217 }	2026-04-11 * / { n=1: 2026-04-18, n=2: 2026-04-19, n=3: 2026-04-20 } **
withdraw_excess_lamports_account_multisig	✅	2757	NA	NA	2026-04-10 / NA
withdraw_excess_lamports_mint_multisig	✅	2931	NA	NA	2026-04-10 / NA
withdraw_excess_lamports_multisig	✅	472	NA	NA	2026-04-10 / NA
withdraw_excess_lamports_multisig_multisig	✅	4184	NA	NA	2026-04-10 / NA
revoke_multisig_2sig	✅	10118	✅	28107	2026-04-13 / 2026-04-13
withdraw_excess_lamports_multisig_multisig_2sig	✅	18941	NA	NA	2026-04-13 / NA

* Proof passed, but the run was cancelled during stats generation due to memory exhaustion due to proof size. The proof directory and the logs are complete and available.
** The proof for this test is large, leading to difficulties completing it due to large memory requirements. We split
the test in three, restricting the number of registered signers to 1, 2, and 3 in each individual version instead of
exploring 1 <= #registered_signers <= 3 in the same test (as the original proof does). We provide separate proofs.