-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathZpField.java
121 lines (101 loc) · 3.31 KB
/
ZpField.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
package com.cryptopals;
import com.cryptopals.set_8.FiniteFieldElement;
import lombok.EqualsAndHashCode;
import java.math.BigInteger;
import java.util.Random;
import static java.math.BigInteger.valueOf;
/**
* Implements a finite field Zp
*/
public class ZpField {
private final ZpFieldElement additiveIdentity, multiplicativeIdentity;
private final long p;
private final BigInteger pBI;
public ZpField(long prime) {
if (!BigInteger.valueOf(prime).isProbablePrime(100)) {
throw new IllegalArgumentException(prime + " is not a prime number");
}
p = prime;
pBI = valueOf(p);
additiveIdentity = createElement(0);
multiplicativeIdentity = createElement(1);
}
public ZpFieldElement createElement(long e) {
return new ZpFieldElement(e);
}
/**
* Represents elements of the final field Zp
*/
@EqualsAndHashCode
public class ZpFieldElement implements FiniteFieldElement {
/** Invariant: e is always >= 0 */
private final long e;
/**
* Constructs an element of finite field Zp out of {@code elem}
* @param elem any value, can be negative
*/
ZpFieldElement(long elem) {
elem %= p;
if (elem < 0) {
elem += p;
}
e = elem;
}
@Override
public ZpFieldElement add(FiniteFieldElement that) {
ZpFieldElement zpFieldElem = (ZpFieldElement) that;
return new ZpFieldElement(e + zpFieldElem.e);
}
@Override
public ZpFieldElement subtract(FiniteFieldElement that) {
ZpFieldElement zpFieldElem = (ZpFieldElement) that;
return new ZpFieldElement(e - zpFieldElem.e);
}
@Override
public ZpFieldElement times(BigInteger k) {
return new ZpFieldElement(e * k.longValue());
}
@Override
public ZpFieldElement multiply(FiniteFieldElement that) {
ZpFieldElement zpFieldElem = (ZpFieldElement) that;
return new ZpFieldElement(e * zpFieldElem.e);
}
@Override
public ZpFieldElement modInverse() {
return new ZpFieldElement(valueOf(e).modInverse(pBI).longValue());
}
@Override
public ZpFieldElement scale(BigInteger k) {
return new ZpFieldElement(valueOf(e).modPow(k, pBI).longValue());
}
@Override
public ZpFieldElement getAdditiveIdentity() {
return additiveIdentity;
}
@Override
public ZpFieldElement getMultiplicativeIdentity() {
return multiplicativeIdentity;
}
@Override
public ZpFieldElement getRandomElement() {
return new ZpFieldElement(new Random().nextInt((int) p));
}
@Override
public BigInteger getOrder() {
return valueOf(p);
}
@Override
public BigInteger getCharacteristic() {
return getOrder();
}
@Override
public String toString() {
return Long.toString(e);
}
@Override
public int compareTo(FiniteFieldElement o) {
ZpFieldElement that = (ZpFieldElement) o;
return Long.compare(e, that.e);
}
}
}