{"id":20721993,"url":"https://github.com/glondu/belenios","last_synced_at":"2025-05-10T23:32:09.968Z","repository":{"id":13877640,"uuid":"16575681","full_name":"glondu/belenios","owner":"glondu","description":"Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios","archived":false,"fork":false,"pushed_at":"2025-04-30T07:24:37.000Z","size":16352,"stargazers_count":139,"open_issues_count":29,"forks_count":22,"subscribers_count":9,"default_branch":"master","last_synced_at":"2025-04-30T08:35:21.336Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://www.belenios.org","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"agpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/glondu.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null},"funding":{"custom":"https://www.belenios.org/donations.html"}},"created_at":"2014-02-06T10:19:14.000Z","updated_at":"2025-04-30T07:24:40.000Z","dependencies_parsed_at":"2024-02-20T11:48:33.366Z","dependency_job_id":"becd3c74-0155-488d-ba38-e0d50f12d9af","html_url":"https://github.com/glondu/belenios","commit_stats":null,"previous_names":[],"tags_count":34,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glondu%2Fbelenios","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glondu%2Fbelenios/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glondu%2Fbelenios/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/glondu%2Fbelenios/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/glondu","download_url":"https://codeload.github.com/glondu/belenios/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253497299,"owners_count":21917683,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-17T03:33:55.881Z","updated_at":"2025-05-10T23:32:04.954Z","avatar_url":"https://github.com/glondu.png","language":"OCaml","funding_links":["https://www.belenios.org/donations.html"],"categories":["[🎓 research](https://github.com/stars/ketsapiwiq/lists/research)"],"sub_categories":[],"readme":"Belenios\n========\n\n\nIntroduction\n------------\n\nBelenios is a verifiable voting system that partly implements the\nHelios-C protocol described [here](http://eprint.iacr.org/2013/177),\nwhich is itself derived from [Helios](http://vote.heliosvoting.org).\n\nIt consists of a command-line tool and a web server. Both use the same\nbackend and can be used to organize elections and perform\nverifications. They employ messages formatted in a common format, a\nspecification of which is available in doc/specification.tex.\n\nCompilation instructions are provided in INSTALL.md.\n\n\nElection overview\n-----------------\n\nAn election involves several roles: an administrator, a credential\nauthority, trustees and voters. For maximum security, each of these\nroles must be performed by a different entity. An election can be\nsummarized as follows:\n\n 1. The administrator initiates the process.\n 2. The credential authority generates one credential per voter; he\n    sends the private part to each voter and all public parts to\n    the administrator.\n 3. Each trustee generates a keypair and sends his/her public key to\n    the administrator.\n 4. The administrator collects all public credentials and trustees'\n    public keys and sets up the election.\n 5. The administrator opens the election.\n 6. Each voter votes; the administrator collects, checks and publishes\n    all the ballots.\n 7. The administrator closes the election.\n 8. Trustees collectively decrypt the result.\n 9. The administrator announces the result of the election.\n\n\nThe command-line tool\n---------------------\n\nEach step can be performed with the help of the command-line tool. The\ntool is also the most convenient way to exercise the verifiability\ncapabilities of the system.\n\nMore information in doc/tool.md.\n\n\nThe web server\n--------------\n\nThe whole process can be executed using the web server. Each step can\nbe done with a browser. In this case, the formal \"administrator\" role\nabove is typically shared between the server and a human operator. The\nserver can also assume the roles of credential authority and\ntrustee. Therefore, in its simplest (and weakest) form, an election\ninvolves only an operator henceforth called \"election administrator\"\n(usually distinct from the person who sets up and administrates the\nserver itself) and voters. In its strongest form, an election involves\nthe election administrator, a credential authority, (at least) two\ntrustees and voters.\n\nMore information in doc/web.md.\n\n\nLegal\n-----\n\n### Internal code\n\nBy \"internal code\", we mean everything that is not in the `vendor/`\ndirectory.\n\nCopyright © 2012-2023 Inria, CNRS\n\nThis program is free software: you can redistribute it and/or modify\nit under the terms of the GNU Affero General Public License as\npublished by the Free Software Foundation, either version 3 of the\nLicense, or (at your option) any later version, with the additional\nexemption that compiling, linking, and/or using OpenSSL is allowed.\n\nThis program is distributed in the hope that it will be useful, but\nWITHOUT ANY WARRANTY; without even the implied warranty of\nMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU\nAffero General Public License for more details.\n\n### External code\n\nPlease refer to each file for accurate copyright and licensing\ninformation.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fglondu%2Fbelenios","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fglondu%2Fbelenios","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fglondu%2Fbelenios/lists"}