Ben Marsh

This work argues for domain specific post quantum signatures for blockchain roles, analogously to how hash function engineering produced domain specific primitives for hash table DoS and arithmetized proof systems.

This work proves soundness against adversarial provers and up to f Byzantine validators, and completeness for queries anchored by a post-deployment modification, assuming archive, attestation, and committee evidence is available.

Expired views can now finalize, drastically reducing tail latency in BFT protocols where leader performance is inconsistent.