@neabyte/quantum-zkp
Version:
Educational quantum-resistant zero-knowledge proof library for learning and prototyping
41 lines (40 loc) • 1.75 kB
TypeScript
import type { MultivariateProof, ProofParameters } from '../types/index.js';
export declare class MultivariateZKP {
private static readonly DEFAULT_VARIABLES;
private static readonly DEFAULT_EQUATIONS;
private static readonly DEFAULT_DEGREE;
private static readonly VERSION;
static createProof(secret: Buffer | string, parameters?: Partial<ProofParameters>): MultivariateProof;
static verifyProof(proof: MultivariateProof): boolean;
private static generateMultivariateSystem;
private static solveMultivariateSystem;
private static createMultivariateCommitment;
private static generateMultivariateChallenge;
private static createMultivariateResponse;
private static verifyPolynomialSolution;
private static verifyMultivariateCommitment;
private static verifyZeroKnowledge;
private static serializePolynomialSystem;
private static deserializePolynomialSystem;
private static parsePolynomialData;
private static validatePolynomialDimensions;
private static buildPolynomialSystem;
private static buildPolynomial;
private static ensureValidSystem;
private static createDefaultPolynomialSystem;
private static validateProofStructure;
static createOptimizedMultivariateSystem(secret: Buffer, variables: number, equations: number): Buffer;
private static generateSparseCoefficients;
private static shouldIncludeCoefficient;
private static createSparsePolynomialSystem;
static getPerformanceMetrics(): {
generationTime: number;
verificationTime: number;
proofSize: number;
};
static getSecurityLevel(): {
quantumResistant: boolean;
classicalSecurity: number;
quantumSecurity: number;
};
}