Cryptographic primitives, formal proofs, and protocol research.
The security patterns that don't transfer from blockchain to agent infrastructure — and the new ones that do.