@nori-zk/ethprocessor
Version:
zkApp for verifying SP1 Helios Nori proof and storing latest execution state root on Mina
39 lines (38 loc) • 949 B
TypeScript
import { EthVerifier } from './EthVerifier';
export interface Proof {
Plonk: {
encoded_proof: string;
plonk_vkey_hash: number[];
public_inputs: string[];
raw_proof: string;
};
}
export interface PublicValues {
buffer: {
data: number[];
};
}
export interface PlonkProof {
proof: Proof;
public_values: PublicValues;
sp1_version: string;
}
export interface ConvertedProofProofData {
maxProofsVerified: 0 | 1 | 2;
proof: string;
publicInput: string[];
publicOutput: string[];
}
export interface ConvertedProofVkData {
data: string;
hash: string;
}
export interface ConvertedProof {
vkData: ConvertedProofVkData;
proofData: ConvertedProofProofData;
}
export interface CreateProofArgument {
sp1PlonkProof: PlonkProof;
conversionOutputProof: ConvertedProof;
}
export type EthVerifierComputeOutput = Awaited<ReturnType<typeof EthVerifier.compute>>;