import { ProofOfSolvency } from "@netzero/por_circuits";
import { PublicKey, SmartContract, State } from "o1js";
export declare class ProofOfSolvencyVerifier extends SmartContract {
    proofOfAssetsVerifier: State<PublicKey>;
    proofOfLiabilitiesVerifier: State<PublicKey>;
    admin: State<PublicKey>;
    verifiedProofs: State<import("o1js/dist/node/lib/provable/field.js").Field>;
    init(): void;
    changeAdmin(admin: PublicKey): Promise<void>;
    setProofOfAssetsVerifier(proofOfAssetsVerifier: PublicKey): Promise<void>;
    setProofOfLiabilitiesVerifier(proofOfLiabilitiesVerifier: PublicKey): Promise<void>;
    setContractAddresses(proofOfAssetsVerifier: PublicKey, proofOfLiabilitiesVerifier: PublicKey): Promise<void>;
    verifyProofOfSolvency(proof: ProofOfSolvency): Promise<void>;
}