Here’s a cross-reference in which this idea is proposed: Enforcing windback (validity and availability), and a proof of custody - #2 by kladkogex. However this mechanism using zk-S(T/N)ARKs has more overhead and will need more optimizations with STARKs. There’s are linked posts in that article, e.g. this follow-up: Finality and Windback - Proof of Custody Revisited - #3 by jamesray1.