Semaphore-specification
Formal specification of Ethereum's Semaphore.
Here are specifications of key components of Ethereum's Semaphore.
We plan to formally specify the remaining components as well.
Subtopics
- Prime-field-abbreviations
- Abbreviations for the prime field functions for Semaphore.
- Pedersen-hash
- The Pedersen hash for the Ethereum Semaphore.
- Pedersen-hash-base-points
- Calculation of the ten base points used for the Pedersen hash.
- Baby-jubjub
- The BabyJubjub complete twisted Edwards curve.
