How it works
A property is provable; the witness stays hidden.
A zero-knowledge proof is built between two parties: a prover and a verifier. The prover holds some private witness (e.g. a signed credential proving they are 19); the verifier wants assurance about a public property (e.g. "is over 18"). The proof convinces the verifier of the property without leaking the witness.
Modern ZK systems (SNARKs, STARKs, Bulletproofs and their successors) let a verifier check a statement without re-executing the computation or seeing the witness, trading off proof size, prover cost, and setup assumptions differently. Partisia presents these proofs alongside SD-JWT-VC credentials so they interoperate with the EU Digital Identity Wallet stack: the credential carries the issuer-signed claim with selective disclosure, and the zero-knowledge proof attests a property of it without revealing the claim itself.
Further reading