docs: post quantum account

[cusma]

This PR updates the specs with post quantum signatures, it adds:

• Domain separators in crypto
• New pqsig authorization in ledger
• Usage of pqsig for Lsig delegation
• Usage of pqsig as root key in keys
• pqsig fee surcharge
• Falcon: removed 48 bytes seed requirement, added signature compressed format

Bonus:

• Updated keys to include missing msig and lsig root key types
• Added a new dedicated Logic Signature Delegation section in Ledger to split messages and validity in the ledger from execution and mode concepts (AVM).

[Copilot]

Pull request overview

Updates the Algorand specs to define and integrate post-quantum transaction authorization (pqsig), including new domain separators, logic-signature delegation semantics, root-key taxonomy, and an added fee surcharge model for PQ-authorized transactions.

Changes:

• Define pqsig authorization (including PQ address derivation, delegation, and fee surcharge) and integrate it into Ledger authorization rules.
• Add new domain separators (PQA, PQProgram, PQK) and update AVM logic-signature mode docs for PQ delegation.
• Update Keys specs to reflect root-key material types (Ed25519, multisig, lsig, and post-quantum).

Reviewed changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
src/ledger/ledger-txn-groups.md	Adds group-level minimum-fee adjustments for transactions authorized via PQ signatures.
src/ledger/ledger-txn-authorization.md	Specifies pqsig structure, PQ address derivation, PQ lsig delegation, and fee surcharge.
src/keys/keys.md	Reframes “keys” as “cryptographic material” and expands root-key definition to include msig/lsig/PQ.
src/keys/keys-root.md	Enumerates root authorization methods, including PQ-derived addresses.
src/crypto/crypto-falcon.md	Clarifies FALCON usage for PQ accounts and delegation, linking to ledger authorization.
src/crypto/crypto-domain-separators.md	Adds PQA, PQProgram, and PQK domain separators.
src/avm/avm-mode-logic-signatures.md	Documents PQ logic-signature delegation semantics via PQProgram hashing.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 7 out of 7 changed files in this pull request and generated 3 comments.