Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Agora is an open-source programming language and software toolkit designed for cryptographic voting systems. It was developed by a team at the University of Zurich's Department of Informatics in Switzerland and first released in 2017. Agora aims to help simplify the process of writing, auditing, and verifying both the voting protocol as well as its implementation. The language allows secure computations on encrypted data using advanced cryptographic tools such as homomorphic encryption, zero-knowledge proofs, secret sharing schemes. Agora can verify that each voter’s ballot was cast according to the rules of the election without revealing individual votes or compromising privacy. To achieve this level of security while also being user-friendly to developers, Agora relies on a domain-specific language (DSL) integrated with verification tools within its framework.

Hire Agora Experts

Enter your email to get started.