Trail of Bits adds a Rust security testing chapter, covering Miri, property tests, Kani, Clippy, and supply-chain vetting.
trending16
01 02 Windows Insider builds ship SymCrypt SHA-3 and ML-KEM with Lean-checked Rust proofs, because proof debt is now product work.03 Post-quantum keyslots, because passphrases were too mainstream: a Rust encrypted-container tool that mounts real drives on 3 OSes.04 Investigating why RustCrypto is slow: Deep dive into SIMD instructions and hardware acceleration kerkour.comRustCrypto's bottleneck is apparently not Rust, but missing SIMD and hardware acceleration in the hot path.05 A Short Implementation Study of Privacy-Preserving Cross-Chain Verification Using Zero-Knowledge Proofs in Polkadot/Substrate Environments eprint.iacr.orgPaper on Groth16-based private cross-chain verification for Substrate, with Circom/SnarkJS and XCM sims, because of course.06 RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities arxiv.orgRustMizan is a Rust vuln benchmark with compilable variants, CWE labels, and contamination tests, since folklore needed CI.07 Stoffel 0.1.1 release notes for the MPC stack, with SDK/runner PATH tweaks and runtime fixes, because local dev wasn't hard enough.08 Rust stack for keyed-verification anonymous credentials, with type safety and constant-time discipline, plus Tor/OONI case studies.09 Docs for binius demo circuits, with CLI examples for build/prove/verify and profiling, because benchmarks need babysitting.10 Small botnet, industrial-grade crypto: RustDuck swaps C for Rust and adds anti-analysis, encrypted C2, and DDoS plumbing.11 Trimmed ICICLE repo for MSM, NTT, and ECNTT on BN254/BLS12-381, with CPU/CUDA backends and C++, Rust, Go bindings.12 Zisk v1.0.0-alpha, now with distributed proving, BLS12-381 checks, broader RISC-V support, and Poseidon1 by default.13 Rust library for PQ remote attestation and supply-chain verification, with no_std, SLSA binding, and verifier/prover APIs?14 Rust crate ed25519-wasm ports lib25519 to WASM, with Wasmtime benchmarks showing Ed25519 still beats the usual crypto tax.15 Need a Rust MPC toolkit where the same protocol runs in simulation or over mTLS? This repo does that, for research.16 Zebra 4.5.0, a Rust Zcash node, fixes a consensus sigop undercount and adds ZIP-213 mining to shielded addresses.