本文档描述了一个用于密钥库的最小化rollup方案(MKSR),旨在解决智能合约钱包(SCW)在多链同步的问题。该方案通过创建一个基于zk-SNARK证明的rollup,将SCW配置(例如签名者和阈值)存储在链上的Merkle树中,并允许用户通过提交SNARK证明来更新其SCW签名者,从而实现跨链钱包的同步和管理。该方案还讨论了合约设计、电路设计、经济模型以及未来的改进方向。