Crux：適用於 Rust 和其他語言的精確驗證器

Crux 是一種用於 Rust 和其他語言（如 C/LLVM）的跨語言驗證工具，它建立在與成熟的 SAW-Cryptol 工具鏈相同的框架之上，但提供了一個以符號單元測試形式表達證明的介面，旨在驗證對人類而言難以確保正確性的程式碼，例如加密模組和序列化/反序列化器對。