Attesters define the data system for their application on top of the UniRep protocol. There are
FIELD_COUNT data fields. It composes of two kinds of operations: addition field and replacement field.
The elements in addition field are combined with addition and modulo by
data = (old_data + new_data) % SNARK_SCALAR_FIELD. There are
SUM_FIELD_COUNT addition fields.
The elements in replacement field are combined by replacement. Each replacement field contains 2 parts:
- 205 bits data (upper bits)
- 48 bits index (lower bits)
The maximum value that can be stored in a replacement field is
index value is used by the protocol to order the attestations. Because the index is stored as the higher order bits data field attestation can be sorted without bit operations.
FIELD_COUNT - SUM_FIELD_COUNT replacement fields.