Got proofs to work like they should, so now we can verify encrypted sums. Related to #43 and #46, #39.