TwistedEdwards
class TwistedEdwards extends Base (View source)
Curves over ax^2 + y^2 = 1 + dx^2*y^2
Properties
| protected object[] | $doubles | Doubles | from Base |
| protected BigInteger | $order | The Order | from Base |
| protected Integer | $factory | Finite Field Integer factory | from Base |
| protected BigInteger | $modulo | The modulo | |
| protected object | $a | Cofficient for x^2 | |
| protected object | $d | Cofficient for x^2*y^2 | |
| protected object[] | $p | Base Point | |
| protected object | $zero | The number zero over the specified finite field | |
| protected object | $one | The number one over the specified finite field | |
| protected object | $two | The number two over the specified finite field |
Methods
Returns the affine point
Set x and y coordinates for the base point
Retrieve the base point as an array
Returns the modulo
Tests whether or not the x / y values satisfy the equation
Details
in
Base at line 63
object
randomInteger()
Returns a random integer
in
Base at line 73
object
convertInteger(BigInteger $x)
Converts a BigInteger to a FiniteField integer
in
Base at line 83
int
getLengthInBytes()
Returns the length, in bytes, of the modulo
in
Base at line 93
int
getLength()
Returns the length, in bits, of the modulo
in
Base at line 108
array
multiplyPoint(array $p, Integer $d)
Multiply a point on the curve by a scalar
Uses the montgomery ladder technique as described here:
https://en.wikipedia.org/wiki/Elliptic_curve_point_multiplication#Montgomery_ladder https://github.com/phpecc/phpecc/issues/16#issuecomment-59176772
in
Base at line 130
FiniteField
createRandomMultiplier()
Creates a random scalar multiplier
in
Base at line 144
setOrder(BigInteger $order)
Sets the Order
in
Base at line 154
BigInteger
getOrder()
Returns the Order
in
Base at line 164
object
setReduction(callable $func)
Use a custom defined modular reduction function
object[]
convertToAffine(array $p)
Returns the affine point
in
Base at line 184
object[]
convertToInternal(array $p)
Converts an affine point to a jacobian coordinate
in
Base at line 194
object[]
negatePoint(array $p)
Negates a point
in
Base at line 211
int[]
multiplyAddPoints(array $points, array $scalars)
Multiply and Add Points
setModulo(BigInteger $modulo)
Sets the modulo
setCoefficients(BigInteger $a, BigInteger $d)
Set coefficients a and b
setBasePoint($x, $y)
Set x and y coordinates for the base point
Integer
getA()
Returns the a coefficient
Integer
getD()
Returns the a coefficient
array
getBasePoint()
Retrieve the base point as an array
BigInteger
getModulo()
Returns the modulo
bool
verifyPoint(array $p)
Tests whether or not the x / y values satisfy the equation