@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
27 lines • 1.11 kB
JavaScript
import { isNumberArray, isStringArrayOfLength, isUint8Array, isString, } from '../validation/guards/index.js';
// Runtime validation ======================================================================
const plonkProofSchema = {
public_inputs: isStringArrayOfLength(5), // [String; 5]
encoded_proof: isString,
raw_proof: isString,
plonk_vkey_hash: isUint8Array(32), // [u8; 32]
};
const groth16ProofSchema = {
public_inputs: isStringArrayOfLength(5), // [String; 5]
encoded_proof: isString,
raw_proof: isString,
groth16_vkey_hash: isUint8Array(32), // [u8; 32]
};
export const sp1PlonkInputSchema = {
proof: { Plonk: plonkProofSchema },
public_values: { buffer: { data: isNumberArray } },
sp1_version: isString,
tee_proof: null, // Explicitly must be null - no TEE support for now
};
export const sp1Groth16InputSchema = {
proof: { Groth16: groth16ProofSchema },
public_values: { buffer: { data: isNumberArray } },
sp1_version: isString,
tee_proof: null, // Explicitly must be null - no TEE support for now
};
//# sourceMappingURL=schema.js.map