Two parts: an open verifier and a licensed sealer
Verification is open on purpose: you should not have to trust the sealer. Anyone
can verify what a seal proves, from the bytes alone, with no AlgoVoi service in
the trust path.
Verify or inspect (free, open)
0 verified and anchored, 1 failed, 2 malformed, 3
cryptographically intact but the signing key is self-asserted (pin the sealer’s
published kid with --expect-kid to anchor authenticity).
Seal (licensed)
After purchase on the Suite Store you receive an index token and a licence key. Install the sealer from the token-gated AlgoVoi index (its public dependencies come from PyPI):Two signing profiles
Both are first-class; the verifier accepts either and neither can be downgraded (the algorithm set is bound inside the signed payload).What it understands
- PDF embedded signatures (PAdES / PKCS#7): every
/ByteRangeCMS signature, with a shadow-attack partial-coverage check and a SHA-1 weak-digest flag. - Detached CMS (
.p7s) over any file. - Optional offline trust-path and CRL revocation validation (
--trust-roots,--crl) — air-gap capable, no OCSP fetch. - Optional RFC-3161 time anchoring (
--tsa-roots); unanchored timestamps are labelled, never presented as authoritative.
Trust model, stated honestly
An attestation carries its signing public key, so verification proves it is internally consistent and unaltered, not who sealed it. Anchor authenticity by pinning the sealer’s publishedkid (--expect-kid, a full 256-bit digest).
The dual signature is bound inside the signed payload, so ML-DSA cannot be
stripped to fall back to Falcon-only. Signatures cross-verify against liboqs
(Open Quantum Safe) in both directions.
Reseal produces cryptographic evidence artifacts. It is not a guarantee of legal
admissibility or regulatory compliance; treat each attestation as a per-record,
independently verifiable proof.