alu_arithmetic.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/tinyram_protoboard.hpp>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/word_variable_gadget.hpp>
#include <memory>
#include <libsnark/gadgetlib1/gadgets/cpu_checkers/tinyram/components/alu_arithmetic.tcc>

Include dependency graph for alu_arithmetic.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::ALU_arithmetic_gadget< FieldT >
class	libsnark::ALU_and_gadget< FieldT >
class	libsnark::ALU_or_gadget< FieldT >
class	libsnark::ALU_xor_gadget< FieldT >
class	libsnark::ALU_not_gadget< FieldT >
class	libsnark::ALU_add_gadget< FieldT >
class	libsnark::ALU_sub_gadget< FieldT >
class	libsnark::ALU_mov_gadget< FieldT >
class	libsnark::ALU_cmov_gadget< FieldT >
class	libsnark::ALU_cmp_gadget< FieldT >
class	libsnark::ALU_cmps_gadget< FieldT >
class	libsnark::ALU_umul_gadget< FieldT >
class	libsnark::ALU_smul_gadget< FieldT >
class	libsnark::ALU_divmod_gadget< FieldT >
class	libsnark::ALU_shr_shl_gadget< FieldT >

Namespaces
	libsnark

Functions
template<typename FieldT >
void	libsnark::test_ALU_and_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_or_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_xor_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_not_gadget (const size_t w)
void	libsnark::test_ALU_add_gadget (const size_t w)
void	libsnark::test_ALU_sub_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_mov_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_cmov_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_cmpe_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_cmpa_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_cmpae_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_cmpg_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_cmpge_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_mull_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_umulh_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_smulh_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_udiv_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_umod_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_shr_gadget (const size_t w)
template<typename FieldT >
void	libsnark::test_ALU_shl_gadget (const size_t w)

Detailed Description

Declaration of interfaces for the TinyRAM ALU arithmetic gadgets.

These gadget check the correct execution of arithmetic TinyRAM instructions.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file alu_arithmetic.hpp.