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/gt_event.hpp
"
8
#include "
barretenberg/vm2/simulation/gadgets/field_gt.hpp
"
9
#include "
barretenberg/vm2/simulation/gadgets/range_check.hpp
"
10
#include "
barretenberg/vm2/simulation/interfaces/gt.hpp
"
11
12
namespace
bb::avm2::simulation
{
13
14
class
GreaterThan
:
public
GreaterThanInterface
{
15
public
:
16
GreaterThan
(
FieldGreaterThanInterface
&
field_gt
,
17
RangeCheckInterface
&
range_check
,
18
EventEmitterInterface<GreaterThanEvent>
&
event_emitter
)
19
:
field_gt
(
field_gt
)
20
,
range_check
(
range_check
)
21
,
events
(
event_emitter
)
22
{}
23
24
bool
gt
(
const
FF
&
a
,
const
FF
&
b
)
override
;
25
bool
gt
(
const
uint128_t
&
a
,
const
uint128_t
&
b
)
override
;
26
bool
gt
(
const
MemoryValue
&
a
,
const
MemoryValue
&
b
)
override
;
27
28
private
:
29
FieldGreaterThanInterface
&
field_gt
;
30
RangeCheckInterface
&
range_check
;
31
EventEmitterInterface<GreaterThanEvent>
&
events
;
32
};
33
34
}
// namespace bb::avm2::simulation
bb::avm2::TaggedValue
Definition
tagged_value.hpp:114
bb::avm2::gt
Definition
gt.hpp:33
bb::avm2::range_check
Definition
range_check.hpp:34
bb::avm2::simulation::EventEmitterInterface
Definition
event_emitter.hpp:11
bb::avm2::simulation::FieldGreaterThanInterface
Definition
field_gt.hpp:8
bb::avm2::simulation::GreaterThan
Definition
gt.hpp:14
bb::avm2::simulation::GreaterThan::events
EventEmitterInterface< GreaterThanEvent > & events
Definition
gt.hpp:31
bb::avm2::simulation::GreaterThan::field_gt
FieldGreaterThanInterface & field_gt
Definition
gt.hpp:29
bb::avm2::simulation::GreaterThan::GreaterThan
GreaterThan(FieldGreaterThanInterface &field_gt, RangeCheckInterface &range_check, EventEmitterInterface< GreaterThanEvent > &event_emitter)
Definition
gt.hpp:16
bb::avm2::simulation::GreaterThan::range_check
RangeCheckInterface & range_check
Definition
gt.hpp:30
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:57
a
FF a
Definition
field_gt.test.cpp:52
b
FF b
Definition
field_gt.test.cpp:53
event_emitter.hpp
field_gt.hpp
gt_event.hpp
memory_types.hpp
bb::avm2::simulation
AVM range check gadget for witness generation.
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:45
range_check.hpp
gt.hpp
uint128.hpp
field.hpp
src
barretenberg
vm2
simulation
gadgets
gt.hpp
Generated by
1.9.8