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 paseto_protocol
Imports:
public paseto_helpers
Uses:
blake2b(Key,DigestSize)
crypto
list
type
Remarks:
(none)
Inherited public predicates:
 footer/2  local_decrypt/3  local_decrypt/5  local_encrypt/3  local_encrypt/5  local_key/1  public_keypair/2  public_sign/3  public_sign/5  public_verify/3  public_verify/5

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

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)