pulsar-contracts

import { Field, Provable, PublicKey, SelfProof } from 'o1js'; import { ProofGenerators } from './types/proofGenerators.js'; import { SignaturePublicKeyMatrix } from './types/signaturePubKeyList.js'; export { SettlementProof, MultisigVerifierProgram, SettlementPublicInputs, SettlementPublicOutputs, Block, BlockList, }; declare const SettlementPublicInputs_base: (new (value: { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }) & { _isStruct: true; } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{ InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }, { InitialMerkleListRoot: bigint; InitialStateRoot: bigint; InitialBlockHeight: bigint; NewMerkleListRoot: bigint; NewStateRoot: bigint; NewBlockHeight: bigint; ProofGeneratorsList: { list: bigint[]; }; }>, "fromFields"> & { fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }; } & { fromValue: (value: { InitialMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators | { list: import("o1js/dist/node/lib/provable/field.js").Field[] | bigint[]; }; }) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }; toInput: (x: { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }) => { fields?: Field[] | undefined; packed?: [Field, number][] | undefined; }; toJSON: (x: { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }) => { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; ProofGeneratorsList: { list: string[]; }; }; fromJSON: (x: { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; ProofGeneratorsList: { list: string[]; }; }) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }; empty: () => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators; }; }; declare class SettlementPublicInputs extends SettlementPublicInputs_base { static default: SettlementPublicInputs; isEmpty(): import("o1js/dist/node/lib/provable/bool.js").Bool; hash(): import("o1js/dist/node/lib/provable/field.js").Field; actionHash(): import("o1js/dist/node/lib/provable/field.js").Field; toJSON(): { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; ProofGeneratorsList: { list: string[]; }; }; } declare const Block_base: (new (value: { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }) & { _isStruct: true; } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{ InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }, { InitialMerkleListRoot: bigint; InitialStateRoot: bigint; InitialBlockHeight: bigint; NewMerkleListRoot: bigint; NewStateRoot: bigint; NewBlockHeight: bigint; }>, "fromFields"> & { fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }; } & { fromValue: (value: { InitialMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; }) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }; toInput: (x: { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }) => { fields?: Field[] | undefined; packed?: [Field, number][] | undefined; }; toJSON: (x: { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }) => { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; }; fromJSON: (x: { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; }) => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }; empty: () => { InitialMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: import("o1js/dist/node/lib/provable/field.js").Field; }; }; declare class Block extends Block_base { hash(): import("o1js/dist/node/lib/provable/field.js").Field; toJSON(): { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; }; } declare const BlockList_base: (new (value: { list: Block[]; }) => { list: Block[]; }) & { _isStruct: true; } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{ list: Block[]; }, { list: { InitialMerkleListRoot: bigint; InitialStateRoot: bigint; InitialBlockHeight: bigint; NewMerkleListRoot: bigint; NewStateRoot: bigint; NewBlockHeight: bigint; }[]; }>, "fromFields"> & { fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => { list: Block[]; }; } & { fromValue: (value: { list: Block[] | { InitialMerkleListRoot: bigint; InitialStateRoot: bigint; InitialBlockHeight: bigint; NewMerkleListRoot: bigint; NewStateRoot: bigint; NewBlockHeight: bigint; }[]; }) => { list: Block[]; }; toInput: (x: { list: Block[]; }) => { fields?: Field[] | undefined; packed?: [Field, number][] | undefined; }; toJSON: (x: { list: Block[]; }) => { list: { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; }[]; }; fromJSON: (x: { list: { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; }[]; }) => { list: Block[]; }; empty: () => { list: Block[]; }; }; declare class BlockList extends BlockList_base { static fromArray(arr: Block[]): BlockList; toJSON(): { InitialMerkleListRoot: string; InitialStateRoot: string; InitialBlockHeight: string; NewMerkleListRoot: string; NewStateRoot: string; NewBlockHeight: string; }[]; } declare const SettlementPublicOutputs_base: (new (value: { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }) => { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }) & { _isStruct: true; } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{ numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }, { numberOfSettlementProofs: bigint; }>, "fromFields"> & { fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }; } & { fromValue: (value: { numberOfSettlementProofs: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; }) => { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }; toInput: (x: { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }) => { fields?: Field[] | undefined; packed?: [Field, number][] | undefined; }; toJSON: (x: { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }) => { numberOfSettlementProofs: string; }; fromJSON: (x: { numberOfSettlementProofs: string; }) => { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }; empty: () => { numberOfSettlementProofs: import("o1js/dist/node/lib/provable/field.js").Field; }; }; declare class SettlementPublicOutputs extends SettlementPublicOutputs_base { static default: SettlementPublicOutputs; } declare const MultisigVerifierProgram: { name: string; maxProofsVerified(): Promise<0 | 1 | 2>; compile: (options?: { cache?: import("o1js").Cache; forceRecompile?: boolean; proofsEnabled?: boolean; withRuntimeTables?: boolean; numChunks?: number; lazyMode?: boolean; }) => Promise<{ verificationKey: { data: string; hash: Field; }; }>; verify: (proof: import("o1js").Proof<SettlementPublicInputs, SettlementPublicOutputs>) => Promise<boolean>; digest: () => Promise<string>; analyzeMethods: () => Promise<{ verifySignatures: import("o1js/dist/node/lib/provable/core/provable-context.js").ConstraintSystemSummary & { proofs: import("o1js/dist/node/lib/proof-system/proof.js").ProofClass[]; }; mergeProofs: import("o1js/dist/node/lib/provable/core/provable-context.js").ConstraintSystemSummary & { proofs: import("o1js/dist/node/lib/proof-system/proof.js").ProofClass[]; }; }>; analyzeSingleMethod<K extends "verifySignatures" | "mergeProofs">(methodName: K): Promise<import("o1js/dist/node/lib/provable/core/provable-context.js").ConstraintSystemSummary & { proofs: import("o1js/dist/node/lib/proof-system/proof.js").ProofClass[]; }>; publicInputType: typeof SettlementPublicInputs; publicOutputType: typeof SettlementPublicOutputs; privateInputTypes: { verifySignatures: [typeof SignaturePublicKeyMatrix, typeof PublicKey, typeof BlockList]; mergeProofs: [typeof SelfProof, typeof SelfProof]; }; auxiliaryOutputTypes: { verifySignatures: undefined; mergeProofs: undefined; }; rawMethods: { verifySignatures: (publicInput: SettlementPublicInputs, args_0: SignaturePublicKeyMatrix, args_1: PublicKey, args_2: BlockList) => Promise<{ publicOutput: SettlementPublicOutputs; }>; mergeProofs: (publicInput: SettlementPublicInputs, args_0: SelfProof<unknown, unknown>, args_1: SelfProof<unknown, unknown>) => Promise<{ publicOutput: SettlementPublicOutputs; }>; }; Proof: { new ({ proof, publicInput, publicOutput, maxProofsVerified, }: { proof: import("o1js/dist/node/bindings.js").Pickles.Proof; publicInput: SettlementPublicInputs; publicOutput: SettlementPublicOutputs; maxProofsVerified: 0 | 1 | 2; }): import("o1js").Proof<SettlementPublicInputs, SettlementPublicOutputs>; fromJSON<S extends import("o1js/dist/node/lib/util/types.js").Subclass<typeof import("o1js").Proof>>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js").JsonProof): Promise<import("o1js").Proof<import("o1js").InferProvable<S["publicInputType"]>, import("o1js").InferProvable<S["publicOutputType"]>>>; dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 1 | 2, domainLog2?: number): Promise<import("o1js").Proof<Input, OutPut>>; get provable(): { toFields: (value: import("o1js").Proof<any, any>) => import("o1js/dist/node/lib/provable/field.js").Field[]; toAuxiliary: (value?: import("o1js").Proof<any, any> | undefined) => any[]; fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[], aux: any[]) => import("o1js").Proof<any, any>; sizeInFields(): number; check: (value: import("o1js").Proof<any, any>) => void; toValue: (x: import("o1js").Proof<any, any>) => import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>; fromValue: (x: import("o1js").Proof<any, any> | import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>) => import("o1js").Proof<any, any>; toCanonical?: ((x: import("o1js").Proof<any, any>) => import("o1js").Proof<any, any>) | undefined; }; publicInputType: import("o1js").FlexibleProvable<any>; publicOutputType: import("o1js").FlexibleProvable<any>; tag: () => { name: string; }; publicFields(value: import("o1js").ProofBase): { input: import("o1js/dist/node/lib/provable/field.js").Field[]; output: import("o1js/dist/node/lib/provable/field.js").Field[]; }; _proofFromBase64(proofString: import("o1js/dist/node/bindings.js").Base64ProofString, maxProofsVerified: 0 | 1 | 2): unknown; _proofToBase64(proof: import("o1js/dist/node/bindings.js").Pickles.Proof, maxProofsVerified: 0 | 1 | 2): string; }; proofsEnabled: boolean; setProofsEnabled(proofsEnabled: boolean): void; } & { verifySignatures: (publicInput: SettlementPublicInputs | { InitialMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators | { list: import("o1js/dist/node/lib/provable/field.js").Field[] | bigint[]; }; }, args_0: SignaturePublicKeyMatrix | { matrix: import("./types/signaturePubKeyList.js").SignaturePublicKeyList[] | { list: { signature: any; publicKey: { x: bigint; isOdd: boolean; }; }[]; }[]; }, args_1: PublicKey | { x: Field | bigint; isOdd: import("o1js").Bool | boolean; }, args_2: BlockList | { list: Block[] | { InitialMerkleListRoot: bigint; InitialStateRoot: bigint; InitialBlockHeight: bigint; NewMerkleListRoot: bigint; NewStateRoot: bigint; NewBlockHeight: bigint; }[]; }) => Promise<{ proof: import("o1js").Proof<SettlementPublicInputs, SettlementPublicOutputs>; auxiliaryOutput: undefined; }>; mergeProofs: (publicInput: SettlementPublicInputs | { InitialMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; InitialBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewMerkleListRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewStateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; NewBlockHeight: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field; ProofGeneratorsList: ProofGenerators | { list: import("o1js/dist/node/lib/provable/field.js").Field[] | bigint[]; }; }, args_0: import("o1js").Proof<any, any> | import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>, args_1: import("o1js").Proof<any, any> | import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>) => Promise<{ proof: import("o1js").Proof<SettlementPublicInputs, SettlementPublicOutputs>; auxiliaryOutput: undefined; }>; }; declare const SettlementProof_base: { new ({ proof, publicInput, publicOutput, maxProofsVerified, }: { proof: unknown; publicInput: SettlementPublicInputs; publicOutput: SettlementPublicOutputs; maxProofsVerified: 0 | 2 | 1; }): import("o1js").Proof<SettlementPublicInputs, SettlementPublicOutputs>; fromJSON<S extends import("o1js/dist/node/lib/util/types.js").Subclass<typeof import("o1js").Proof>>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js").JsonProof): Promise<import("o1js").Proof<import("o1js").InferProvable<S["publicInputType"]>, import("o1js").InferProvable<S["publicOutputType"]>>>; dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 2 | 1, domainLog2?: number): Promise<import("o1js").Proof<Input, OutPut>>; readonly provable: { toFields: (value: import("o1js").Proof<any, any>) => import("o1js/dist/node/lib/provable/field.js").Field[]; toAuxiliary: (value?: import("o1js").Proof<any, any> | undefined) => any[]; fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[], aux: any[]) => import("o1js").Proof<any, any>; sizeInFields(): number; check: (value: import("o1js").Proof<any, any>) => void; toValue: (x: import("o1js").Proof<any, any>) => import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>; fromValue: (x: import("o1js").Proof<any, any> | import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>) => import("o1js").Proof<any, any>; toCanonical?: ((x: import("o1js").Proof<any, any>) => import("o1js").Proof<any, any>) | undefined; }; publicInputType: import("o1js").FlexibleProvable<any>; publicOutputType: import("o1js").FlexibleProvable<any>; tag: () => { name: string; }; publicFields(value: import("o1js").ProofBase<any, any>): { input: import("o1js/dist/node/lib/provable/field.js").Field[]; output: import("o1js/dist/node/lib/provable/field.js").Field[]; }; _proofFromBase64(proofString: string, maxProofsVerified: 0 | 2 | 1): unknown; _proofToBase64(proof: unknown, maxProofsVerified: 0 | 2 | 1): string; } & { provable: Provable<import("o1js").Proof<SettlementPublicInputs, SettlementPublicOutputs>, import("o1js/dist/node/lib/proof-system/proof.js").ProofValue<{ InitialMerkleListRoot: bigint; InitialStateRoot: bigint; InitialBlockHeight: bigint; NewMerkleListRoot: bigint; NewStateRoot: bigint; NewBlockHeight: bigint; ProofGeneratorsList: { list: bigint[]; }; }, { numberOfSettlementProofs: bigint; }>>; }; declare class SettlementProof extends SettlementProof_base { }