Proof Lab
StartEcosystem
Explore (579)Live Systems (52)Pricing
Log InGet API Key✓ Verify It Yourself

PQ Library Attestations

99/ 100

HICS-PQ Attestation

pqc/falcon/mod.rs + pqc/falcon/params.rs
Last scanned: March 31, 2026 · Auto-updates on release

Correctness 100 / 100

Weight: 40%
  • ✓ 14 / 14 unit tests passing
  • ✓ Falcon-512 and Falcon-1024 sign-verify round-trip
  • ✓ Invalid signature rejection verified
  • ✓ Public key serialization round-trip
  • ✓ Batch signer correctness verified
  • ✓ Hybrid signature (Ed25519 + FALCON) verified

Security 100 / 100

Weight: 30%
  • ✓ NTRU lattice foundation (independent from Dilithium MLWE)
  • ✓ Compact signatures: 690 bytes (vs 3,309 for Dilithium)
  • ✓ Lattice-family diversity in hybrid deployments
  • ✓ Key pool with automatic rotation
  • ✓ Public key hash for identity binding

Performance 98 / 100

Weight: 15%
  • ✓ Falcon-512 sign: ~5ms (Gaussian sampling)
  • ✓ Falcon-512 verify: < 1ms
  • ✓ Signature: 690 bytes max, ~666 avg (compact!)
  • ✓ PK: 897 bytes (smallest PQ signature PK)
  • ✓ 2 security levels: 512, 1024

Standards 100 / 100

Weight: 15%
  • ✓ NIST FIPS 206 (forthcoming) aligned
  • ✓ Falcon-512: NIST Level 1 (128-bit)
  • ✓ Falcon-1024: NIST Level 5 (256-bit)
  • ✓ N=512, Q=12289 (spec parameters)
  • ✓ Pure Rust via pqcrypto-falcon

Parameter Specifications

ParameterValue
Security LevelNIST Level 1 (Falcon-512)
Public Key Size897 bytes
Secret Key Size1,281 bytes
Signature Size690 bytes max (~666 avg)
Polynomial Degree512
Modulus (q)12,289
FoundationNTRU lattice
Unit Tests14
Key AdvantageSmallest PQ signatures
Verify STARK Proof How Attestation Works