Scorpius: A Sound and Efficient Post-Quantum Zero-Knowledge Argument System
This research rectifies critical soundness flaws in post-quantum zero-knowledge arguments, introducing Scorpius for robust, efficient verifiable computation.
