import * as $ from "@manahippo/move-to-ts";
import {AptosDataCache, AptosParserRepo, DummyCache, AptosLocalCache} from "@manahippo/move-to-ts";
import {U8, U64, U128} from "@manahippo/move-to-ts";
import {u8, u64, u128} from "@manahippo/move-to-ts";
import {TypeParamDeclType, FieldDeclType} from "@manahippo/move-to-ts";
import {AtomicTypeTag, StructTag, TypeTag, VectorTag, SimpleStructTag} from "@manahippo/move-to-ts";
import {OptionTransaction} from "@manahippo/move-to-ts";
import {HexString, AptosClient, AptosAccount, TxnBuilderTypes, Types} from "aptos";
import * as Error from "./error";
import * as Option from "./option";
import * as Vector from "./vector";
export const packageName = "AptosStdlib";
export const moduleAddress = new HexString("0x1");
export const moduleName = "ristretto255";

export const A_PLUS_B_POINT : U8[] = [u8("112"), u8("207"), u8("55"), u8("83"), u8("71"), u8("91"), u8("159"), u8("243"), u8("62"), u8("47"), u8("132"), u8("65"), u8("62"), u8("214"), u8("181"), u8("5"), u8("32"), u8("115"), u8("188"), u8("204"), u8("10"), u8("10"), u8("129"), u8("120"), u8("157"), u8("62"), u8("86"), u8("117"), u8("220"), u8("37"), u8("128"), u8("86")];
export const A_PLUS_B_SCALAR : U8[] = [u8("8"), u8("56"), u8("57"), u8("221"), u8("73"), u8("30"), u8("87"), u8("197"), u8("116"), u8("55"), u8("16"), u8("195"), u8("154"), u8("145"), u8("214"), u8("229"), u8("2"), u8("202"), u8("179"), u8("207"), u8("14"), u8("39"), u8("154"), u8("228"), u8("23"), u8("217"), u8("31"), u8("242"), u8("203"), u8("99"), u8("62"), u8("7")];
export const A_POINT : U8[] = [u8("232"), u8("127"), u8("237"), u8("161"), u8("153"), u8("215"), u8("43"), u8("131"), u8("222"), u8("79"), u8("91"), u8("45"), u8("69"), u8("211"), u8("72"), u8("5"), u8("197"), u8("112"), u8("25"), u8("198"), u8("197"), u8("156"), u8("66"), u8("203"), u8("112"), u8("238"), u8("61"), u8("25"), u8("170"), u8("153"), u8("111"), u8("117")];
export const A_SCALAR : U8[] = [u8("26"), u8("14"), u8("151"), u8("138"), u8("144"), u8("246"), u8("98"), u8("45"), u8("55"), u8("71"), u8("2"), u8("63"), u8("138"), u8("216"), u8("38"), u8("77"), u8("167"), u8("88"), u8("170"), u8("27"), u8("136"), u8("224"), u8("64"), u8("209"), u8("88"), u8("158"), u8("123"), u8("127"), u8("35"), u8("118"), u8("239"), u8("9")];
export const A_TIMES_BASE_POINT : U8[] = [u8("150"), u8("213"), u8("45"), u8("146"), u8("98"), u8("238"), u8("30"), u8("26"), u8("174"), u8("121"), u8("251"), u8("174"), u8("232"), u8("193"), u8("217"), u8("6"), u8("139"), u8("13"), u8("1"), u8("191"), u8("154"), u8("69"), u8("121"), u8("230"), u8("24"), u8("9"), u8("12"), u8("61"), u8("16"), u8("136"), u8("174"), u8("16")];
export const A_TIMES_B_SCALAR : U8[] = [u8("42"), u8("181"), u8("14"), u8("56"), u8("61"), u8("124"), u8("33"), u8("15"), u8("116"), u8("213"), u8("56"), u8("115"), u8("48"), u8("115"), u8("95"), u8("24"), u8("49"), u8("81"), u8("18"), u8("209"), u8("13"), u8("251"), u8("152"), u8("252"), u8("206"), u8("30"), u8("38"), u8("32"), u8("192"), u8("192"), u8("20"), u8("2")];
export const BASE_POINT : U8[] = [u8("226"), u8("242"), u8("174"), u8("10"), u8("106"), u8("188"), u8("78"), u8("113"), u8("168"), u8("132"), u8("169"), u8("97"), u8("197"), u8("0"), u8("81"), u8("95"), u8("88"), u8("227"), u8("11"), u8("106"), u8("165"), u8("130"), u8("221"), u8("141"), u8("182"), u8("166"), u8("89"), u8("69"), u8("224"), u8("141"), u8("45"), u8("118")];
export const B_POINT : U8[] = [u8("250"), u8("11"), u8("54"), u8("36"), u8("176"), u8("129"), u8("198"), u8("47"), u8("54"), u8("77"), u8("11"), u8("40"), u8("57"), u8("220"), u8("199"), u8("109"), u8("124"), u8("58"), u8("176"), u8("226"), u8("126"), u8("49"), u8("190"), u8("178"), u8("185"), u8("237"), u8("118"), u8("101"), u8("117"), u8("242"), u8("142"), u8("118")];
export const B_SCALAR : U8[] = [u8("219"), u8("253"), u8("151"), u8("175"), u8("211"), u8("138"), u8("6"), u8("240"), u8("19"), u8("141"), u8("5"), u8("39"), u8("239"), u8("178"), u8("142"), u8("173"), u8("91"), u8("113"), u8("9"), u8("180"), u8("134"), u8("70"), u8("89"), u8("19"), u8("191"), u8("58"), u8("164"), u8("114"), u8("168"), u8("237"), u8("78"), u8("13")];
export const E_DIFFERENT_NUM_POINTS_AND_SCALARS : U64 = u64("1");
export const E_ZERO_POINTS : U64 = u64("2");
export const E_ZERO_SCALARS : U64 = u64("3");
export const L_MINUS_ONE : U8[] = [u8("236"), u8("211"), u8("245"), u8("92"), u8("26"), u8("99"), u8("18"), u8("88"), u8("214"), u8("156"), u8("247"), u8("162"), u8("222"), u8("249"), u8("222"), u8("20"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("16")];
export const L_PLUS_ONE : U8[] = [u8("238"), u8("211"), u8("245"), u8("92"), u8("26"), u8("99"), u8("18"), u8("88"), u8("214"), u8("156"), u8("247"), u8("162"), u8("222"), u8("249"), u8("222"), u8("20"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("16")];
export const L_PLUS_TWO : U8[] = [u8("239"), u8("211"), u8("245"), u8("92"), u8("26"), u8("99"), u8("18"), u8("88"), u8("214"), u8("156"), u8("247"), u8("162"), u8("222"), u8("249"), u8("222"), u8("20"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("16")];
export const MAX_POINT_NUM_BYTES : U64 = u64("32");
export const MAX_SCALAR_NUM_BITS : U64 = u64("256");
export const MAX_SCALAR_NUM_BYTES : U64 = u64("32");
export const NON_CANONICAL_ALL_ONES : U8[] = [u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255")];
export const ORDER_ELL : U8[] = [u8("237"), u8("211"), u8("245"), u8("92"), u8("26"), u8("99"), u8("18"), u8("88"), u8("214"), u8("156"), u8("247"), u8("162"), u8("222"), u8("249"), u8("222"), u8("20"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("16")];
export const REDUCED_2_256_MINUS_1_SCALAR : U8[] = [u8("28"), u8("149"), u8("152"), u8("141"), u8("116"), u8("49"), u8("236"), u8("214"), u8("112"), u8("207"), u8("125"), u8("115"), u8("244"), u8("91"), u8("239"), u8("198"), u8("254"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("255"), u8("15")];
export const REDUCED_X_PLUS_2_TO_256_TIMES_X_SCALAR : U8[] = [u8("216"), u8("154"), u8("179"), u8("139"), u8("210"), u8("121"), u8("2"), u8("71"), u8("69"), u8("99"), u8("158"), u8("216"), u8("23"), u8("173"), u8("63"), u8("100"), u8("204"), u8("0"), u8("91"), u8("50"), u8("219"), u8("153"), u8("57"), u8("249"), u8("28"), u8("82"), u8("31"), u8("197"), u8("100"), u8("165"), u8("192"), u8("8")];
export const TWO_SCALAR : U8[] = [u8("2"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0")];
export const X_INV_SCALAR : U8[] = [u8("28"), u8("220"), u8("23"), u8("252"), u8("224"), u8("233"), u8("165"), u8("187"), u8("217"), u8("36"), u8("126"), u8("86"), u8("187"), u8("1"), u8("99"), u8("71"), u8("187"), u8("186"), u8("49"), u8("237"), u8("213"), u8("169"), u8("187"), u8("150"), u8("213"), u8("11"), u8("205"), u8("122"), u8("63"), u8("150"), u8("42"), u8("15")];
export const X_SCALAR : U8[] = [u8("78"), u8("90"), u8("180"), u8("52"), u8("93"), u8("71"), u8("8"), u8("132"), u8("89"), u8("19"), u8("180"), u8("100"), u8("27"), u8("194"), u8("125"), u8("82"), u8("82"), u8("165"), u8("133"), u8("16"), u8("27"), u8("204"), u8("66"), u8("68"), u8("212"), u8("73"), u8("244"), u8("168"), u8("121"), u8("217"), u8("242"), u8("4")];
export const X_TIMES_Y_SCALAR : U8[] = [u8("108"), u8("51"), u8("116"), u8("161"), u8("137"), u8("79"), u8("98"), u8("33"), u8("10"), u8("170"), u8("47"), u8("225"), u8("134"), u8("166"), u8("249"), u8("44"), u8("224"), u8("170"), u8("117"), u8("194"), u8("119"), u8("149"), u8("129"), u8("194"), u8("149"), u8("252"), u8("8"), u8("23"), u8("154"), u8("115"), u8("148"), u8("12")];
export const Y_SCALAR : U8[] = [u8("144"), u8("118"), u8("51"), u8("254"), u8("28"), u8("75"), u8("102"), u8("164"), u8("162"), u8("141"), u8("45"), u8("215"), u8("103"), u8("131"), u8("134"), u8("195"), u8("83"), u8("208"), u8("222"), u8("84"), u8("85"), u8("212"), u8("252"), u8("157"), u8("232"), u8("239"), u8("122"), u8("195"), u8("31"), u8("53"), u8("187"), u8("5")];


export class CompressedRistretto 
{
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = "CompressedRistretto";
  static typeParameters: TypeParamDeclType[] = [

  ];
  static fields: FieldDeclType[] = [
  { name: "data", typeTag: new VectorTag(AtomicTypeTag.U8) }];

  data: U8[];

  constructor(proto: any, public typeTag: TypeTag) {
    this.data = proto['data'] as U8[];
  }

  static CompressedRistrettoParser(data:any, typeTag: TypeTag, repo: AptosParserRepo) : CompressedRistretto {
    const proto = $.parseStructProto(data, typeTag, repo, CompressedRistretto);
    return new CompressedRistretto(proto, typeTag);
  }

  static getTag(): StructTag {
    return new StructTag(moduleAddress, moduleName, "CompressedRistretto", []);
  }
  async loadFullState(app: $.AppType) {
    this.__app = app;
  }

}

export class RistrettoPoint 
{
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = "RistrettoPoint";
  static typeParameters: TypeParamDeclType[] = [

  ];
  static fields: FieldDeclType[] = [
  { name: "handle", typeTag: AtomicTypeTag.U64 }];

  handle: U64;

  constructor(proto: any, public typeTag: TypeTag) {
    this.handle = proto['handle'] as U64;
  }

  static RistrettoPointParser(data:any, typeTag: TypeTag, repo: AptosParserRepo) : RistrettoPoint {
    const proto = $.parseStructProto(data, typeTag, repo, RistrettoPoint);
    return new RistrettoPoint(proto, typeTag);
  }

  static getTag(): StructTag {
    return new StructTag(moduleAddress, moduleName, "RistrettoPoint", []);
  }
  async loadFullState(app: $.AppType) {
    this.__app = app;
  }

}

export class Scalar 
{
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = "Scalar";
  static typeParameters: TypeParamDeclType[] = [

  ];
  static fields: FieldDeclType[] = [
  { name: "data", typeTag: new VectorTag(AtomicTypeTag.U8) }];

  data: U8[];

  constructor(proto: any, public typeTag: TypeTag) {
    this.data = proto['data'] as U8[];
  }

  static ScalarParser(data:any, typeTag: TypeTag, repo: AptosParserRepo) : Scalar {
    const proto = $.parseStructProto(data, typeTag, repo, Scalar);
    return new Scalar(proto, typeTag);
  }

  static getTag(): StructTag {
    return new StructTag(moduleAddress, moduleName, "Scalar", []);
  }
  async loadFullState(app: $.AppType) {
    this.__app = app;
  }

}
export function basepoint_ (
  $c: AptosDataCache,
): RistrettoPoint {
  let handle;
  [handle, ] = point_decompress_internal_($.copy(BASE_POINT), $c);
  return new RistrettoPoint({ handle: $.copy(handle) }, new SimpleStructTag(RistrettoPoint));
}

export function basepoint_compressed_ (
  $c: AptosDataCache,
): CompressedRistretto {
  return new CompressedRistretto({ data: $.copy(BASE_POINT) }, new SimpleStructTag(CompressedRistretto));
}

export function basepoint_double_mul_ (
  a: Scalar,
  some_point: RistrettoPoint,
  b: Scalar,
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: basepoint_double_mul_internal_($.copy(a.data), some_point, $.copy(b.data), $c) }, new SimpleStructTag(RistrettoPoint));
}

export function basepoint_double_mul_internal_ (
  a: U8[],
  some_point: RistrettoPoint,
  b: U8[],
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function basepoint_mul_ (
  a: Scalar,
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: basepoint_mul_internal_($.copy(a.data), $c) }, new SimpleStructTag(RistrettoPoint));
}

export function basepoint_mul_internal_ (
  a: U8[],
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function multi_scalar_mul_ (
  points: RistrettoPoint[],
  scalars: Scalar[],
  $c: AptosDataCache,
): RistrettoPoint {
  if (!!Vector.is_empty_(points, $c, [new SimpleStructTag(RistrettoPoint)])) {
    throw $.abortCode(Error.invalid_argument_($.copy(E_ZERO_POINTS), $c));
  }
  if (!!Vector.is_empty_(scalars, $c, [new SimpleStructTag(Scalar)])) {
    throw $.abortCode(Error.invalid_argument_($.copy(E_ZERO_SCALARS), $c));
  }
  if (!(Vector.length_(points, $c, [new SimpleStructTag(RistrettoPoint)])).eq((Vector.length_(scalars, $c, [new SimpleStructTag(Scalar)])))) {
    throw $.abortCode(Error.invalid_argument_($.copy(E_DIFFERENT_NUM_POINTS_AND_SCALARS), $c));
  }
  return new RistrettoPoint({ handle: multi_scalar_mul_internal_(points, scalars, $c, [new SimpleStructTag(RistrettoPoint), new SimpleStructTag(Scalar)]) }, new SimpleStructTag(RistrettoPoint));
}

export function multi_scalar_mul_internal_ (
  points: any[],
  scalars: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <P, S>*/
): U64 {
  throw 'Not Implemented';

}
export function new_compressed_point_from_bytes_ (
  bytes: U8[],
  $c: AptosDataCache,
): Option.Option {
  let temp$1;
  if (point_is_canonical_internal_($.copy(bytes), $c)) {
    temp$1 = Option.some_(new CompressedRistretto({ data: $.copy(bytes) }, new SimpleStructTag(CompressedRistretto)), $c, [new SimpleStructTag(CompressedRistretto)]);
  }
  else{
    temp$1 = Option.none_($c, [new SimpleStructTag(CompressedRistretto)]);
  }
  return temp$1;
}

export function new_point_from_64_uniform_bytes_ (
  bytes: U8[],
  $c: AptosDataCache,
): Option.Option {
  let temp$1;
  if ((Vector.length_(bytes, $c, [AtomicTypeTag.U8])).eq((u64("64")))) {
    temp$1 = Option.some_(new RistrettoPoint({ handle: new_point_from_64_uniform_bytes_internal_($.copy(bytes), $c) }, new SimpleStructTag(RistrettoPoint)), $c, [new SimpleStructTag(RistrettoPoint)]);
  }
  else{
    temp$1 = Option.none_($c, [new SimpleStructTag(RistrettoPoint)]);
  }
  return temp$1;
}

export function new_point_from_64_uniform_bytes_internal_ (
  bytes: U8[],
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function new_point_from_bytes_ (
  bytes: U8[],
  $c: AptosDataCache,
): Option.Option {
  let temp$1, handle, is_canonical;
  [handle, is_canonical] = point_decompress_internal_($.copy(bytes), $c);
  if (is_canonical) {
    temp$1 = Option.some_(new RistrettoPoint({ handle: $.copy(handle) }, new SimpleStructTag(RistrettoPoint)), $c, [new SimpleStructTag(RistrettoPoint)]);
  }
  else{
    temp$1 = Option.none_($c, [new SimpleStructTag(RistrettoPoint)]);
  }
  return temp$1;
}

export function new_point_from_sha512_ (
  sha512: U8[],
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: new_point_from_sha512_internal_($.copy(sha512), $c) }, new SimpleStructTag(RistrettoPoint));
}

export function new_point_from_sha512_internal_ (
  sha512: U8[],
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function new_scalar_from_bytes_ (
  bytes: U8[],
  $c: AptosDataCache,
): Option.Option {
  let temp$1;
  if (scalar_is_canonical_internal_($.copy(bytes), $c)) {
    temp$1 = Option.some_(new Scalar({ data: $.copy(bytes) }, new SimpleStructTag(Scalar)), $c, [new SimpleStructTag(Scalar)]);
  }
  else{
    temp$1 = Option.none_($c, [new SimpleStructTag(Scalar)]);
  }
  return temp$1;
}

export function new_scalar_from_sha512_ (
  sha512_input: U8[],
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_from_sha512_internal_($.copy(sha512_input), $c) }, new SimpleStructTag(Scalar));
}

export function new_scalar_from_u128_ (
  sixteen_bytes: U128,
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_from_u128_internal_($.copy(sixteen_bytes), $c) }, new SimpleStructTag(Scalar));
}

export function new_scalar_from_u64_ (
  eight_bytes: U64,
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_from_u64_internal_($.copy(eight_bytes), $c) }, new SimpleStructTag(Scalar));
}

export function new_scalar_from_u8_ (
  byte: U8,
  $c: AptosDataCache,
): Scalar {
  let byte_zero, s;
  s = scalar_zero_($c);
  byte_zero = Vector.borrow_mut_(s.data, u64("0"), $c, [AtomicTypeTag.U8]);
  $.set(byte_zero, $.copy(byte));
  return $.copy(s);
}

export function new_scalar_reduced_from_32_bytes_ (
  bytes: U8[],
  $c: AptosDataCache,
): Option.Option {
  let temp$1;
  if ((Vector.length_(bytes, $c, [AtomicTypeTag.U8])).eq((u64("32")))) {
    temp$1 = Option.some_(new Scalar({ data: scalar_reduced_from_32_bytes_internal_($.copy(bytes), $c) }, new SimpleStructTag(Scalar)), $c, [new SimpleStructTag(Scalar)]);
  }
  else{
    temp$1 = Option.none_($c, [new SimpleStructTag(Scalar)]);
  }
  return temp$1;
}

export function new_scalar_uniform_from_64_bytes_ (
  bytes: U8[],
  $c: AptosDataCache,
): Option.Option {
  let temp$1;
  if ((Vector.length_(bytes, $c, [AtomicTypeTag.U8])).eq((u64("64")))) {
    temp$1 = Option.some_(new Scalar({ data: scalar_uniform_from_64_bytes_internal_($.copy(bytes), $c) }, new SimpleStructTag(Scalar)), $c, [new SimpleStructTag(Scalar)]);
  }
  else{
    temp$1 = Option.none_($c, [new SimpleStructTag(Scalar)]);
  }
  return temp$1;
}

export function point_add_ (
  a: RistrettoPoint,
  b: RistrettoPoint,
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: point_add_internal_(a, b, false, $c) }, new SimpleStructTag(RistrettoPoint));
}

export function point_add_assign_ (
  a: RistrettoPoint,
  b: RistrettoPoint,
  $c: AptosDataCache,
): RistrettoPoint {
  let temp$1, temp$2, temp$3;
  [temp$1, temp$2, temp$3] = [a, b, true];
  point_add_internal_(temp$1, temp$2, temp$3, $c);
  return a;
}

export function point_add_internal_ (
  a: RistrettoPoint,
  b: RistrettoPoint,
  in_place: boolean,
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function point_compress_ (
  point: RistrettoPoint,
  $c: AptosDataCache,
): CompressedRistretto {
  return new CompressedRistretto({ data: point_compress_internal_(point, $c) }, new SimpleStructTag(CompressedRistretto));
}

export function point_compress_internal_ (
  point: RistrettoPoint,
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function point_decompress_ (
  point: CompressedRistretto,
  $c: AptosDataCache,
): RistrettoPoint {
  let handle;
  [handle, ] = point_decompress_internal_($.copy(point.data), $c);
  return new RistrettoPoint({ handle: $.copy(handle) }, new SimpleStructTag(RistrettoPoint));
}

export function point_decompress_internal_ (
  maybe_non_canonical_bytes: U8[],
  $c: AptosDataCache,
): [U64, boolean] {
  throw 'Not Implemented';

}
export function point_equals_ (
  g: RistrettoPoint,
  h: RistrettoPoint,
  $c: AptosDataCache,
): boolean {
  throw 'Not Implemented';

}
export function point_identity_ (
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: point_identity_internal_($c) }, new SimpleStructTag(RistrettoPoint));
}

export function point_identity_compressed_ (
  $c: AptosDataCache,
): CompressedRistretto {
  return new CompressedRistretto({ data: [u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0")] }, new SimpleStructTag(CompressedRistretto));
}

export function point_identity_internal_ (
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function point_is_canonical_internal_ (
  bytes: U8[],
  $c: AptosDataCache,
): boolean {
  throw 'Not Implemented';

}
export function point_mul_ (
  point: RistrettoPoint,
  a: Scalar,
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: point_mul_internal_(point, $.copy(a.data), false, $c) }, new SimpleStructTag(RistrettoPoint));
}

export function point_mul_assign_ (
  point: RistrettoPoint,
  a: Scalar,
  $c: AptosDataCache,
): RistrettoPoint {
  let temp$1, temp$2, temp$3;
  [temp$1, temp$2, temp$3] = [point, $.copy(a.data), true];
  point_mul_internal_(temp$1, temp$2, temp$3, $c);
  return point;
}

export function point_mul_internal_ (
  point: RistrettoPoint,
  a: U8[],
  in_place: boolean,
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function point_neg_ (
  a: RistrettoPoint,
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: point_neg_internal_(a, false, $c) }, new SimpleStructTag(RistrettoPoint));
}

export function point_neg_assign_ (
  a: RistrettoPoint,
  $c: AptosDataCache,
): RistrettoPoint {
  let temp$1, temp$2;
  [temp$1, temp$2] = [a, true];
  point_neg_internal_(temp$1, temp$2, $c);
  return a;
}

export function point_neg_internal_ (
  a: RistrettoPoint,
  in_place: boolean,
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function point_sub_ (
  a: RistrettoPoint,
  b: RistrettoPoint,
  $c: AptosDataCache,
): RistrettoPoint {
  return new RistrettoPoint({ handle: point_sub_internal_(a, b, false, $c) }, new SimpleStructTag(RistrettoPoint));
}

export function point_sub_assign_ (
  a: RistrettoPoint,
  b: RistrettoPoint,
  $c: AptosDataCache,
): RistrettoPoint {
  let temp$1, temp$2, temp$3;
  [temp$1, temp$2, temp$3] = [a, b, true];
  point_sub_internal_(temp$1, temp$2, temp$3, $c);
  return a;
}

export function point_sub_internal_ (
  a: RistrettoPoint,
  b: RistrettoPoint,
  in_place: boolean,
  $c: AptosDataCache,
): U64 {
  throw 'Not Implemented';

}
export function point_to_bytes_ (
  point: CompressedRistretto,
  $c: AptosDataCache,
): U8[] {
  return $.copy(point.data);
}

export function scalar_add_ (
  a: Scalar,
  b: Scalar,
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_add_internal_($.copy(a.data), $.copy(b.data), $c) }, new SimpleStructTag(Scalar));
}

export function scalar_add_assign_ (
  a: Scalar,
  b: Scalar,
  $c: AptosDataCache,
): Scalar {
  let temp$1, temp$2, temp$3;
  [temp$1, temp$2] = [a, b];
  temp$3 = scalar_add_(temp$1, temp$2, $c);
  a.data = $.copy(temp$3.data);
  return a;
}

export function scalar_add_internal_ (
  a_bytes: U8[],
  b_bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_equals_ (
  lhs: Scalar,
  rhs: Scalar,
  $c: AptosDataCache,
): boolean {
  return $.veq($.copy(lhs.data), $.copy(rhs.data));
}

export function scalar_from_sha512_internal_ (
  sha512_input: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_from_u128_internal_ (
  num: U128,
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_from_u64_internal_ (
  num: U64,
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_invert_ (
  s: Scalar,
  $c: AptosDataCache,
): Option.Option {
  let temp$1;
  if (scalar_is_zero_(s, $c)) {
    temp$1 = Option.none_($c, [new SimpleStructTag(Scalar)]);
  }
  else{
    temp$1 = Option.some_(new Scalar({ data: scalar_invert_internal_($.copy(s.data), $c) }, new SimpleStructTag(Scalar)), $c, [new SimpleStructTag(Scalar)]);
  }
  return temp$1;
}

export function scalar_invert_internal_ (
  bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_is_canonical_internal_ (
  s: U8[],
  $c: AptosDataCache,
): boolean {
  throw 'Not Implemented';

}
export function scalar_is_one_ (
  s: Scalar,
  $c: AptosDataCache,
): boolean {
  return $.veq($.copy(s.data), [u8("1"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0")]);
}

export function scalar_is_zero_ (
  s: Scalar,
  $c: AptosDataCache,
): boolean {
  return $.veq($.copy(s.data), [u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0")]);
}

export function scalar_mul_ (
  a: Scalar,
  b: Scalar,
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_mul_internal_($.copy(a.data), $.copy(b.data), $c) }, new SimpleStructTag(Scalar));
}

export function scalar_mul_assign_ (
  a: Scalar,
  b: Scalar,
  $c: AptosDataCache,
): Scalar {
  let temp$1, temp$2, temp$3;
  [temp$1, temp$2] = [a, b];
  temp$3 = scalar_mul_(temp$1, temp$2, $c);
  a.data = $.copy(temp$3.data);
  return a;
}

export function scalar_mul_internal_ (
  a_bytes: U8[],
  b_bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_neg_ (
  a: Scalar,
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_neg_internal_($.copy(a.data), $c) }, new SimpleStructTag(Scalar));
}

export function scalar_neg_assign_ (
  a: Scalar,
  $c: AptosDataCache,
): Scalar {
  let temp$1;
  temp$1 = scalar_neg_(a, $c);
  a.data = $.copy(temp$1.data);
  return a;
}

export function scalar_neg_internal_ (
  a_bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_one_ (
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: [u8("1"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0")] }, new SimpleStructTag(Scalar));
}

export function scalar_reduced_from_32_bytes_internal_ (
  bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_sub_ (
  a: Scalar,
  b: Scalar,
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: scalar_sub_internal_($.copy(a.data), $.copy(b.data), $c) }, new SimpleStructTag(Scalar));
}

export function scalar_sub_assign_ (
  a: Scalar,
  b: Scalar,
  $c: AptosDataCache,
): Scalar {
  let temp$1, temp$2, temp$3;
  [temp$1, temp$2] = [a, b];
  temp$3 = scalar_sub_(temp$1, temp$2, $c);
  a.data = $.copy(temp$3.data);
  return a;
}

export function scalar_sub_internal_ (
  a_bytes: U8[],
  b_bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_to_bytes_ (
  s: Scalar,
  $c: AptosDataCache,
): U8[] {
  return $.copy(s.data);
}

export function scalar_uniform_from_64_bytes_internal_ (
  bytes: U8[],
  $c: AptosDataCache,
): U8[] {
  throw 'Not Implemented';

}
export function scalar_zero_ (
  $c: AptosDataCache,
): Scalar {
  return new Scalar({ data: [u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0"), u8("0")] }, new SimpleStructTag(Scalar));
}

export function loadParsers(repo: AptosParserRepo) {
  repo.addParser("0x1::ristretto255::CompressedRistretto", CompressedRistretto.CompressedRistrettoParser);
  repo.addParser("0x1::ristretto255::RistrettoPoint", RistrettoPoint.RistrettoPointParser);
  repo.addParser("0x1::ristretto255::Scalar", Scalar.ScalarParser);
}
export class App {
  constructor(
    public client: AptosClient,
    public repo: AptosParserRepo,
    public cache: AptosLocalCache,
  ) {
  }
  get moduleAddress() {{ return moduleAddress; }}
  get moduleName() {{ return moduleName; }}
  get CompressedRistretto() { return CompressedRistretto; }
  get RistrettoPoint() { return RistrettoPoint; }
  get Scalar() { return Scalar; }
}