spirserver.h

// Percy++ Copyright 2007,2012,2013,2014
// Ian Goldberg <iang@cs.uwaterloo.ca>,
// Casey Devet <cjdevet@uwaterloo.ca>
// 
// This program is free software; you can redistribute it and/or modify
// it under the terms of version 2 of the GNU General Public License as
// published by the Free Software Foundation.
// 
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
// 
// There is a copy of the GNU General Public License in the COPYING file
// packaged with this plugin; if you cannot find it, write to the Free
// Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
// 02110-1301 USA

#ifndef __SPIRSERVER_H__
#define __SPIRSERVER_H__

#include <vector>
#include <NTL/ZZ_pX.h>
#include <NTL/vec_vec_ZZ_p.h>
#include "../PolyCommit/PolyCommitCommon.h"
#include "pspir_crypt.h"

#include "percyparams.h"

// This class is used to do the *server-side* work for the SPIR protocol.
class SPIRServerQuery {
public:
    SPIRServerQuery ();
    ~SPIRServerQuery ();

    SPIRServerQuery (const SPIRServerQuery &other);
    SPIRServerQuery& operator= (SPIRServerQuery other);

    // Read the required input from the client
    bool read_spir_input (PercyServerParams * params, std::istream &is);

    // Verify the query
    bool query_verification (PercyServerParams * params, vec_ZZ_p &inputvector);

    // Initialize the randomization
    bool init_randomization (PercyServerParams * params, unsigned char * prng_seed);

    // Add randomization to the reponse
    bool randomize_response (vec_ZZ_p &response);

private:
    // Progress
    enum Progress {
    PROGRESS_NONE, 
    PROGRESS_READ_INPUT, 
    PROGRESS_VERIFICATION, 
    PROGRESS_INIT_RANDOM
    };
    Progress progress;

    vec_G1 commitvec;
    G1 witness, witness_prime;
    uint64_t a_r;
    bool z;
    G1 C_a_prime;
    GT D, D_prime;
    G1 eta_1, eta_2, eta_3;
    GT eta_4, eta_5, eta_6;
    ZZ_p v_0, v_1, v_2, v_3;
    vec_G1 muvec;
    vec_GT nuvec;
    vec_ZZ_p chivec;
    dbsize_t cvec_size;
    uint64_t *cvec;
    vec_ZZ_p ephemeral_block;
    ZZ_p finalshare;
};

#endif