pulsar-contracts
Version:
64 lines (63 loc) • 2.5 kB
TypeScript
import { Field, PublicKey } from 'o1js';
export { ProofGenerators };
declare const ProofGenerators_base: (new (value: {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
}) => {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
}) & {
_isStruct: true;
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
list: import("o1js/dist/node/lib/provable/field.js").Field[];
}, {
list: bigint[];
}>, "fromFields"> & {
fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
};
} & {
fromValue: (value: {
list: import("o1js/dist/node/lib/provable/field.js").Field[] | bigint[];
}) => {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
};
toInput: (x: {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
}) => {
fields?: Field[] | undefined;
packed?: [Field, number][] | undefined;
};
toJSON: (x: {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
}) => {
list: string[];
};
fromJSON: (x: {
list: string[];
}) => {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
};
empty: () => {
list: import("o1js/dist/node/lib/provable/field.js").Field[];
};
};
declare class ProofGenerators extends ProofGenerators_base {
static empty(): ProofGenerators;
isEmpty(): import("o1js/dist/node/lib/provable/bool.js").Bool;
/**
* Creates a ProofGenerators instance from an array of PublicKey. This method meant to be used outside of the provable code.
* @param arr - An array of PublicKeys. The length of the array must be equal to TOTAL_GENERATORS.
* @returns A ProofGenerators instance.
*/
static fromPubkeyArray(arr: Array<PublicKey>): ProofGenerators;
insertAt(index: Field, publicKey: PublicKey): this;
getXAt(index: Field): import("o1js/dist/node/lib/provable/field.js").Field;
getIsOddAt(index: Field): import("o1js/dist/node/lib/provable/bool.js").Bool;
getPublicKeyAt(index: Field): PublicKey;
assertEquals(other: ProofGenerators): void;
toFields(): import("o1js/dist/node/lib/provable/field.js").Field[];
hash(): import("o1js/dist/node/lib/provable/field.js").Field;
appendList(length: Field, other: ProofGenerators): ProofGenerators;
toJSON(): {
list: string[];
};
}