- Open source security in spite of AI.

- Formal verification in Rocq, an exhaustive testing.