Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
gt.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include "
barretenberg/numeric/uint128/uint128.hpp
"
4
#include "
barretenberg/vm2/common/field.hpp
"
5
#include "
barretenberg/vm2/common/memory_types.hpp
"
6
#include "
barretenberg/vm2/simulation/events/event_emitter.hpp
"
7
#include "
barretenberg/vm2/simulation/events/field_gt_event.hpp
"
8
#include "
barretenberg/vm2/simulation/events/gt_event.hpp
"
9
#include "
barretenberg/vm2/simulation/gadgets/field_gt.hpp
"
10
#include "
barretenberg/vm2/simulation/gadgets/range_check.hpp
"
11
#include "
barretenberg/vm2/simulation/interfaces/gt.hpp
"
12
13
namespace
bb::avm2::simulation
{
14
15
class
GreaterThan
:
public
GreaterThanInterface
{
16
public
:
17
GreaterThan
(
FieldGreaterThanInterface
&
field_gt
,
18
RangeCheckInterface
&
range_check
,
19
EventEmitterInterface<GreaterThanEvent>
&
event_emitter
)
20
:
field_gt
(
field_gt
)
21
,
range_check
(
range_check
)
22
,
events
(
event_emitter
)
23
{}
24
25
bool
gt
(
const
FF
&
a
,
const
FF
&
b
)
override
;
26
bool
gt
(
const
uint128_t
&
a
,
const
uint128_t
&
b
)
override
;
27
bool
gt
(
const
MemoryValue
&
a
,
const
MemoryValue
&
b
)
override
;
28
29
private
:
30
FieldGreaterThanInterface
&
field_gt
;
31
RangeCheckInterface
&
range_check
;
32
EventEmitterInterface<GreaterThanEvent>
&
events
;
33
};
34
35
}
// namespace bb::avm2::simulation
bb::avm2::TaggedValue
Definition
tagged_value.hpp:70
bb::avm2::gt
Definition
gt.hpp:33
bb::avm2::range_check
Definition
range_check.hpp:34
bb::avm2::simulation::EventEmitterInterface
Definition
event_emitter.hpp:10
bb::avm2::simulation::FieldGreaterThanInterface
Definition
field_gt.hpp:8
bb::avm2::simulation::GreaterThan
Definition
gt.hpp:15
bb::avm2::simulation::GreaterThan::events
EventEmitterInterface< GreaterThanEvent > & events
Definition
gt.hpp:32
bb::avm2::simulation::GreaterThan::field_gt
FieldGreaterThanInterface & field_gt
Definition
gt.hpp:30
bb::avm2::simulation::GreaterThan::GreaterThan
GreaterThan(FieldGreaterThanInterface &field_gt, RangeCheckInterface &range_check, EventEmitterInterface< GreaterThanEvent > &event_emitter)
Definition
gt.hpp:17
bb::avm2::simulation::GreaterThan::range_check
RangeCheckInterface & range_check
Definition
gt.hpp:31
bb::avm2::simulation::GreaterThanInterface
Definition
gt.hpp:9
bb::avm2::simulation::RangeCheckInterface
Definition
range_check.hpp:8
event_emitter
EventEmitter< DataCopyEvent > event_emitter
Definition
data_copy.test.cpp:56
a
FF a
Definition
field_gt.test.cpp:52
b
FF b
Definition
field_gt.test.cpp:53
event_emitter.hpp
field_gt_event.hpp
field_gt.hpp
gt_event.hpp
memory_types.hpp
bb::avm2::simulation
Definition
address_derivation_event.hpp:6
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition
field.hpp:10
uint128_t
unsigned __int128 uint128_t
Definition
serialize.hpp:44
range_check.hpp
gt.hpp
uint128.hpp
field.hpp
src
barretenberg
vm2
simulation
gadgets
gt.hpp
Generated by
1.9.8