We should be certain that the homomorphic cryptography is working as expected, especially as https://todo.hnitbjorg.xyz/~edwargix/tallyard/6 begins to be worked on.