@nori-zk/proof-conversion/build/src/blobstream/rollup.d.ts

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

import { Field, PrivateKey, SmartContract, State, PublicKey } from 'o1js';
import { BlobstreamMerkleWitness } from './blobstream_contract.js';
import { BatcherProof } from './batcher.js';
export declare const adminPrivateKey: PrivateKey;
export declare const adminPublicKey: PublicKey;
declare class BatcherProofType extends BatcherProof {
}
declare const StateBytes_base: typeof import("node_modules/o1js/dist/node/lib/provable/bytes.js").Bytes;
export declare class StateBytes extends StateBytes_base {
}
export declare class HelloWorldRollup extends SmartContract {
    rollupState: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    blobstreamAddress: State<PublicKey>;
    blobInclusionVkHash: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    batcherVkHash: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    init(): void;
    setParameters(admin: PrivateKey, blobstreamAddress: PublicKey, blobInclusionVkHash: Field, batcherVkHash: Field): Promise<void>;
    update(admin: PrivateKey, pathInBlobstream: BlobstreamMerkleWitness, batcherProof: BatcherProofType): Promise<void>;
}
export {};