It looks like cryptography would benefit a dedicated programming language, aimed at verification and with other constraints such as "constant time" backed in th

It looks like cryptography would benefit a dedicated programming language, aimed at verification and with other constraints such as "constant time" backed in the syntax of the language. At least, maybe it would ease code review and introduction to cryptography.