added tally segmenting and iterative decryption.  TODO: fix generated proofs - they don't verify