import { VerifyResult } from 'crypto-wasm-new';
import { BBDT16KeyedProof, KBUniAccumMembershipKeyedProof, KBUniAccumNonMembershipKeyedProof, VBAccumMembershipKeyedProof } from '../keyed-proofs';
import { MetaStatements, Statements } from './statement';
import { Witnesses } from './witness';
import { SetupParam } from './setup-param';
import { SaverCiphertext } from '../saver';
import { ProofSpec, QuasiProofSpec } from './proof-spec';
import { BytearrayWrapper } from '../bytearray-wrapper';
/**
 * A proof of 1 or more statements and meta statements.
 */
export declare class CompositeProof extends BytearrayWrapper {
    /**
     * Generate the composite proof using a `ProofSpec`
     * @param proofSpec
     * @param witnesses
     * @param nonce
     */
    static generate(proofSpec: ProofSpec, witnesses: Witnesses, nonce?: Uint8Array): CompositeProof;
    /**
     * Generate the composite proof using a `QuasiProofSpecG1`
     * @param proofSpec
     * @param witnesses
     * @param nonce
     */
    static generateUsingQuasiProofSpec(proofSpec: QuasiProofSpec, witnesses: Witnesses, nonce?: Uint8Array): CompositeProof;
    /**
     * Verify this composite proof using a `ProofSpec`
     * @param proofSpec
     * @param nonce
     */
    verify(proofSpec: ProofSpec, nonce?: Uint8Array): VerifyResult;
    /**
     * Verify this composite proof using a `QuasiProofSpecG1`
     * @param proofSpec
     * @param nonce
     */
    verifyUsingQuasiProofSpec(proofSpec: QuasiProofSpec, nonce?: Uint8Array, presVersionGt9?: boolean): VerifyResult;
    /**
     * Get the ciphertext for the SAVER statement at index `statementIndex`. The proof involving any SAVER statement also
     * contains the ciphertext corresponding to that statement. Will throw an error if it could not find the ciphertext or
     * statement at that index
     * @param statementIndex
     */
    getSaverCiphertext(statementIndex: number): SaverCiphertext;
    getSaverCiphertexts(statementIndices: number[]): SaverCiphertext[];
    static generateWithDeconstructedProofSpec(statements: Statements, metaStatements: MetaStatements, witnesses: Witnesses, setupParams?: SetupParam[], context?: Uint8Array, nonce?: Uint8Array): CompositeProof;
    verifyWithDeconstructedProofSpec(statements: Statements, metaStatements: MetaStatements, setupParams?: SetupParam[], context?: Uint8Array, nonce?: Uint8Array, presVersionGt9?: boolean): VerifyResult;
    /**
     * Get keyed proofs from a composite proof.
     * @returns - The key in the returned map is the statement index
     */
    getKeyedProofs(): Map<number, BBDT16KeyedProof | VBAccumMembershipKeyedProof | KBUniAccumMembershipKeyedProof | KBUniAccumNonMembershipKeyedProof>;
}
//# sourceMappingURL=proof.d.ts.map