Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
uintx.cpp
Go to the documentation of this file.
1
// === AUDIT STATUS ===
2
// internal: { status: Planned, auditors: [], commit: }
3
// external_1: { status: not started, auditors: [], commit: }
4
// external_2: { status: not started, auditors: [], commit: }
5
// =====================
6
7
#include "
barretenberg/numeric/uintx/uintx.hpp
"
8
#include "
uintx_impl.hpp
"
9
10
namespace
bb::numeric
{
11
12
template
class
uintx<numeric::uint256_t>
;
13
template
class
uintx<uint512_t>
;
14
15
// NOTE: this instantiation is only used to maintain a 1024 barrett reduction test.
16
// The simpler route would have been to delete that test as this modulus is otherwise not used, but this was more
17
// conservative.
18
constexpr
uint512_t
TEST_MODULUS
(
uint256_t
{
"0x04689e957a1242c84a50189c6d96cadca602072d09eac1013b5458a2275d69b1"
},
19
uint256_t
{
"0x0925c4b8763cbf9c599a6f7c0348d21cb00b85511637560626edfa5c34c6b38d"
});
20
21
template
std::pair<uint1024_t, uint1024_t>
uintx<uint512_t>::barrett_reduction<TEST_MODULUS>
()
const
;
22
23
}
// 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