Post-Quantum Ledger Authenticators with Finalized Transcript Security

Introduces LA-EUF security model for ledger-based authentication accounting for finality, censorship, and quantum attacks. Proves quantum random oracle bounds for commit-close-reveal instantiation with formal separation of safety from liveness. #PostQuantum #Cryptography #BlockchainSecurity