class Ed25519FieldElement implements Serializable {

  public Ed25519FieldElement add(final Ed25519FieldElement g) {
    final int[] gValues = g.values;
    final int[] h = new int[10];
    for (int i = 0; i < 10; i++) {
      h[i] = this.values[i] + gValues[i];
    }

    return new Ed25519FieldElement(h);
  }

  public  Ed25519FieldElement(final int[] values);

}