@nori-zk/ethprocessor
Version:
zkApp for verifying SP1 Helios Nori proof and storing latest execution state root on Mina
21 lines (20 loc) • 671 B
TypeScript
import type { NoriSP1ProofInput } from '@nori-zk/pts-types';
declare const sp1ConsensusMPTPlonkProof: WorkerOutputBridgeHeadMessage;
type VerifiedContractStorageSlot = {
slot_key_address: string;
slot_nested_key_attestation_hash: string;
value: string;
};
type WorkerOutputBridgeHeadMessage = {
input_slot: number;
input_block_number: number;
input_store_hash: string;
output_slot: number;
output_block_number: number;
output_store_hash: string;
proof: NoriSP1ProofInput;
execution_state_root: string;
contract_storage_slots: VerifiedContractStorageSlot[];
elapsed_sec: number;
};
export { sp1ConsensusMPTPlonkProof };