Refactorization. ElementAtIndexProofs now has its own file