Post-Quantum zk-SNARKs from LWE Secure Verifiable Computation for All Circuits
This research formalizes quantum-safe zk-SNARKs for arithmetic circuits using LWE, securing blockchain's verifiable computation layer.
