Documentation
I am not sure whether I'm expected to open issues here at all, since there seem to be none around...
Anyway. Tried belenios-tool, which is included in Debian and found the documentation severely lacking (and also the packaging missing vital files but that's an issue for the debian maintainer later).
So, most of the JSONs are simply undocumented. I can guess at their contents, especially about the group and templates, and the votes [ballots] themselves but nothing is written about them.
Also the tool seem to be able to do a lot but the help/manpages don't tell me about it. Sometimes they need some files, usually json or jsons, sometimes (like verify-diff) randomly named txt files. Neither the functions are detailed (what does a command really do in detail) nor the requirements (files) or the outputs (files also).
While demo.sh
helps a lot it's not a perfect way for documenting how things shall be done, and the tool.md
really ignores to mention about most of the files whether thy're created manually, or generated.
I haven't even tried to run a non-homomorphic election since there don't seem to be a demo for that (or maybe the commands are the same, I'll try), but figuring out that "blank" means another option took time.
Also, error reporting is horrible. Try to vote "[[1,0],[1,0]]" and figure out what is wrong where (yes, blank was not included, I figured). Similar when verify says "all ok" while validate chokes with "cannot validate", but neglects to mention why, where, and what to do? (Probably duplicate ballots from the same voter? Who could say.)
I took the time because it seems to be a nice, secure system by cursory glance. (I wish the webserver was released in binary form, I don't want to pull up a full ocaml devel environment.)