.. index:: single: paseto_v4 .. _paseto_v4/0:

.. rst-class:: right

object

paseto_v4

PASETO v4.local and v4.public implementation for byte payloads.

| Availability: | logtalk_load(paseto(loader))

| Author: Paulo Moura | Version: 1:0:0 | Date: 2026-08-08

| Compilation flags: | static, context_switching_calls

| Implements: | public :ref:`paseto_protocol <paseto_protocol/0>` | Imports: | public :ref:`paseto_helpers <paseto_helpers/0>` | Uses: | :ref:`blake2b(Key,DigestSize) <blake2b/2>` | :ref:`crypto <crypto/0>` | :ref:`list <list/0>` | :ref:`type <type/0>`

| Remarks: | (none)

| Inherited public predicates: | Â :ref:`paseto_protocol/0::footer/2` Â :ref:`paseto_protocol/0::local_decrypt/3` Â :ref:`paseto_protocol/0::local_decrypt/5` Â :ref:`paseto_protocol/0::local_encrypt/3` Â :ref:`paseto_protocol/0::local_encrypt/5` Â :ref:`paseto_protocol/0::local_key/1` Â :ref:`paseto_protocol/0::public_keypair/2` Â :ref:`paseto_protocol/0::public_sign/3` Â :ref:`paseto_protocol/0::public_sign/5` Â :ref:`paseto_protocol/0::public_verify/3` Â :ref:`paseto_protocol/0::public_verify/5` Â

.. contents:: :local: :backlinks: top

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

.. index:: local_encrypt_with_nonce/6 .. _paseto_v4/0::local_encrypt_with_nonce/6:

local_encrypt_with_nonce/6 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Encrypts a local payload using an explicit 32-byte nonce. Intended for deterministic conformance tests; production callers must use local_encrypt/3 or local_encrypt/5.

| Compilation flags: | static

| Template: | local_encrypt_with_nonce(Key,Nonce,Payload,Footer,ImplicitAssertion,Token) | Mode and number of proofs: | local_encrypt_with_nonce(+list(byte),+list(byte),+list(byte),+list(byte),+list(byte),-atom) - one_or_error

| Exceptions: | Key is a variable or a partial list: | instantiation_error | Key is not a list of the required number of bytes: | type_error(list(byte,32),Key) | Key contains a non-integer byte: | type_error(integer,Byte) | Key contains an integer outside the byte range: | domain_error(byte,Byte) | Nonce is a variable or a partial list: | instantiation_error | Nonce is not a list of the required number of bytes: | type_error(list(byte,32),Nonce) | Nonce contains a non-integer byte: | type_error(integer,Byte) | Nonce contains an integer outside the byte range: | domain_error(byte,Byte) | Payload is a variable or a partial list: | instantiation_error | Payload is not a list of the required number of bytes: | type_error(list(byte,32),Payload) | Payload contains a non-integer byte: | type_error(integer,Byte) | Payload contains an integer outside the byte range: | domain_error(byte,Byte) | Footer is a variable or a partial list: | instantiation_error | Footer is not a list of the required number of bytes: | type_error(list(byte,32),Footer) | Footer contains a non-integer byte: | type_error(integer,Byte) | Footer contains an integer outside the byte range: | domain_error(byte,Byte) | ImplicitAssertion is a variable or a partial list: | instantiation_error | ImplicitAssertion is not a list of the required number of bytes: | type_error(list(byte,32),ImplicitAssertion) | ImplicitAssertion contains a non-integer byte: | type_error(integer,Byte) | ImplicitAssertion contains an integer outside the byte range: | domain_error(byte,Byte)

---

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)