@tokamak-zk-evm/synthesizer
Version:
Tokamak zk-EVM Synthesizer - Processes Ethereum transactions into wire maps for Tokamak zk-SNARK proof generation
29 lines • 927 B
TypeScript
import type { PlacementInstances, Placements } from '../types/index.js';
export declare function finalize(placements: Placements, _path?: string, validate?: boolean, writeToFS?: boolean): Promise<{
permutation: Permutation;
placementInstance: PlacementInstances;
}>;
declare class Permutation {
private l;
private l_D;
private flattenMapInverse;
private subcircuitInfoByName;
private _placements;
private _instances;
private permGroup;
permutationY: number[][];
permutationZ: number[][];
permutationFile: {
row: number;
col: number;
Y: number;
Z: number;
}[];
constructor(placements: Placements, instances?: PlacementInstances, _path?: string, writeToFS?: boolean);
private _outputPermutation;
private _searchInsert;
private _buildPermGroup;
private _validatePermutation;
}
export {};
//# sourceMappingURL=finalize.d.ts.map