Circuits and hardware security modules formally verified with Knox 🔐 - View it on GitHub