o1js
Version:
TypeScript framework for zk-SNARKs and zkApps
22 lines (21 loc) • 1.32 kB
TypeScript
import { MlArray } from '../../../lib/ml/base.js';
import type { LookupTable, ProofWithPublic, RuntimeTable, RuntimeTableCfg } from '../bindings/kimchi-types.js';
import { ConversionCores } from './napi-conversion-core.js';
import type { Napi, NapiLookupTable, NapiProverProof, NapiRuntimeTable, NapiRuntimeTableCfg } from './napi-wrappers.js';
export { napiProofConversion };
declare function napiProofConversion(napi: Napi, core: ConversionCores): {
fp: {
proofToRust([, public_evals, proof]: ProofWithPublic): NapiProverProof;
proofFromRust(napiProof: NapiProverProof): ProofWithPublic;
runtimeTablesToRust([, ...tables]: MlArray<RuntimeTable>): NapiRuntimeTable[];
runtimeTableCfgsToRust([, ...tableCfgs]: MlArray<RuntimeTableCfg>): NapiRuntimeTableCfg[];
lookupTablesToRust([, ...tables]: MlArray<LookupTable>): NapiLookupTable[];
};
fq: {
proofToRust([, public_evals, proof]: ProofWithPublic): NapiProverProof;
proofFromRust(napiProof: NapiProverProof): ProofWithPublic;
runtimeTablesToRust([, ...tables]: MlArray<RuntimeTable>): NapiRuntimeTable[];
runtimeTableCfgsToRust([, ...tableCfgs]: MlArray<RuntimeTableCfg>): NapiRuntimeTableCfg[];
lookupTablesToRust([, ...tables]: MlArray<LookupTable>): NapiLookupTable[];
};
};