Zero Knowledge Proofs, Cryptography, Quantum Computing.
diffusion of lesser known engineering practices. This will include formal verification and shift left security. We had the opportunity to introduce both of them in the smart contract team in my last job as CTO at Archblock and TrueFi. I have advocated for both ever since. Reason #5: New languages