This experiment might be relevant: https://github.com/offline-ant/wiggums-proof-loop