Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
uintx.cpp
Go to the documentation of this file.
1
#include "
barretenberg/numeric/uintx/uintx.hpp
"
2
#include "
uintx_impl.hpp
"
3
4
namespace
bb::numeric
{
5
6
template
class
uintx<numeric::uint256_t>
;
7
template
class
uintx<uint512_t>
;
8
9
// NOTE: this instantiation is only used to maintain a 1024 barrett reduction test.
10
// The simpler route would have been to delete that test as this modulus is otherwise not used, but this was more
11
// conservative.
12
constexpr
uint512_t
TEST_MODULUS
(
uint256_t
{
"0x04689e957a1242c84a50189c6d96cadca602072d09eac1013b5458a2275d69b1"
},
13
uint256_t
{
"0x0925c4b8763cbf9c599a6f7c0348d21cb00b85511637560626edfa5c34c6b38d"
});
14
15
template
std::pair<uint1024_t, uint1024_t>
uintx<uint512_t>::barrett_reduction<TEST_MODULUS>
()
const
;
16
17
}
// namespace bb::numeric
bb::numeric::uint256_t
Definition
uint256.hpp:32
bb::numeric::uintx
Definition
uintx.hpp:29
bb::numeric
Definition
field2_declarations.hpp:12
bb::numeric::TEST_MODULUS
constexpr uint512_t TEST_MODULUS(uint256_t{ "0x04689e957a1242c84a50189c6d96cadca602072d09eac1013b5458a2275d69b1" }, uint256_t{ "0x0925c4b8763cbf9c599a6f7c0348d21cb00b85511637560626edfa5c34c6b38d" })
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition
tuple.hpp:13
uintx.hpp
uintx_impl.hpp
src
barretenberg
numeric
uintx
uintx.cpp
Generated by
1.9.8