libcrux
libcrux copied to clipboard
Add feature to use specs instead of efficient implementations
https://github.com/cryspen/libcrux/blob/b4d941145faa3935d018c150e60bb1df24732834/Cargo.toml#L74
https://github.com/cryspen/libcrux/blob/b4d941145faa3935d018c150e60bb1df24732834/Cargo.toml#L74