The proposal by Robin Linus, a core contributor to ZeroSync, a developer of zero-knowledge proofs for use on the Bitcoin