Does AMD ROCm/HIP finally do Goldilocks STARK proving? The post includes qingming-stark-g64, CLI flow, and SCALE20-27 benchmarks.
trending10
01 02 Defines conductance-repair evidence graphs for delayed or poisoned security retrieval, plus repair certificates and complexity results.03 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.04 Qingming-g64-ntt: Native Goldilocks/G64 GPU NTT at 2^27 on RX 7900 XTX, and a reproducible benchmark plan ethresear.ch2^27 NTT on an RX 7900 XTX, plus a benchmark plan and correctness checks, for those who enjoy measuring crypto pain.05 ML-DSA benchmarking methodology, with standardized inputs and qualified metrics to stop apples-to-oranges timing cosplay.06 Docs for binius demo circuits, with CLI examples for build/prove/verify and profiling, because benchmarks need babysitting.07 Which wasm runtime actually runs libsodium fastest in 2026, and how much do wide_arithmetic, SIMD, and AOT matter?08 Benchmarks stock OpenSSL 3.5.6 on RISC-V Karu, showing what Zvk/Zvkned buy over plain rv64gc and what OpenSSL still ignores.09 ISCA 2026 Cryptolets tutorial page, for the open hardware answer to one-off crypto accelerators: chiplets, flows, and benchmarks.10 Rust crate ed25519-wasm ports lib25519 to WASM, with Wasmtime benchmarks showing Ed25519 still beats the usual crypto tax.