Interesting to read how Codex Security actually works, the readme of the project does not really explain the mechanics behind it. I learnt some.

No benchmarks no nothing on it so not sure how well it actually works in practice