import { Field, SmartContract, State, PublicKey, SelfProof, Provable, Bool, UInt64, UInt8 } from 'o1js';
import { ZkAppRef } from '../storages/SharedStorage.js';
import { FundingInformation } from '../storages/FundingStorage.js';
import { Storage } from '@auxo-dev/dkg';
import { Timeline, TimelineLevel1Witness } from '../storages/CampaignStorage.js';
import { CampaignStateLevel1Witness, ClaimedAmountLevel1Witness } from '../storages/TreasuryManagerStorage.js';
import { ProjectIndexLevel1Witness } from '../storages/ParticipationStorage.js';
import { TreasuryAddressLevel1Witness } from '../storages/ProjectStorage.js';
export { TreasuryManagerContract, TreasuryManagerContractMock, TreasuryManagerAction, RollupTreasuryManager, RollupTreasuryManagerOutput, RollupTreasuryManagerProof, };
declare const TreasuryManagerAction_base: (new (value: {
    campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
    projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
    amount: UInt64;
    actionType: import("o1js/dist/node/lib/provable/field.js").Field;
}) => {
    campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
    projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
    amount: UInt64;
    actionType: import("o1js/dist/node/lib/provable/field.js").Field;
}) & {
    _isStruct: true;
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
    campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
    projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
    amount: UInt64;
    actionType: import("o1js/dist/node/lib/provable/field.js").Field;
}>, "fromFields"> & {
    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
        campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
        projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
        amount: UInt64;
        actionType: import("o1js/dist/node/lib/provable/field.js").Field;
    };
} & {
    toInput: (x: {
        campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
        projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
        amount: UInt64;
        actionType: import("o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        fields?: import("o1js/dist/node/lib/provable/field.js").Field[] | undefined;
        packed?: [import("o1js/dist/node/lib/provable/field.js").Field, number][] | undefined;
    };
    toJSON: (x: {
        campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
        projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
        amount: UInt64;
        actionType: import("o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        campaignId: string;
        projectIndex: string;
        amount: string;
        actionType: string;
    };
    fromJSON: (x: {
        campaignId: string;
        projectIndex: string;
        amount: string;
        actionType: string;
    }) => {
        campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
        projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
        amount: UInt64;
        actionType: import("o1js/dist/node/lib/provable/field.js").Field;
    };
    empty: () => {
        campaignId: import("o1js/dist/node/lib/provable/field.js").Field;
        projectIndex: import("o1js/dist/node/lib/provable/field.js").Field;
        amount: UInt64;
        actionType: import("o1js/dist/node/lib/provable/field.js").Field;
    };
};
declare class TreasuryManagerAction extends TreasuryManagerAction_base {
    static fromFields(fields: Field[]): TreasuryManagerAction;
    getUniqueClaimedId(): import("o1js/dist/node/lib/provable/field.js").Field;
    getUniqueCompletedId(): import("o1js/dist/node/lib/provable/field.js").Field;
    getUniqueAbortedId(): import("o1js/dist/node/lib/provable/field.js").Field;
}
declare const RollupTreasuryManagerOutput_base: (new (value: {
    initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
}) => {
    initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
}) & {
    _isStruct: true;
} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
    initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
    nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
}>, "fromFields"> & {
    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
        initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
        nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    };
} & {
    toInput: (x: {
        initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
        nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        fields?: import("o1js/dist/node/lib/provable/field.js").Field[] | undefined;
        packed?: [import("o1js/dist/node/lib/provable/field.js").Field, number][] | undefined;
    };
    toJSON: (x: {
        initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
        nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    }) => {
        initialCampaignStateRoot: string;
        initialClaimedAmountRoot: string;
        initialActionState: string;
        nextCampaignStateRoot: string;
        nextClaimedAmountRoot: string;
        nextActionState: string;
    };
    fromJSON: (x: {
        initialCampaignStateRoot: string;
        initialClaimedAmountRoot: string;
        initialActionState: string;
        nextCampaignStateRoot: string;
        nextClaimedAmountRoot: string;
        nextActionState: string;
    }) => {
        initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
        nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    };
    empty: () => {
        initialCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        initialActionState: import("o1js/dist/node/lib/provable/field.js").Field;
        nextCampaignStateRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextClaimedAmountRoot: import("o1js/dist/node/lib/provable/field.js").Field;
        nextActionState: import("o1js/dist/node/lib/provable/field.js").Field;
    };
};
declare class RollupTreasuryManagerOutput extends RollupTreasuryManagerOutput_base {
}
declare const RollupTreasuryManager: {
    name: string;
    compile: (options?: {
        cache?: import("o1js/dist/node/lib/proof-system/cache.js").Cache | undefined;
        forceRecompile?: boolean | undefined;
    } | undefined) => Promise<{
        verificationKey: {
            data: string;
            hash: import("o1js/dist/node/lib/provable/field.js").Field;
        };
    }>;
    verify: (proof: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<undefined, RollupTreasuryManagerOutput>) => Promise<boolean>;
    digest: () => Promise<string>;
    analyzeMethods: () => Promise<{
        firstStep: {
            rows: number;
            digest: string;
            gates: import("o1js/dist/node/snarky.js").Gate[];
            publicInputSize: number;
            print(): void;
            summary(): Partial<Record<import("o1js/dist/node/snarky.js").GateType | "Total rows", number>>;
        };
        completeCampaignStep: {
            rows: number;
            digest: string;
            gates: import("o1js/dist/node/snarky.js").Gate[];
            publicInputSize: number;
            print(): void;
            summary(): Partial<Record<import("o1js/dist/node/snarky.js").GateType | "Total rows", number>>;
        };
        abortCampaignStep: {
            rows: number;
            digest: string;
            gates: import("o1js/dist/node/snarky.js").Gate[];
            publicInputSize: number;
            print(): void;
            summary(): Partial<Record<import("o1js/dist/node/snarky.js").GateType | "Total rows", number>>;
        };
        claimFundStep: {
            rows: number;
            digest: string;
            gates: import("o1js/dist/node/snarky.js").Gate[];
            publicInputSize: number;
            print(): void;
            summary(): Partial<Record<import("o1js/dist/node/snarky.js").GateType | "Total rows", number>>;
        };
    }>;
    publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").ProvablePureExtended<undefined, null>;
    publicOutputType: typeof RollupTreasuryManagerOutput;
    privateInputTypes: {
        firstStep: [typeof import("o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field | import("o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst) => import("o1js/dist/node/lib/provable/field.js").Field), typeof import("o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field | import("o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst) => import("o1js/dist/node/lib/provable/field.js").Field), typeof import("o1js/dist/node/lib/provable/field.js").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field.js").Field | import("o1js/dist/node/lib/provable/core/fieldvar.js").FieldVar | import("o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst) => import("o1js/dist/node/lib/provable/field.js").Field)];
        completeCampaignStep: [{
            new ({ proof, publicInput, publicOutput, maxProofsVerified, }: {
                proof: unknown;
                publicInput: undefined;
                publicOutput: RollupTreasuryManagerOutput;
                maxProofsVerified: 0 | 2 | 1;
            }): SelfProof<undefined, RollupTreasuryManagerOutput>;
            publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
            publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
            tag: () => {
                name: string;
            };
            fromJSON<S extends (new (...args: any) => import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>) & {
                prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<any, any>;
                publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
                publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
                tag: () => {
                    name: string;
                };
                fromJSON: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.fromJSON;
                dummy: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.dummy;
            } & {
                prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>;
            }>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js/dist/node/lib/proof-system/zkprogram.js").JsonProof): import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicInputType"], import("o1js/dist/node/lib/provable/field.js").Field>, import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicOutputType"], import("o1js/dist/node/lib/provable/field.js").Field>>;
            dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 2 | 1, domainLog2?: number | undefined): Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<Input, OutPut>>;
        }, typeof TreasuryManagerAction, typeof TimelineLevel1Witness];
        abortCampaignStep: [{
            new ({ proof, publicInput, publicOutput, maxProofsVerified, }: {
                proof: unknown;
                publicInput: undefined;
                publicOutput: RollupTreasuryManagerOutput;
                maxProofsVerified: 0 | 2 | 1;
            }): SelfProof<undefined, RollupTreasuryManagerOutput>;
            publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
            publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
            tag: () => {
                name: string;
            };
            fromJSON<S extends (new (...args: any) => import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>) & {
                prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<any, any>;
                publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
                publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
                tag: () => {
                    name: string;
                };
                fromJSON: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.fromJSON;
                dummy: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.dummy;
            } & {
                prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>;
            }>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js/dist/node/lib/proof-system/zkprogram.js").JsonProof): import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicInputType"], import("o1js/dist/node/lib/provable/field.js").Field>, import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicOutputType"], import("o1js/dist/node/lib/provable/field.js").Field>>;
            dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 2 | 1, domainLog2?: number | undefined): Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<Input, OutPut>>;
        }, typeof TreasuryManagerAction, typeof TimelineLevel1Witness];
        claimFundStep: [{
            new ({ proof, publicInput, publicOutput, maxProofsVerified, }: {
                proof: unknown;
                publicInput: undefined;
                publicOutput: RollupTreasuryManagerOutput;
                maxProofsVerified: 0 | 2 | 1;
            }): SelfProof<undefined, RollupTreasuryManagerOutput>;
            publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
            publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
            tag: () => {
                name: string;
            };
            fromJSON<S extends (new (...args: any) => import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>) & {
                prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<any, any>;
                publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
                publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
                tag: () => {
                    name: string;
                };
                fromJSON: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.fromJSON;
                dummy: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.dummy;
            } & {
                prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>;
            }>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js/dist/node/lib/proof-system/zkprogram.js").JsonProof): import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicInputType"], import("o1js/dist/node/lib/provable/field.js").Field>, import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicOutputType"], import("o1js/dist/node/lib/provable/field.js").Field>>;
            dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 2 | 1, domainLog2?: number | undefined): Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<Input, OutPut>>;
        }, typeof TreasuryManagerAction, typeof ClaimedAmountLevel1Witness];
    };
    rawMethods: {
        firstStep: (...args: [import("o1js/dist/node/lib/provable/field.js").Field, import("o1js/dist/node/lib/provable/field.js").Field, import("o1js/dist/node/lib/provable/field.js").Field] & any[]) => Promise<RollupTreasuryManagerOutput>;
        completeCampaignStep: (...args: [SelfProof<undefined, RollupTreasuryManagerOutput>, TreasuryManagerAction, TimelineLevel1Witness] & any[]) => Promise<RollupTreasuryManagerOutput>;
        abortCampaignStep: (...args: [SelfProof<undefined, RollupTreasuryManagerOutput>, TreasuryManagerAction, TimelineLevel1Witness] & any[]) => Promise<RollupTreasuryManagerOutput>;
        claimFundStep: (...args: [SelfProof<undefined, RollupTreasuryManagerOutput>, TreasuryManagerAction, ClaimedAmountLevel1Witness] & any[]) => Promise<RollupTreasuryManagerOutput>;
    };
} & {
    firstStep: (...args: [import("o1js/dist/node/lib/provable/field.js").Field, import("o1js/dist/node/lib/provable/field.js").Field, import("o1js/dist/node/lib/provable/field.js").Field] & any[]) => Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<undefined, RollupTreasuryManagerOutput>>;
    completeCampaignStep: (...args: [SelfProof<undefined, RollupTreasuryManagerOutput>, TreasuryManagerAction, TimelineLevel1Witness] & any[]) => Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<undefined, RollupTreasuryManagerOutput>>;
    abortCampaignStep: (...args: [SelfProof<undefined, RollupTreasuryManagerOutput>, TreasuryManagerAction, TimelineLevel1Witness] & any[]) => Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<undefined, RollupTreasuryManagerOutput>>;
    claimFundStep: (...args: [SelfProof<undefined, RollupTreasuryManagerOutput>, TreasuryManagerAction, ClaimedAmountLevel1Witness] & any[]) => Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<undefined, RollupTreasuryManagerOutput>>;
};
declare const RollupTreasuryManagerProof_base: {
    new ({ proof, publicInput, publicOutput, maxProofsVerified, }: {
        proof: unknown;
        publicInput: undefined;
        publicOutput: RollupTreasuryManagerOutput;
        maxProofsVerified: 0 | 2 | 1;
    }): {
        publicInput: undefined;
        publicOutput: RollupTreasuryManagerOutput;
        proof: unknown;
        maxProofsVerified: 0 | 2 | 1;
        shouldVerify: import("o1js/dist/node/lib/provable/bool.js").Bool;
        verify(): void;
        verifyIf(condition: import("o1js/dist/node/lib/provable/bool.js").Bool): void;
        toJSON(): import("o1js/dist/node/lib/proof-system/zkprogram.js").JsonProof;
    };
    publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").ProvablePureExtended<undefined, null>;
    publicOutputType: typeof RollupTreasuryManagerOutput;
    tag: () => {
        name: string;
        publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").ProvablePureExtended<undefined, null>;
        publicOutputType: typeof RollupTreasuryManagerOutput;
    };
    fromJSON<S extends (new (...args: any) => import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>) & {
        prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<any, any>;
        publicInputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
        publicOutputType: import("o1js/dist/node/lib/provable/types/struct.js").FlexibleProvablePure<any>;
        tag: () => {
            name: string;
        };
        fromJSON: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.fromJSON;
        dummy: typeof import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof.dummy;
    } & {
        prototype: import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<unknown, unknown>;
    }>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js/dist/node/lib/proof-system/zkprogram.js").JsonProof): import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicInputType"], import("o1js/dist/node/lib/provable/field.js").Field>, import("o1js/dist/node/bindings/lib/provable-generic.js").InferProvable<S["publicOutputType"], import("o1js/dist/node/lib/provable/field.js").Field>>;
    dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 2 | 1, domainLog2?: number | undefined): Promise<import("o1js/dist/node/lib/proof-system/zkprogram.js").Proof<Input, OutPut>>;
};
declare class RollupTreasuryManagerProof extends RollupTreasuryManagerProof_base {
}
declare class TreasuryManagerContract extends SmartContract {
    campaignStateRoot: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    claimedAmountRoot: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    zkAppRoot: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    actionState: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    reducer: {
        dispatch(action: TreasuryManagerAction): void;
        reduce<State_1>(actions: TreasuryManagerAction[][], stateType: Provable<State_1>, reduce: (state: State_1, action: TreasuryManagerAction) => State_1, initial: {
            state: State_1;
            actionState: import("o1js/dist/node/lib/provable/field.js").Field;
        }, options?: {
            maxTransactionsWithActions?: number | undefined;
            maxActionsPerMethod?: number | undefined;
            skipActionStatePrecondition?: boolean | undefined;
        } | undefined): {
            state: State_1;
            actionState: import("o1js/dist/node/lib/provable/field.js").Field;
        };
        forEach(actions: TreasuryManagerAction[][], reduce: (action: TreasuryManagerAction) => void, fromActionState: import("o1js/dist/node/lib/provable/field.js").Field, options?: {
            maxTransactionsWithActions?: number | undefined;
            maxActionsPerMethod?: number | undefined;
            skipActionStatePrecondition?: boolean | undefined;
        } | undefined): import("o1js/dist/node/lib/provable/field.js").Field;
        getActions({ fromActionState, endActionState, }?: {
            fromActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
            endActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
        } | undefined): TreasuryManagerAction[][];
        fetchActions({ fromActionState, endActionState, }: {
            fromActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
            endActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
        }): Promise<TreasuryManagerAction[][]>;
    };
    init(): void;
    completeCampaign(campaignId: Field, requestId: Field, timeline: Timeline, timelineWitness: TimelineLevel1Witness, campaignStateWitness: CampaignStateLevel1Witness, taskWitness: Storage.RequestStorage.RequestLevel1Witness, expirationTimestamp: UInt64, expirationWitness: Storage.RequestStorage.RequestLevel1Witness, resultWitness: Storage.RequestStorage.RequestLevel1Witness, campaignContractRef: ZkAppRef, requesterContractRef: ZkAppRef, requestContractRef: ZkAppRef): Promise<void>;
    abortCampaign(campaignId: Field, requestId: Field, timeline: Timeline, timelineWitness: TimelineLevel1Witness, campaignStateWitness: CampaignStateLevel1Witness, taskWitness: Storage.RequestStorage.RequestLevel1Witness, expirationTimestamp: UInt64, expirationWitness: Storage.RequestStorage.RequestLevel1Witness, resultWitness: Storage.RequestStorage.RequestLevel1Witness, campaignContractRef: ZkAppRef, requesterContractRef: ZkAppRef, requestContractRef: ZkAppRef): Promise<void>;
    claimFund(campaignId: Field, projectId: Field, projectIndex: Field, projectIndexWitness: ProjectIndexLevel1Witness, requestId: Field, taskWitness: Storage.RequestStorage.RequestLevel1Witness, resultVectorWitness: Storage.RequestStorage.RequestLevel1Witness, resultValueWitness: Storage.RequestStorage.RequestLevel2Witness, treasuryAddress: PublicKey, treasuryAddressWitness: TreasuryAddressLevel1Witness, claimedAmountWitness: ClaimedAmountLevel1Witness, amount: UInt64, participationContractRef: ZkAppRef, requestContractRef: ZkAppRef, requesterContractRef: ZkAppRef, projectContractRef: ZkAppRef): Promise<void>;
    refund(fundingInformation: FundingInformation, campaignStateWitness: CampaignStateLevel1Witness, fundingContractRef: ZkAppRef): Promise<void>;
    rollup(rollupTreasuryManagerProof: RollupTreasuryManagerProof): Promise<void>;
    isNotEnded(campaignId: Field, campaignStateWitness: CampaignStateLevel1Witness): Bool;
    isCompleted(campaignId: Field, campaignStateWitness: CampaignStateLevel1Witness): import("o1js/dist/node/lib/provable/bool.js").Bool;
    isAborted(campaignId: Field, campaignStateWitness: CampaignStateLevel1Witness): import("o1js/dist/node/lib/provable/bool.js").Bool;
    isClaimed(campaignId: Field, dimensionIndex: UInt8, claimedAmountWitness: ClaimedAmountLevel1Witness): Bool;
    checkClaimedAmount(campaignId: Field, dimensionIndex: UInt8, claimedAmount: UInt64, claimedAmountWitness: ClaimedAmountLevel1Witness): Bool;
}
declare class TreasuryManagerContractMock extends SmartContract {
    campaignStateRoot: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    claimedAmountRoot: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    zkAppRoot: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    actionState: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    reducer: {
        dispatch(action: TreasuryManagerAction): void;
        reduce<State_1>(actions: TreasuryManagerAction[][], stateType: Provable<State_1>, reduce: (state: State_1, action: TreasuryManagerAction) => State_1, initial: {
            state: State_1;
            actionState: import("o1js/dist/node/lib/provable/field.js").Field;
        }, options?: {
            maxTransactionsWithActions?: number | undefined;
            maxActionsPerMethod?: number | undefined;
            skipActionStatePrecondition?: boolean | undefined;
        } | undefined): {
            state: State_1;
            actionState: import("o1js/dist/node/lib/provable/field.js").Field;
        };
        forEach(actions: TreasuryManagerAction[][], reduce: (action: TreasuryManagerAction) => void, fromActionState: import("o1js/dist/node/lib/provable/field.js").Field, options?: {
            maxTransactionsWithActions?: number | undefined;
            maxActionsPerMethod?: number | undefined;
            skipActionStatePrecondition?: boolean | undefined;
        } | undefined): import("o1js/dist/node/lib/provable/field.js").Field;
        getActions({ fromActionState, endActionState, }?: {
            fromActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
            endActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
        } | undefined): TreasuryManagerAction[][];
        fetchActions({ fromActionState, endActionState, }: {
            fromActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
            endActionState?: import("o1js/dist/node/lib/provable/field.js").Field | undefined;
        }): Promise<TreasuryManagerAction[][]>;
    };
    init(): void;
    completeCampaign(campaignId: Field, requestId: Field, timeline: Timeline, timelineWitness: TimelineLevel1Witness, campaignStateWitness: CampaignStateLevel1Witness, expirationTimestamp: UInt64, campaignContractRef: ZkAppRef, requesterContractRef: ZkAppRef, requestContractRef: ZkAppRef): Promise<void>;
    abortCampaign(campaignId: Field, requestId: Field, timeline: Timeline, timelineWitness: TimelineLevel1Witness, campaignStateWitness: CampaignStateLevel1Witness, expirationTimestamp: UInt64, campaignContractRef: ZkAppRef, requesterContractRef: ZkAppRef, requestContractRef: ZkAppRef): Promise<void>;
    claimFund(campaignId: Field, projectId: Field, projectIndex: Field, projectIndexWitness: ProjectIndexLevel1Witness, requestId: Field, treasuryAddress: PublicKey, treasuryAddressWitness: TreasuryAddressLevel1Witness, claimedAmountWitness: ClaimedAmountLevel1Witness, amount: UInt64, participationContractRef: ZkAppRef, requestContractRef: ZkAppRef, requesterContractRef: ZkAppRef, projectContractRef: ZkAppRef): Promise<void>;
    refund(fundingInformation: FundingInformation, campaignStateWitness: CampaignStateLevel1Witness, fundingContractRef: ZkAppRef): Promise<void>;
    rollup(rollupTreasuryManagerProof: RollupTreasuryManagerProof): Promise<void>;
    isNotEnded(campaignId: Field, campaignStateWitness: CampaignStateLevel1Witness): Bool;
    isCompleted(campaignId: Field, campaignStateWitness: CampaignStateLevel1Witness): import("o1js/dist/node/lib/provable/bool.js").Bool;
    isAborted(campaignId: Field, campaignStateWitness: CampaignStateLevel1Witness): import("o1js/dist/node/lib/provable/bool.js").Bool;
    isClaimed(campaignId: Field, dimensionIndex: UInt8, claimedAmountWitness: ClaimedAmountLevel1Witness): Bool;
}