Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
fake_gt.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include "
barretenberg/vm2/simulation/gt.hpp
"
4
5
#include "
barretenberg/numeric/uint128/uint128.hpp
"
6
#include "
barretenberg/vm2/common/field.hpp
"
7
#include "
barretenberg/vm2/common/tagged_value.hpp
"
8
9
namespace
bb::avm2::simulation
{
10
11
class
FakeGreaterThan
:
public
GreaterThanInterface
{
12
public
:
13
FakeGreaterThan
() =
default
;
14
~FakeGreaterThan
()
override
=
default
;
15
16
bool
gt
(
const
FF
&
a
,
const
FF
&
b
)
override
;
17
bool
gt
(
const
uint128_t
&
a
,
const
uint128_t
&
b
)
override
;
18
bool
gt
(
const
MemoryValue
&
a
,
const
MemoryValue
&
b
)
override
;
19
};
20
21
}
// namespace bb::avm2::simulation
bb::avm2::TaggedValue
Definition
tagged_value.hpp:70
bb::avm2::gt
Definition
gt.hpp:33
bb::avm2::simulation::FakeGreaterThan
Definition
fake_gt.hpp:11
bb::avm2::simulation::FakeGreaterThan::~FakeGreaterThan
~FakeGreaterThan() override=default
bb::avm2::simulation::FakeGreaterThan::FakeGreaterThan
FakeGreaterThan()=default
bb::avm2::simulation::GreaterThanInterface
Definition
gt.hpp:14
a
FF a
Definition
field_gt.test.cpp:51
b
FF b
Definition
field_gt.test.cpp:52
bb::avm2::simulation
Definition
address_derivation.cpp:8
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition
field.hpp:10
uint128_t
unsigned __int128 uint128_t
Definition
serialize.hpp:44
gt.hpp
tagged_value.hpp
uint128.hpp
field.hpp
src
barretenberg
vm2
simulation
testing
fakes
fake_gt.hpp
Generated by
1.9.8