Show HN: Prav-core – A no_std, zero-allocation QEC decoder in Rust

3 points

5 months ago

I am building prav-core to solve the "latency crisis" in Fault-Tolerant Quantum Computing. In superconducting architectures, the control loop has a hard real-time deadline (often <1us) to correct errors before qubits dephase.

Most academic decoders are optimized for high thresholds but suffer from non-deterministic jitter (GC pauses, allocation overhead) that makes them unusable on hardware. prav-core is a bare-metal Union-Find decoder written in pure Rust with #![no_std] and strictly zero heap allocations in the hot path.

Technical details:

- Performance: Uses SWAR (SIMD within a register) bit operations and Morton (Z-order) encoding for spatial locality/cache optimization. - Verification: 39 Kani proofs verifying memory safety and arithmetic correctness. - Targets: Compiles to x86, ARM64, WASM, and bare-metal Cortex-R5.

Python bindings are coming next (for easier comparison with PyMatching), but the end goal is to run Distance-25 codes in under 500ns on commodity FPGAs.

The code is Apache2/MIT.