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

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

import { Field, PrivateKey, SmartContract, State } from 'o1js';
import { BlobstreamProof } from './verify_blobstream.js';
export declare const adminPrivateKey: PrivateKey;
export declare const adminPublicKey: import("o1js").PublicKey;
declare const BlobstreamMerkleWitness_base: typeof import("node_modules/o1js/dist/node/lib/provable/merkle-tree.js").BaseMerkleWitness;
export declare class BlobstreamMerkleWitness extends BlobstreamMerkleWitness_base {
}
declare class BlobstreamProofType extends BlobstreamProof {
}
export declare class BlobstreamProcessor extends SmartContract {
    parametersWereSet: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    commitmentsRoot: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    currentLeafIndex: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    trustedBlock: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
    init(): void;
    setParameters(trustedBlock: Field): Promise<void>;
    update(admin: PrivateKey, blobstreamProof: BlobstreamProofType, path: BlobstreamMerkleWitness): Promise<void>;
}
export {};