Fixed #15. Make it possible to choose shifts and length of shifts for PublicWitnessing