import type { HidingKernelToPublicPrivateInputs, HidingKernelToRollupPrivateInputs, PrivateExecutionStep, PrivateKernelCircuitPublicInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelResetCircuitPrivateInputs, PrivateKernelSimulateOutput, PrivateKernelTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs } from '../kernel/index.js';
import type { ChonkProofWithPublicInputs } from '../proofs/chonk_proof.js';
/**
 * PrivateKernelProver provides functionality to simulate and validate circuits, and retrieve
 * siloed commitments necessary for maintaining transaction privacy and security on the network.
 */
export interface PrivateKernelProver {
    /**
     * Creates a proof output for a given signed transaction request and private call data for the first iteration.
     *
     * @param privateKernelInputsInit - The private data structure for the initial iteration.
     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
     */
    generateInitOutput(privateKernelInputsInit: PrivateKernelInitCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
    /**
     * Executes the first kernel iteration without generating a proof.
     *
     * @param privateKernelInputsInit - The private data structure for the initial iteration.
     * @returns A Promise resolving to a ProofOutput object containing public inputs and an empty kernel proof.
     */
    simulateInit(privateKernelInputsInit: PrivateKernelInitCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
    /**
     * Creates a proof output for a given previous kernel data and private call data for an inner iteration.
     *
     * @param privateKernelInputsInner - The private input data structure for the inner iteration.
     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
     */
    generateInnerOutput(privateKernelInputsInner: PrivateKernelInnerCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
    /**
     * Executes an inner kernel iteration without generating a proof.
     *
     * @param privateKernelInputsInit - The private data structure for the initial iteration.
     * @returns A Promise resolving to a ProofOutput object containing public inputs and an empty kernel proof.
     */
    simulateInner(privateKernelInputsInner: PrivateKernelInnerCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
    /**
     * Creates a proof output by resetting the arrays using the reset circuit.
     *
     * @param privateKernelInputsTail - The private input data structure for the reset circuit.
     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
     */
    generateResetOutput(privateKernelInputsReset: PrivateKernelResetCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
    /**
     * Executes the reset circuit without generating a proof
     *
     * @param privateKernelInputsTail - The private input data structure for the reset circuit.
     * @returns A Promise resolving to a ProofOutput object containing public inputs an empty kernel proof.
     */
    simulateReset(privateKernelInputsReset: PrivateKernelResetCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelCircuitPublicInputs>>;
    /**
     * Creates a proof output based on the last inner kernel iteration kernel data for the final ordering iteration.
     *
     * @param privateKernelInputsTail - The private input data structure for the final ordering iteration.
     * @returns A Promise resolving to a ProofOutput object containing public inputs and the kernel proof.
     */
    generateTailOutput(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
    /**
     * Executes the final ordering iteration circuit.
     *
     * @param privateKernelInputsTail - The private input data structure for the final ordering iteration.
     * @returns A Promise resolving to a ProofOutput object containing public inputs an empty kernel proof.
     */
    simulateTail(privateKernelInputsTail: PrivateKernelTailCircuitPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
    generateHidingToRollupOutput(inputs: HidingKernelToRollupPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
    generateHidingToPublicOutput(inputs: HidingKernelToPublicPrivateInputs): Promise<PrivateKernelSimulateOutput<PrivateKernelTailCircuitPublicInputs>>;
    /**
     * Based of a program stack, create a folding proof.
     * @param acirs The program bytecode.
     * @param witnessStack The witnessses for each program bytecode.
     */
    createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs>;
    /**
     * Compute the gate count for a given circuit.
     * @param bytecode - The circuit bytecode in gzipped bincode format
     * @param circuitName - The name of the circuit
     * @returns A Promise resolving to the gate count
     */
    computeGateCountForCircuit(bytecode: Buffer, circuitName: string): Promise<number>;
}
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfcHJvdmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvaW50ZXJmYWNlcy9wcml2YXRlX2tlcm5lbF9wcm92ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQ1YsaUNBQWlDLEVBQ2pDLGlDQUFpQyxFQUNqQyxvQkFBb0IsRUFDcEIsZ0NBQWdDLEVBQ2hDLHFDQUFxQyxFQUNyQyxzQ0FBc0MsRUFDdEMsc0NBQXNDLEVBQ3RDLDJCQUEyQixFQUMzQixxQ0FBcUMsRUFDckMsb0NBQW9DLEVBQ3JDLE1BQU0sb0JBQW9CLENBQUM7QUFDNUIsT0FBTyxLQUFLLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUUzRTs7O0dBR0c7QUFDSCxNQUFNLFdBQVcsbUJBQW1CO0lBQ2xDOzs7OztPQUtHO0lBQ0gsa0JBQWtCLENBQ2hCLHVCQUF1QixFQUFFLHFDQUFxQyxHQUM3RCxPQUFPLENBQUMsMkJBQTJCLENBQUMsZ0NBQWdDLENBQUMsQ0FBQyxDQUFDO0lBRTFFOzs7OztPQUtHO0lBQ0gsWUFBWSxDQUNWLHVCQUF1QixFQUFFLHFDQUFxQyxHQUM3RCxPQUFPLENBQUMsMkJBQTJCLENBQUMsZ0NBQWdDLENBQUMsQ0FBQyxDQUFDO0lBRTFFOzs7OztPQUtHO0lBQ0gsbUJBQW1CLENBQ2pCLHdCQUF3QixFQUFFLHNDQUFzQyxHQUMvRCxPQUFPLENBQUMsMkJBQTJCLENBQUMsZ0NBQWdDLENBQUMsQ0FBQyxDQUFDO0lBRTFFOzs7OztPQUtHO0lBQ0gsYUFBYSxDQUNYLHdCQUF3QixFQUFFLHNDQUFzQyxHQUMvRCxPQUFPLENBQUMsMkJBQTJCLENBQUMsZ0NBQWdDLENBQUMsQ0FBQyxDQUFDO0lBRTFFOzs7OztPQUtHO0lBQ0gsbUJBQW1CLENBQ2pCLHdCQUF3QixFQUFFLHNDQUFzQyxHQUMvRCxPQUFPLENBQUMsMkJBQTJCLENBQUMsZ0NBQWdDLENBQUMsQ0FBQyxDQUFDO0lBRTFFOzs7OztPQUtHO0lBQ0gsYUFBYSxDQUNYLHdCQUF3QixFQUFFLHNDQUFzQyxHQUMvRCxPQUFPLENBQUMsMkJBQTJCLENBQUMsZ0NBQWdDLENBQUMsQ0FBQyxDQUFDO0lBRTFFOzs7OztPQUtHO0lBQ0gsa0JBQWtCLENBQ2hCLHVCQUF1QixFQUFFLHFDQUFxQyxHQUM3RCxPQUFPLENBQUMsMkJBQTJCLENBQUMsb0NBQW9DLENBQUMsQ0FBQyxDQUFDO0lBRTlFOzs7OztPQUtHO0lBQ0gsWUFBWSxDQUNWLHVCQUF1QixFQUFFLHFDQUFxQyxHQUM3RCxPQUFPLENBQUMsMkJBQTJCLENBQUMsb0NBQW9DLENBQUMsQ0FBQyxDQUFDO0lBRTlFLDRCQUE0QixDQUMxQixNQUFNLEVBQUUsaUNBQWlDLEdBQ3hDLE9BQU8sQ0FBQywyQkFBMkIsQ0FBQyxvQ0FBb0MsQ0FBQyxDQUFDLENBQUM7SUFFOUUsNEJBQTRCLENBQzFCLE1BQU0sRUFBRSxpQ0FBaUMsR0FDeEMsT0FBTyxDQUFDLDJCQUEyQixDQUFDLG9DQUFvQyxDQUFDLENBQUMsQ0FBQztJQUU5RTs7OztPQUlHO0lBQ0gsZ0JBQWdCLENBQUMsY0FBYyxFQUFFLG9CQUFvQixFQUFFLEdBQUcsT0FBTyxDQUFDLDBCQUEwQixDQUFDLENBQUM7SUFFOUY7Ozs7O09BS0c7SUFDSCwwQkFBMEIsQ0FBQyxRQUFRLEVBQUUsTUFBTSxFQUFFLFdBQVcsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0NBQ3BGIn0=