export interface CircuitConfig { k: number; numAdvice: number; numLookupAdvice: number; numInstance: number; numLookupBits: number; numVirtualInstance: number; } export declare const DEFAULT_CIRCUIT_CONFIG: CircuitConfig;