@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
34 lines • 1.24 kB
JavaScript
import { DynamicProof, Field, Struct, Undefined, FeatureFlags } from 'o1js';
class ZkpProofLeft extends DynamicProof {
}
ZkpProofLeft.publicInputType = Field;
ZkpProofLeft.publicOutputType = Field;
ZkpProofLeft.maxProofsVerified = 0;
ZkpProofLeft.featureFlags = FeatureFlags.allMaybe;
class ZkpProofRight extends DynamicProof {
}
ZkpProofRight.publicInputType = Field;
ZkpProofRight.publicOutputType = Field;
ZkpProofRight.maxProofsVerified = 0;
ZkpProofRight.featureFlags = FeatureFlags.allMaybe;
class SubtreeCarry extends Struct({
leftIn: Field,
rightOut: Field,
subtreeVkDigest: Field,
}) {
}
class NodeProofLeft extends DynamicProof {
}
NodeProofLeft.publicInputType = Undefined;
NodeProofLeft.publicOutputType = SubtreeCarry;
NodeProofLeft.maxProofsVerified = 2;
NodeProofLeft.featureFlags = FeatureFlags.allMaybe;
class NodeProofRight extends DynamicProof {
}
NodeProofRight.publicInputType = Undefined;
NodeProofRight.publicOutputType = SubtreeCarry;
NodeProofRight.maxProofsVerified = 2;
NodeProofRight.featureFlags = FeatureFlags.allMaybe;
const NOTHING_UP_MY_SLEEVE = Field(0);
export { ZkpProofLeft, ZkpProofRight, NodeProofLeft, NodeProofRight, SubtreeCarry, NOTHING_UP_MY_SLEEVE, };
//# sourceMappingURL=structs.js.map