import { CircomInputs } from './circom-inputs';
import { R1CS } from 'crypto-wasm-new';
import { ParsedR1CSFile } from './file';
export declare class CircomCircuit {
    /**
     * Generate all the wires of the circuit, including the explicit input "1", public and private
     * @param wasmBytes
     * @param inputs
     */
    static generateWires(wasmBytes: Uint8Array, inputs: CircomInputs): Uint8Array[];
    /**
     * For the circuit given by the R1CS and WASM files, check if its constraints are satisfied with the given (public and private)
     * inputs.
     * @param r1cs
     * @param wasmBytes
     * @param inputs
     */
    static isSatisfied(r1cs: R1CS | ParsedR1CSFile, wasmBytes: Uint8Array, inputs: CircomInputs): boolean;
}
//# sourceMappingURL=circom-circuit.d.ts.map