#ifndef __CIRCUIT_ADDITIONL4_HPP

#define __CIRCUIT_ADDITIONL4_HPP

#include <limits.h>		/* for CHAR_BIT */
#include "typedef.h"
#include "BitChiffre.hpp"
#include "BitEvalL1.hpp"
#include "BitEvalL2.hpp"
#include "chiffrement.hpp" 
#include "keygen.hpp"
#include "dechiffrement.hpp" 
#include "dechiffrementL2.hpp" 
#include "dechiffrementL3.hpp"
#include "additionL1.hpp"
#include "multiplicationL1.hpp"
#include "multiplicationL1L2.hpp"
#include "additionL2.hpp"
#include "additionL4.hpp"
#include "precomputation.hpp"
#include "postcomputation.hpp"

void circuit_additionL4(PublicKey public_key, PrivateKey private_key);

#endif /* __CIRCUIT_ADDITIONL4_HPP */
