12 citations · 31 across the 8 of their papers we have counts for
6 papers · 1 filter
FlexProofs: A Vector Commitment with Flexible Linear Time for Computing All Proofs
Jing Liu, Liang Feng Zhang
In this paper, we introduce FlexProofs, a new vector commitment (VC) scheme that achieves two key properties: (1) the prover can generate all individual opening proofs for a vector…
Multi-Matrix Verifiable Computation
Yan He, Liang Feng Zhang
The problem of securely outsourcing computation to cloud servers has attracted a large amount of attention in recent years. The verifiable computation of Gennaro, Gentry, Parno (Cr…
Multi-Server Verifiable Delegation of Computations: Unconditional Security and Practical Efficiency
Liang Feng Zhang
Outsourcing computation has gained significant popularity in recent years due to the prevalence of cloud computing. There are two main security concerns in outsourcing computation:…
Two-Server Delegation of Computation on Label-Encrypted Data
Xin Chen, Liang Feng Zhang
Catalano and Fiore propose a scheme to transform a linearly-homomorphic encryption into a homomorphic encryption scheme capable of evaluating quadratic computations on ciphertexts.…
Two-Server Verifiable Homomorphic Secret Sharing for High-Degree Polynomials
Xin Chen, Liang Feng Zhang
Homomorphic secret sharing (HSS) allows multiple input clients to secret-share their data among multiple servers such that each server is able to locally compute a function on its…
Private Outsourcing of Polynomial Evaluation and Matrix Multiplication using Multilinear Maps
Liang Feng Zhang, Rehanehi Safavi-Naini
{\em Verifiable computation} (VC) allows a computationally weak client to outsource the evaluation of a function on many inputs to a powerful but untrusted server. The client inves…