proofmode-rust