import { LegoProvingKey } from '../legosnark';
import { R1CS } from 'crypto-wasm-new';
import { ParsedR1CSFile } from './file';
/**
 * Create SNARK proving and verifying key from the parsed R1CS file.
 */
export declare class R1CSSnarkSetup {
    /**
     * Create proving key from a parsed R1CS file. Returns the compressed proving key.
     * @param parsedR1cs
     * @param commitWitnessCount - If not provided, uses the number of private inputs (only explicitly defined, not intermediate)
     * to the circuit
     */
    static fromParsedR1CSFile(parsedR1cs: ParsedR1CSFile, commitWitnessCount?: number): LegoProvingKey;
    static fromR1CS(processedR1cs: R1CS, commitWitnessCount: number): LegoProvingKey;
}
//# sourceMappingURL=setup.d.ts.map