Addresses
Addresses.
Each validator has a unique address,
which is an Aleo blockchain address of the form aleo1....
In our model, the details of these addresses are irrelevant,
so we treat addresses as abstract entities.
Our model only needs to compare addresses for equality.
In our model, addresses are also used to represent signatures.
See certificate for more details.
Subtopics
- Address
- Fixtype of addresses.
- Address-set
- Fixtype of sets of addresses.
