#multisig

2 posts tagged with multisig.

Solana multisig security

What can teams do if their multisig signers are compromised? We explore Solana’s transaction signing model and present a procedure for safe signing in the presence of malicious signers on Solana. Robert Chen

Solana formal verification: a case study

We present a novel framework for formal verification of Solana Anchor programs — and a case study application to the Squads multisig. Harrison Green