class Ed25519FieldElement implements Serializable {

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

    return new Ed25519FieldElement(h);
  }

  public  Ed25519FieldElement(final int[] values);

}