TechFlow（深潮）の報道によると、5月2日、CoinDeskは、パラダイム（Paradigm）のジェネラル・パートナーであるダン・ロビンソン氏が金曜日に「証明可能なアドレス所有権のタイムスタンプ（Provable Address-Control Timestamps、略称：PACTs）」と題する提案を発表したと伝えた。この提案は、将来の量子コンピューティング攻撃から古いビットコイン・ウォレットを保護することを目的としており、同時に、即座に資金を移動させる必要を回避するものである。
PACTsでは、保有者は現在、所有権の暗号化された証明を非公開で生成し、それにタイムスタンプを付与することが可能である。将来的にネットワークが量子脆弱なアドレスを凍結した場合、抗量子性を備えたSTARKゼロ知識証明を用いて資産をアンロックできる。具体的な手順としては、まず保有者がランダムなソルト値を生成し、BIP-322標準（ビットコイン・アドレスから資金を消費せずにメッセージに署名できる仕様）を用いて所有権証明を作成する。次に、このソルト値と証明をブロックチェーン上へのコミットメントとしてパッケージ化し、OpenTimestampsサービスを介してビットコイン・ブロックチェーンに固定する。関連ファイルはすべて非公開のまま保持される。
本提案は、著名な開発者ジェイムソン・ロップ氏らが4月中旬に提起したBIP-361の補完的なものである。BIP-361は、今後5年間で段階的に量子脆弱なアドレスを廃止し、保有者に対して自発的な移行を促す計画であり、移行を怠った場合、アドレスの凍結リスクが生じる。これは、いわゆる「サトシ・ナカモト」が所有するとみられる約110万BTC（約840億米ドル相当）を含む、長期にわたって休眠している資産にとって大きな課題となる。
さらに、PACTsは、BIP-361がBIP-32（2012年に導入された決定論的鍵生成規格）に基づくウォレットに対して提供する救済手段の空白を埋めるものである。しかし、2012年以前に生成されたウォレット（サトシ・ナカモトの既知のアドレスのほとんどが該当）はBIP-32を採用していないため、この経路による救済は不可能である。本提案の実現には、ビットコイン・ネットワークがソフトフォークによってSTARK検証プロトコルを採用する必要があり、また、サトシ・ナカモト本人またはその秘密鍵を実際に制御する者が自発的にコミットメントを行う場合にのみ、その資産が保護される。
