Update linked juice erasure proof to recent changes