From 51c9d9fe0eb87cea0b06e8df0b8b0627b8564c90 Mon Sep 17 00:00:00 2001 From: Dmitry Vdovin Date: Thu, 24 Jun 2021 20:02:25 +0200 Subject: [PATCH] Remove unneeded r1cs_file test --- fawkes-crypto/tests/r1cs_file.rs | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 fawkes-crypto/tests/r1cs_file.rs diff --git a/fawkes-crypto/tests/r1cs_file.rs b/fawkes-crypto/tests/r1cs_file.rs deleted file mode 100644 index f9915d2..0000000 --- a/fawkes-crypto/tests/r1cs_file.rs +++ /dev/null @@ -1,29 +0,0 @@ -use fawkes_crypto::{ - backend::bellman_groth16::{ - engines::Bn256, - setup::setup - }, - circuit::cs::CS, - circuit::num::CNum, - circuit::poseidon::{c_poseidon_merkle_proof_root, CMerkleProof}, - core::signal::Signal, - native::poseidon::{PoseidonParams}, -}; -use fawkes_crypto::backend::r1cs::get_r1cs_file; -use fawkes_crypto::backend::bellman_groth16::engines::Engine; - -#[cfg(feature = "r1cs-file")] -#[test] -fn test_parameters_get_r1cs_file() { - fn circuit(public: CNum, secret: (CNum, CMerkleProof)) { - let poseidon_params = PoseidonParams::::new(3, 8, 53); - let res = c_poseidon_merkle_proof_root(&secret.0, &secret.1, &poseidon_params); - res.assert_eq(&public); - } - - let params = setup::(circuit); - - let file = get_r1cs_file::<::Fr, 32>(¶ms.1); - - assert!(true) -} \ No newline at end of file