import type { GlobalTeleportProof, IndexedEvent } from "../types.js";
/**
 * Convert a bigint to a fixed-width hex string.
 * @param value - Non-negative integer value.
 * @param bytes - Desired byte width. Defaults to 32.
 * @throws If `value` is negative.
 */
export declare function toFixedHex(value: bigint, bytes?: number): string;
/**
 * Convert a bigint to a 32-byte field element hex string.
 */
export declare function toFieldHex(value: bigint): string;
/**
 * Convert a leaf index to its decimal string representation.
 * @remarks Nova circuits often expect indices as decimal strings.
 */
export declare function toLeafIndexString(index: bigint): string;
export declare function formatFieldElement(value: string, label: string): string;
/**
 * Choose a small number of dummy steps to append to a Nova batch.
 * @remarks Uses `crypto.getRandomValues` when available; otherwise returns a minimal default.
 */
export declare function randomDummySteps(): number;
/**
 * Append protocol-specific dummy steps to a list of Nova steps.
 * @remarks
 * Dummy steps are placed at the end of the global transfer tree to avoid collisions.
 */
export declare function appendDummySteps(steps: any[]): void;
/**
 * Sorts events and proofs by leaf index in ascending order.
 * Used for Nova batch proofs to ensure correct ordering.
 *
 * @remarks
 * This function assumes that events and proofs arrays have the same length
 * and are indexed correspondingly (events[i] pairs with proofs[i]).
 * Callers should validate length equality before calling this function.
 */
export declare function sortProofsByLeafIndex(events: readonly IndexedEvent[], proofs: readonly GlobalTeleportProof[]): {
    events: IndexedEvent[];
    proofs: GlobalTeleportProof[];
};
//# sourceMappingURL=proofUtils.d.ts.map