sp_pcd_circuits.hpp File Reference

#include <nil/crypto3/zk/snark/components/component_from_r1cs.hpp>
#include <nil/crypto3/zk/snark/components/hashes/crh_component.hpp>
#include <nil/crypto3/zk/snark/components/pairing/pairing_params.hpp>
#include <nil/crypto3/zk/snark/components/verifiers/r1cs_ppzksnark_verifier_component.hpp>
#include <nil/crypto3/zk/snark/blueprint.hpp>
#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/compliance_predicate/cp_handler.hpp>

Include dependency graph for sp_pcd_circuits.hpp:

Go to the source code of this file.

Classes
class	nil::crypto3::zk::snark::sp_compliance_step_pcd_circuit_maker< CurveType >
class	nil::crypto3::zk::snark::sp_translation_step_pcd_circuit_maker< CurveType >

Namespaces
	nil
	nil::crypto3
	nil::crypto3::zk
	nil::crypto3::zk::snark

Functions
template<typename CurveType >
r1cs_primary_input< typename CurveType::scalar_field_type >	nil::crypto3::zk::snark::get_sp_compliance_step_pcd_circuit_input (const std::vector< bool > &sp_translation_step_vk_bits, const r1cs_pcd_compliance_predicate_primary_input< typename CurveType::scalar_field_type > &primary_input)
template<typename CurveType >
r1cs_primary_input< typename CurveType::scalar_field_type >	nil::crypto3::zk::snark::get_sp_translation_step_pcd_circuit_input (const std::vector< bool > &sp_translation_step_vk_bits, const r1cs_pcd_compliance_predicate_primary_input< other_curve< CurveType >::scalar_field_type::value_type > &primary_input)