...
We also spoke about the future technical underpinnings of Envoy, Message Layer Security standards, Noise Protocol generators, ZKProof developments, formal verification. Nathan mentioned that Rust is being used extensively in Indy and Ursa due to some of properties of memory protection and other features that make it difficult to make egregious mistakes in coding and that aids Formal verification. Further details in the audio callscall recording.