Expand description
Projective Ed25519 verification equation.
This stage adds affine R to projective [k]A, then compares the result
with projective [S]B using cross-products. No inversion or compression is
required. Twenty contexts share four field multipliers and each request
occupies exactly three multiplier issue cycles.
Structs§
- Equation
In - One strict projective-equation request.
- Equation
Out - Flow control and equality result from
EquationPipe. - Equation
Pipe - Twenty-context strict projective equation pipeline.
Functions§
- equation_
kernel - State transition for
EquationPipe.