PQCP Support for RISC-V Vector, Future Keccak Extensions

on YouTube ↗19m

" summary

PQCP supplies production C implementations of ML-KEM, ML-DSA, SLH-DSA with formal type and memory-safety checks and CI running on ~300 targets; RISC-V Vector support using vector intrinsics is merged (five days ago) and yields 2–4x speedup vs scalar and ~30–50% gains from auto-vectorization with newer compilers; the RVI PQC TG proposes a Keccak single-instruction: 1600-bit / 25x64b vector op that reduces a ~2,000-instruction SHAKE hotspot to ~40 cycles in simulation, but no hardware prototype exists yet.

AI-written summary · about

" chapters (11)

1. 0:00Introduction and PQC update
2. 3:21Government mandates for PQC
3. 5:30PQC adoption in internet traffic
4. 7:15Post-Quantum Crypto Alliance
5. 9:05ML-KEM implementation strategy
6. 10:29RISC-V vector support in ML-KEM
7. 11:11Performance benchmarks on RISC-V
8. 13:38Formal verification and security checks
9. 15:24ML-DSA current backends
10. 16:05Proposed Keccak instruction for RISC-V
11. 17:34Future work and Q&A

" related talks

• 19mThe RISC-V Vector Cryptographic Extensions in the Real WorldKen Dockser · RISC-V Summit North America 2023
• 50mProgress in Standardizing Cryptography Extensions for RISC-V ProcessorsRichard Newell, Nicolas Brunie, Andrew Dellow, Graeme Hickey · RSA Conference 2024
• 20mBenchmarking RISC-V Post-QuantumMarkku-Juhani O. Saarinen · RISC-V Summit North America 2023
• 21mThe RISC-V Vector Cryptography ExtensionsG. Richard Newell, Ken Dockser · RISC-V Summit 2022
• 11mRISC-V ISA Cryptographic Extensions Proposal SummaryRichard Newell · 8th RISC-V Workshop Barcelona 2018
• 39mPQC in Action: From Global Standards to Secure DeploymentsNils Gerhardt · Post-Quantum Cryptography Conference 2025
• 18mMaking the Case for a Keccak InstructionMarkku-Juhani O. Saarinen · RISC-V Summit North America 2024
• 23mDevelopment of the First Open-Source Implementation of the RISC-V Vector Cryptography ExtensionMarkku-Juhani O. Saarinen · RISC-V Summit North America 2024