BoundedAuthorityProtocol.ApplicationProfile.LocalLoopbackHttp.V1 (Bounded Authority Protocol v0.3.0)

Copy Markdown View Source

Explicit entry point for the byte-distinct local-loopback HTTP application proof profile.

Summary

Functions

assemble_compact(signing_input, signature)

Assembles a local-loopback proof at profile maxima.

assemble_compact(signing_input, signature, limits)

Assembles a local-loopback proof under caller bounds.

check_envelope(credentials, expected_request)

Verifies a raw grant and local-loopback proof against server-derived context.

decode_proof(compact, limits)

Boundedly decodes a local-loopback proof without evaluating trust.

normalize_uri(uri, limits)

Normalizes one bounded local-loopback HTTP target URI without DNS or network access.

proof_signing_input(proof, limits)

Builds the deterministic byte-distinct local-loopback proof signing input.

Functions

assemble_compact(signing_input, signature)

@spec assemble_compact(BoundedAuthorityProtocol.V1.SigningInput.t(), binary()) ::
  {:ok, binary()} | {:error, :invalid}

Assembles a local-loopback proof at profile maxima.

assemble_compact(signing_input, signature, limits)

@spec assemble_compact(
  BoundedAuthorityProtocol.V1.SigningInput.t(),
  binary(),
  BoundedAuthorityProtocol.V1.Bounds.t() | map()
) :: {:ok, binary()} | {:error, :invalid}

Assembles a local-loopback proof under caller bounds.

check_envelope(credentials, expected_request)

Verifies a raw grant and local-loopback proof against server-derived context.

decode_proof(compact, limits)

Boundedly decodes a local-loopback proof without evaluating trust.

normalize_uri(uri, limits)

Normalizes one bounded local-loopback HTTP target URI without DNS or network access.

proof_signing_input(proof, limits)

Builds the deterministic byte-distinct local-loopback proof signing input.