PQ-DAS Post-Quantum DAS Beats FRIDA-ZODA Speed

Authors propose PQ-DAS: post-quantum DAS using Reed-Solomon codes, Poseidon hash, Merkle commitments, and LeanVM SNARK. Encode + Prove paradigm with two Merkle roots per row and column. Benchmarks cover Reed-Solomon encoding over KoalaBear fields with FFT-based domains. Code: LongMeng-Crypto/PQ-DAS. Repairability preserved, unlike FRIDA/ZODA.