import { GroupProjective } from '../bindings/crypto/elliptic_curve.js';
import { Bool, Field } from './field-bigint.js';
import { HashInputLegacy } from './poseidon-bigint.js';
export { Group, PublicKey, Scalar, PrivateKey, versionNumbers };
declare const versionNumbers: {
    field: number;
    scalar: number;
    publicKey: number;
    signature: number;
};
type Group = {
    x: Field;
    y: Field;
};
type PublicKey = {
    x: Field;
    isOdd: Bool;
};
type Scalar = bigint;
type PrivateKey = bigint;
/**
 * A non-zero point on the Pallas curve in affine form { x, y }
 */
declare const Group: {
    toProjective({ x, y }: Group): GroupProjective;
    /**
     * Convert a projective point to a non-zero affine point.
     * Throws an error if the point is zero / infinity, i.e. if z === 0
     */
    fromProjective(point: GroupProjective): Group;
    readonly generatorMina: Group;
    scale(point: Group, scalar: Scalar): Group;
    b: bigint;
    toFields({ x, y }: Group): bigint[];
};
/**
 * A public key, represented by a non-zero point on the Pallas curve, in compressed form { x, isOdd }
 */
declare const PublicKey: {
    toJSON(publicKey: PublicKey): string;
    fromJSON(json: string): PublicKey;
    toGroup({ x, isOdd }: PublicKey): Group;
    fromGroup({ x, y }: Group): PublicKey;
    equal(pk1: PublicKey, pk2: PublicKey): boolean;
    toInputLegacy({ x, isOdd }: PublicKey): HashInputLegacy;
    toBytes(t: {
        x: bigint;
        isOdd: Bool;
    }): number[];
    readBytes<N extends number>(bytes: number[], offset: import("../bindings/crypto/non-negative.js").NonNegativeInteger<N>): [value: {
        x: bigint;
        isOdd: Bool;
    }, offset: number];
    fromBytes(bytes: number[]): {
        x: bigint;
        isOdd: Bool;
    };
    toBase58(t: {
        x: bigint;
        isOdd: Bool;
    }): string;
    fromBase58(base58: string): {
        x: bigint;
        isOdd: Bool;
    };
    toFields: (x: {
        x: bigint;
        isOdd: Bool;
    }) => bigint[];
    toAuxiliary: (x?: {
        x: bigint;
        isOdd: Bool;
    } | undefined) => any[];
    fromFields: (x: bigint[], aux: any[]) => {
        x: bigint;
        isOdd: Bool;
    };
    sizeInFields(): number;
    check: (x: {
        x: bigint;
        isOdd: Bool;
    }) => void;
    toInput: (x: {
        x: bigint;
        isOdd: Bool;
    }) => {
        fields?: bigint[] | undefined;
        packed?: [bigint, number][] | undefined;
    };
    emptyValue?: (() => {
        x: bigint;
        isOdd: Bool;
    }) | undefined;
};
/**
 * The scalar field of the Pallas curve
 */
declare const Scalar: ((value: bigint | number | string) => bigint) & {
    modulus: bigint;
    sizeInBits: number;
    t: bigint;
    twoadicRoot: bigint;
    add(x: bigint, y: bigint): bigint;
    negate(x: bigint): bigint;
    sub(x: bigint, y: bigint): bigint;
    mul(x: bigint, y: bigint): bigint;
    inverse(x: bigint): bigint | undefined;
    div(x: bigint, y: bigint): bigint | undefined;
    square(x: bigint): bigint;
    isSquare(x: bigint): boolean;
    sqrt(x: bigint): bigint | undefined;
    power(x: bigint, n: bigint): bigint;
    dot(x: bigint[], y: bigint[]): bigint;
    equal(x: bigint, y: bigint): boolean;
    isEven(x: bigint): boolean;
    random(): bigint;
    fromNumber(x: number): bigint;
    fromBigint(x: bigint): bigint;
    toBytes(t: bigint): number[];
    readBytes<N extends number>(bytes: number[], offset: import("../bindings/crypto/non-negative.js").NonNegativeInteger<N>): [value: bigint, offset: number];
    fromBytes(bytes: number[]): bigint;
    toBits(t: bigint): boolean[];
    fromBits(bits: boolean[]): bigint;
    sizeInBytes(): number;
    toFields: (x: bigint) => bigint[];
    toAuxiliary: (x?: bigint | undefined) => any[];
    fromFields: (x: bigint[], aux: any[]) => bigint;
    sizeInFields(): number;
    check: (x: bigint) => void;
    toInput: (x: bigint) => {
        fields?: bigint[] | undefined;
        packed?: [bigint, number][] | undefined;
    };
    toJSON: (x: bigint) => string;
    fromJSON: (x: string) => bigint; /**
     * A non-zero point on the Pallas curve in affine form { x, y }
     */
    emptyValue?: (() => bigint) | undefined;
};
/**
 * A private key, represented by a scalar of the Pallas curve
 */
declare const PrivateKey: {
    toPublicKey(key: PrivateKey): PublicKey;
    toBytes(t: bigint): number[];
    readBytes<N extends number>(bytes: number[], offset: import("../bindings/crypto/non-negative.js").NonNegativeInteger<N>): [value: bigint, offset: number];
    fromBytes(bytes: number[]): bigint;
    toBase58(t: bigint): string;
    fromBase58(base58: string): bigint;
    toFields: (x: bigint) => bigint[];
    toAuxiliary: (x?: bigint | undefined) => any[];
    fromFields: (x: bigint[], aux: any[]) => bigint;
    sizeInFields(): number;
    check: (x: bigint) => void;
    toInput: (x: bigint) => {
        fields?: bigint[] | undefined;
        packed?: [bigint, number][] | undefined;
    };
    toJSON: (x: bigint) => string;
    fromJSON: (x: string) => bigint; /**
     * A non-zero point on the Pallas curve in affine form { x, y }
     */
    emptyValue?: (() => bigint) | undefined;
    modulus: bigint;
    sizeInBits: number;
    t: bigint;
    twoadicRoot: bigint;
    add(x: bigint, y: bigint): bigint;
    negate(x: bigint): bigint;
    sub(x: bigint, y: bigint): bigint;
    mul(x: bigint, y: bigint): bigint;
    inverse(x: bigint): bigint | undefined;
    div(x: bigint, y: bigint): bigint | undefined;
    square(x: bigint): bigint;
    isSquare(x: bigint): boolean;
    sqrt(x: bigint): bigint | undefined;
    power(x: bigint, n: bigint): bigint;
    dot(x: bigint[], y: bigint[]): bigint;
    equal(x: bigint, y: bigint): boolean;
    isEven(x: bigint): boolean;
    random(): bigint;
    fromNumber(x: number): bigint;
    fromBigint(x: bigint): bigint;
    toBits(t: bigint): boolean[];
    fromBits(bits: boolean[]): bigint;
    sizeInBytes(): number;
};