Browse Source
Mark libsnark includes as library includes
pull/4/head
Jack Grigg
7 years ago
No known key found for this signature in database
GPG Key ID: 665DBCD284F7DAFF
8 changed files with
26 additions and
25 deletions
-
src/gtest/main.cpp
-
src/gtest/test_circuit.cpp
-
src/gtest/test_merkletree.cpp
-
src/gtest/test_proofs.cpp
-
src/init.cpp
-
src/zcash/CreateJoinSplit.cpp
-
src/zcash/JoinSplit.cpp
-
src/zcash/Proof.cpp
|
|
@ -1,12 +1,12 @@ |
|
|
|
#include "gtest/gtest.h" |
|
|
|
#include "crypto/common.h" |
|
|
|
#include "pubkey.h" |
|
|
|
|
|
|
|
#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp" |
|
|
|
#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
#include "zcash/JoinSplit.hpp" |
|
|
|
#include "util.h" |
|
|
|
|
|
|
|
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp> |
|
|
|
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp> |
|
|
|
|
|
|
|
struct ECCryptoClosure |
|
|
|
{ |
|
|
|
ECCVerifyHandle handle; |
|
|
|
|
|
@ -7,10 +7,11 @@ |
|
|
|
#include <boost/format.hpp> |
|
|
|
#include <boost/optional.hpp> |
|
|
|
|
|
|
|
#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp" |
|
|
|
#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
#include "libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp" |
|
|
|
#include "libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp" |
|
|
|
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp> |
|
|
|
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp> |
|
|
|
#include <libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp> |
|
|
|
#include <libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp> |
|
|
|
|
|
|
|
#include "zcash/IncrementalMerkleTree.hpp" |
|
|
|
|
|
|
|
using namespace libsnark; |
|
|
|
|
|
@ -19,10 +19,10 @@ |
|
|
|
#include "zcash/IncrementalMerkleTree.hpp" |
|
|
|
#include "zcash/util.h" |
|
|
|
|
|
|
|
#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp" |
|
|
|
#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
#include "libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp" |
|
|
|
#include "libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp" |
|
|
|
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp> |
|
|
|
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp> |
|
|
|
#include <libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp> |
|
|
|
#include <libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp> |
|
|
|
|
|
|
|
#include <boost/foreach.hpp> |
|
|
|
|
|
|
|
|
|
@ -3,10 +3,9 @@ |
|
|
|
|
|
|
|
#include <iostream> |
|
|
|
|
|
|
|
#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp" |
|
|
|
#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
#include "zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
#include "relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp" |
|
|
|
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp> |
|
|
|
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp> |
|
|
|
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp> |
|
|
|
|
|
|
|
using namespace libzcash; |
|
|
|
|
|
|
|
|
|
@ -53,7 +53,7 @@ |
|
|
|
#include <boost/thread.hpp> |
|
|
|
#include <openssl/crypto.h> |
|
|
|
|
|
|
|
#include "libsnark/common/profiling.hpp" |
|
|
|
#include <libsnark/common/profiling.hpp> |
|
|
|
|
|
|
|
#if ENABLE_ZMQ |
|
|
|
#include "zmq/zmqnotificationinterface.h" |
|
|
|
|
|
@ -5,7 +5,8 @@ |
|
|
|
#include "../util.h" |
|
|
|
#include "primitives/transaction.h" |
|
|
|
#include "zcash/JoinSplit.hpp" |
|
|
|
#include "libsnark/common/profiling.hpp" |
|
|
|
|
|
|
|
#include <libsnark/common/profiling.hpp> |
|
|
|
|
|
|
|
using namespace libzcash; |
|
|
|
|
|
|
|
|
|
@ -10,10 +10,10 @@ |
|
|
|
#include <boost/format.hpp> |
|
|
|
#include <boost/optional.hpp> |
|
|
|
#include <fstream> |
|
|
|
#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp" |
|
|
|
#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
#include "libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp" |
|
|
|
#include "libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp" |
|
|
|
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp> |
|
|
|
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp> |
|
|
|
#include <libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp> |
|
|
|
#include <libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp> |
|
|
|
#include "tinyformat.h" |
|
|
|
#include "sync.h" |
|
|
|
#include "amount.h" |
|
|
|
|
|
@ -1,12 +1,12 @@ |
|
|
|
#include "Proof.hpp" |
|
|
|
|
|
|
|
#include "crypto/common.h" |
|
|
|
|
|
|
|
#include <boost/static_assert.hpp> |
|
|
|
#include <libsnark/common/default_types/r1cs_ppzksnark_pp.hpp> |
|
|
|
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp> |
|
|
|
#include <mutex> |
|
|
|
|
|
|
|
#include "crypto/common.h" |
|
|
|
#include "libsnark/common/default_types/r1cs_ppzksnark_pp.hpp" |
|
|
|
#include "libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp" |
|
|
|
|
|
|
|
using namespace libsnark; |
|
|
|
|
|
|
|
typedef alt_bn128_pp curve_pp; |
|
|
|