The node you are looking for is at Switching between proof scripts.