ram_zksnark.hpp File Reference

#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/r1cs_sp_ppzkpcd.hpp>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_compliance_predicate.hpp>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_zksnark_params.hpp>
#include <memory>
#include <libsnark/zk_proof_systems/zksnark/ram_zksnark/ram_zksnark.tcc>

Include dependency graph for ram_zksnark.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::ram_zksnark_proving_key< ram_zksnark_ppT >
class	libsnark::ram_zksnark_proving_key< ram_zksnark_ppT >
class	libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >
class	libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >
struct	libsnark::ram_zksnark_keypair< ram_zksnark_ppT >
class	libsnark::ram_zksnark_proof< ram_zksnark_ppT >
class	libsnark::ram_zksnark_proof< ram_zksnark_ppT >

Namespaces
	libsnark

Functions
template<typename ram_zksnark_ppT >
std::ostream &	libsnark::operator<< (std::ostream &out, const ram_zksnark_proving_key< ram_zksnark_ppT > &pk)
template<typename ram_zksnark_ppT >
std::istream &	libsnark::operator>> (std::istream &in, ram_zksnark_proving_key< ram_zksnark_ppT > &pk)
template<typename ram_zksnark_ppT >
std::ostream &	libsnark::operator<< (std::ostream &out, const ram_zksnark_verification_key< ram_zksnark_ppT > &vk)
template<typename ram_zksnark_ppT >
std::istream &	libsnark::operator>> (std::istream &in, ram_zksnark_verification_key< ram_zksnark_ppT > &vk)
template<typename ram_zksnark_ppT >
std::ostream &	libsnark::operator<< (std::ostream &out, const ram_zksnark_proof< ram_zksnark_ppT > &proof)
template<typename ram_zksnark_ppT >
std::istream &	libsnark::operator>> (std::istream &in, ram_zksnark_proof< ram_zksnark_ppT > &proof)
template<typename ram_zksnark_ppT >
ram_zksnark_keypair< ram_zksnark_ppT >	libsnark::ram_zksnark_generator (const ram_zksnark_architecture_params< ram_zksnark_ppT > &ap)
template<typename ram_zksnark_ppT >
ram_zksnark_proof< ram_zksnark_ppT >	libsnark::ram_zksnark_prover (const ram_zksnark_proving_key< ram_zksnark_ppT > &pk, const ram_zksnark_primary_input< ram_zksnark_ppT > &primary_input, const size_t time_bound, const ram_zksnark_auxiliary_input< ram_zksnark_ppT > &auxiliary_input)
template<typename ram_zksnark_ppT >
bool	libsnark::ram_zksnark_verifier (const ram_zksnark_verification_key< ram_zksnark_ppT > &vk, const ram_zksnark_primary_input< ram_zksnark_ppT > &primary_input, const size_t time_bound, const ram_zksnark_proof< ram_zksnark_ppT > &proof)

Detailed Description

Declaration of interfaces for a zkSNARK for RAM.

This includes:

• the class for a proving key;
• the class for a verification key;
• the class for a key pair (proving key & verification key);
• the class for a proof;
• the generator algorithm;
• the prover algorithm;
• the verifier algorithm.

The implementation follows, extends, and optimizes the approach described in [BCTV14]. Thus, the zkSNARK is constructed from a ppzkPCD for R1CS.

Acronyms:

"R1CS" = "Rank-1 Constraint Systems" "RAM" = "Random-Access Machines" "zkSNARK" = "Zero-Knowledge Succinct Non-interactive ARgument of Knowledge" "ppzkPCD" = "Pre-Processing Zero-Knowledge Proof-Carrying Data"

References:

[BCTV14]: "Scalable Zero Knowledge via Cycles of Elliptic Curves", Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza, CRYPTO 2014, http://eprint.iacr.org/2014/595

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file ram_zksnark.hpp.