Encrypted Multi-Scalar Multiplication Enables Private Single-Server zk-SNARK Outsourcing
The new Encrypted Multi-Scalar Multiplication primitive allows clients to privately offload costly zk-SNARK proving to an untrusted server with $O(1)$ overhead.
Encrypted Multi-Scalar Multiplication Privately Outsourced ZK-SNARK Proving
A new cryptographic primitive, Encrypted MSM, offloads zk-SNARK proving complexity to an untrusted server while preserving total witness privacy.
Verifiable Computation Secures Approximate Homomorphic Encryption for Private AI
New polynomial interactive proofs efficiently verify complex, non-algebraic homomorphic encryption operations, unlocking trustless, private computation on real-world data.
