qaci-domainobjs

qaci-domainobjs

This module implements domain objects. A domain object is:

a logical container of purely domain information, usually represents a logical entity in the problem domain space

https://wiki.c2.com/?DomainObject

In effect, domain objects are representations of objects shared between other modules in this codebase. They also encapsulate helper functions which make it easy to use them with said modules.

PrivKey

A private key. Provides helper functions to do with passing it into a circuit in the right format, serialisation and deserialisation, and deep copying.

PubKey

A public key. Provides helper functions to do with passing it into a contract function or circuit in the right format, hashing, serialisation and deserialisation, and deep copying.

Keypair

Encapsulates a PrivKey and PubKey. Also provides genEcdhSharedKey which generates an ECDH shared key from a public key and a private key.

Command

The Command domain object represents a request by a user to cast a vote and/or change one's public key.

Message

The Message domain object is an encrypted Command and signature. That is, a Message is a Ciphertext (defined in qaci-crypto) which is the encrypted Command and its Signature (also defined in qaci-crypto). In other terms:

Message = Encrypt([Command, Signature], Key)

Ballot

Represents a User's votes in a Poll, as well as their next valid nonce.

StateLeaf

Represents a leaf in the state tree, which maps public keys to voice credit balances, as well as the timestamp at which it was inserted.

VerifyingKey

Encapsulates a Groth16 zk-SNARK verifying key.

Proof

Encapsulates a Groth16 zk-SNARK proof.