Merge branch 'develop' into bn-hash

CHANGELOG.md

@@ -7,10 +7,23 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ## [Unreleased]
 
 ### Added
-- Implemented new indifferentiable hash functions to G1 and G2 for Barreto-Naehrig bilinear groups
+- New indifferentiable hash functions to G1 and G2 for Barreto-Naehrig bilinear groups
+- Additional operator overload methods added to `ExponentExpr`
+- `BasicBilinearGroup` wrappers for the implemented bilinear groups
+- Convenience methods for the vector classes
+- `square`, `div` and `valueOf` convenience methods for `Zn` and `Zp` classes
 
 ### Changed
-- Renamed counting group classes and package to debug
+- Renamed "counting" group classes and package to "debug"
+- Made supersingular and Barreto-Naehrig implementation classes package-private (except those that are relevant to the user)
+- Made internal lazy group classes package-private
+- Adjusted some tests to work with the new package-private classes
+- Made representation handler classes package-private and moved the classes up a package
+- Made ring group impl classes package-private and moved inv and neg cost estimation to the `Ring` interface
+- Improved performance of finite field multiplication
+
+### Fixed
+- Fixed `decomposeIntoDigits` method of `IntegerRing`
 
 ## [1.0.0] - 2021-03-01
 

src/main/java/org/cryptimeleon/math/expressions/bool/ExponentEqualityExpr.java

@@ -27,7 +27,7 @@ public ExponentEqualityExpr(ExponentExpr lhs, ExponentExpr rhs) {
     }
 
     @Override
-    public BooleanExpression substitute(Substitution substitutions) {
+    public ExponentEqualityExpr substitute(Substitution substitutions) {
         return lhs.substitute(substitutions).isEqualTo(rhs.substitute(substitutions));
     }
 

src/main/java/org/cryptimeleon/math/expressions/bool/GroupEqualityExpr.java

@@ -46,7 +46,7 @@ public Group getGroup() {
     }
 
     @Override
-    public BooleanExpression substitute(Substitution substitutions) {
+    public GroupEqualityExpr substitute(Substitution substitutions) {
         return lhs.substitute(substitutions).isEqualTo(rhs.substitute(substitutions));
     }
 

src/main/java/org/cryptimeleon/math/structures/groups/GroupElement.java

@@ -1,6 +1,6 @@
 package org.cryptimeleon.math.structures.groups;
 
-import org.cryptimeleon.math.expressions.bool.BooleanExpression;
+import org.cryptimeleon.math.expressions.bool.GroupEqualityExpr;
 import org.cryptimeleon.math.expressions.exponent.ExponentExpr;
 import org.cryptimeleon.math.expressions.group.GroupElementConstantExpr;
 import org.cryptimeleon.math.expressions.group.GroupElementExpression;
@@ -160,7 +160,7 @@ default GroupElementConstantExpr expr() {
      * @param expr an expression to compare this group element to
      * @return an expression the evaluates to true (for some variable instantiation) if this is equal to expr.
      */
-    default BooleanExpression isEqualTo(GroupElementExpression expr) {
+    default GroupEqualityExpr isEqualTo(GroupElementExpression expr) {
         return expr().isEqualTo(expr);
     }
 
@@ -172,7 +172,7 @@ default BooleanExpression isEqualTo(GroupElementExpression expr) {
      * @param expr an expression to compare this group element to
      * @return an expression the evaluates to true (for some variable instantiation) if this is equal to expr.
      */
-    default BooleanExpression isEqualTo(String expr) {
+    default GroupEqualityExpr isEqualTo(String expr) {
         return expr().isEqualTo(expr);
     }
 
@@ -184,7 +184,7 @@ default BooleanExpression isEqualTo(String expr) {
      * @param other another group element to compare this group element to
      * @return an expression the evaluates to true iff this.equals(other).
      */
-    default BooleanExpression isEqualTo(GroupElement other) {
+    default GroupEqualityExpr isEqualTo(GroupElement other) {
         return expr().isEqualTo(other);
     }