@nori-zk/proof-conversion/build/src/api/validation/guards/index.d.ts

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

/**
 * Type guard validators and core validation infrastructure.
 *
 * This module provides a composable type guard system with:
 * - Primitive validators (string, number, boolean, etc.)
 * - Array validators (fixed-length, bounded-length, variable-length)
 * - Cryptographic type validators (affine points, projective points, field elements)
 * - Constraint-based validators with detailed diagnostics
 * - Schema validation utilities
 */
export * from './core.js';
export * from './primitives.js';
export * from './arrays.js';
export * from './crypto.js';
export * from './modifiers.js';
export * from './types.js';