/**
 * Verified Shamir Secret Sharing
 *
 * A formally verified implementation of Shamir's Secret Sharing scheme
 * with comprehensive testing, mathematical proofs, and security analysis.
 *
 * This module provides:
 * - GF(2^8) arithmetic with proven correctness
 * - Polynomial evaluation with overflow protection
 * - Lagrange interpolation with numerical stability
 * - Constant-time operations to prevent timing attacks
 * - Input validation with mathematical bounds checking
 *
 * Security Properties:
 * - Information-theoretic security: k-1 shares reveal nothing
 * - Perfect secrecy: each share is uniformly random
 * - Constant-time: resistant to timing side-channel attacks
 *
 * @example
 * ```typescript
 * import { split, reconstruct } from './security/crypto/shamir';
 *
 * // Split a secret into 5 shares with threshold 3
 * const secret = new TextEncoder().encode('my-secret-key');
 * const { shares } = split(secret, {
 *   threshold: 3,
 *   totalShares: 5,
 *   secretLength: secret.length,
 * });
 *
 * // Reconstruct with any 3 shares
 * const { secret: recovered } = reconstruct(shares.slice(0, 3), 3);
 * ```
 *
 * @module security/crypto/shamir
 */
export { ShareIndex, GF256Element, VerifiedShare, ShamirParams, ShamirConfig, ShareMetadata, ShareValidationResult, ReconstructionResult, SplitResult, GF256Operations, GF256Polynomial, TestVector, SecurityAnalysisResult, SecurityCheck, EntropyAnalysis, TimingAnalysis, isShareIndex, isGF256Element, createShareIndex, createGF256Element, validateShamirParams, } from './types';
export { GF256, EXP_TABLE, LOG_TABLE, IRREDUCIBLE_POLY, createPolynomial, generateRandomPolynomial, lagrangeBasisAtZero, lagrangeInterpolateAtZero, split, reconstruct, validateShare, verifyShareCompatibility, constantTimeSelect, constantTimeEqual, } from './verified-shamir';
export { verifyFieldAxioms, verifyLagrangeInterpolation, verifyPerfectSecrecy, verifyReconstructionCompleteness, verifyGeneratorProperties, runAllProofs, } from './proofs';
export { NIST_STYLE_VECTORS, EDGE_CASE_VECTORS, ACADEMIC_VECTORS, GF256_OPERATION_VECTORS, POLYNOMIAL_VECTORS, LAGRANGE_VECTORS, ALL_TEST_VECTORS, GF256TestVector, PolynomialTestVector, LagrangeTestVector, verifyGF256Vector, verifyPolynomialVector, runAllTestVectors, generateDeterministicShares, } from './test-vectors';
export { testReconstructionCompleteness, testInformationTheoreticSecurity, testShareOrderIndependence, testReconstructionIdempotency, testShareSubsetEquivalence, testLagrangeBasisPartition, runAllPropertyTests, runQuickPropertyTests, PropertyTestResult, PropertyTestSuite, } from './property-tests';
export { calculateShannonEntropy, calculateMinEntropy, analyzeShareEntropy, chiSquareTest, runsTest, serialTest, analyzeTimings, testGF256TimingResistance, testReconstructionTimingResistance, analyzeMemorySafety, runSecurityAnalysis, runQuickSecurityCheck, } from './security-analysis';
export { VaultShare, toVaultFormat, fromVaultFormat, verifyVaultCompatibility, SecretsJsShare, toSecretsJsFormat, fromSecretsJsFormat, verifySecretsJsCompatibility, generateInteropTestVectors, runInteroperabilityTests, getCompatibilityReport, IMPLEMENTATION_DIFFERENCES, } from './comparison';
/**
 * Run all verification and testing suites.
 *
 * @returns Comprehensive verification results
 */
export declare function runFullVerification(): Promise<{
    proofs: {
        allPassed: boolean;
        proofs: unknown[];
    };
    testVectors: {
        passed: boolean;
        summary: unknown;
    };
    propertyTests: {
        allPassed: boolean;
        totalIterations: number;
    };
    securityAnalysis: {
        secure: boolean;
        checks: unknown[];
    };
    interoperability: {
        allCompatible: boolean;
    };
}>;
/**
 * Quick verification check for CI/CD pipelines.
 *
 * @returns Whether all quick checks pass
 */
export declare function runQuickVerification(): boolean;
//# sourceMappingURL=index.d.ts.map