A fast proof generating system for verifying cloud search

With the developing of network and hardware, cloud computing is playing a more important role in business and daily usage. The need of searching cloud data is growing increasingly. And the need to proof the correctness of cloud searching has also grown. Previous work has proposed many useful theories on verifiable computing, such as probabilistically checkable proofs, authHashtable, but an efficient and scalable system is rare. We design and implement a fast proof generating system for verifying cloud search based on RSA accumulators, nonmember-ship witnesses. The system is efficient and scalable. Evaluation on real datasets shows that our system can speed up the proof generation time and our system can handle datasets with size around 100GB.