All Articles

A frosted glass envelope between separate coral and blue optical paths.

The server does not need the password.

OPAQUE lets a client and server establish a mutually authenticated key without disclosing the password to the server. Registration, recovery and server-key custody still define the system’s real boundary.

A sequence of geometric paper elements joined by a blue line, with one outlined element omitted from the sequence.

The statement must enter the hash.

A zero-knowledge proof can verify correctly while authorizing the wrong statement. Fiat-Shamir security begins with the exact public instance, transcript order and domain separation absorbed by the hash.

Two mechanical counter sequences with a repeated blue position, representing nonce reuse across encryptors.

A nonce is not a footnote.

A secure cipher can fail when nonce state does not survive writers, restarts and rollbacks. Uniqueness is a property of the operating system around the primitive.

Translucent handles entering an opaque cryptographic module, representing the PKCS #11 object boundary.

The handle is not the key.

PKCS #11 gives applications a common view of cryptographic devices. The key’s policy, lifecycle and operational meaning still depend on what lies behind the handle.