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.
- Abbreviations for the prime field functions for Semaphore.
- The Pedersen hash for the Ethereum Semaphore.
- Calculation of the ten base points used for the Pedersen hash.
- The BabyJubjub complete twisted Edwards curve.