tbcs_ppzksnark/prover.hpp File Reference
#include <nil/crypto3/zk/snark/relations/constraint_satisfaction_problems/uscs.hpp>
#include <nil/crypto3/zk/snark/reductions/tbcs_to_uscs.hpp>
#include <nil/crypto3/zk/snark/schemes/ppzksnark/uscs_ppzksnark.hpp>
#include <nil/crypto3/zk/snark/schemes/ppzksnark/tbcs_ppzksnark/detail/basic_policy.hpp>
#include <nil/crypto3/zk/snark/algorithms/prove.hpp>
+ Include dependency graph for tbcs_ppzksnark/prover.hpp:

Go to the source code of this file.

Classes

class  nil::crypto3::zk::snark::tbcs_ppzksnark_prover< CurveType >
 

Namespaces

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