Type Alias ProofVerification<T>

Result of a proof verification: the caller's own objects, split, order preserved.

type ProofVerification<T> = {
invalid: { error: CTSError; proof: T }[];
valid: T[];
}