Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
field_gt.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include "
barretenberg/vm2/common/field.hpp
"
4
#include "
barretenberg/vm2/simulation/events/event_emitter.hpp
"
5
#include "
barretenberg/vm2/simulation/events/field_gt_event.hpp
"
6
#include "
barretenberg/vm2/simulation/gadgets/range_check.hpp
"
7
#include "
barretenberg/vm2/simulation/interfaces/field_gt.hpp
"
8
9
namespace
bb::avm2::simulation
{
10
11
class
FieldGreaterThan
:
public
FieldGreaterThanInterface
{
12
public
:
13
FieldGreaterThan
(
RangeCheckInterface
&
range_check
,
EventEmitterInterface<FieldGreaterThanEvent>
&
event_emitter
)
14
:
range_check
(
range_check
)
15
,
events
(
event_emitter
)
16
{}
17
18
bool
ff_gt
(
const
FF
&
a
,
const
FF
&
b
)
override
;
19
U256Decomposition
canon_dec
(
const
FF
&
a
)
override
;
20
21
private
:
22
RangeCheckInterface
&
range_check
;
23
EventEmitterInterface<FieldGreaterThanEvent>
&
events
;
24
};
25
26
}
// namespace bb::avm2::simulation
bb::avm2::ff_gt
Definition
ff_gt.hpp:34
bb::avm2::range_check
Definition
range_check.hpp:34
bb::avm2::simulation::EventEmitterInterface
Definition
event_emitter.hpp:10
bb::avm2::simulation::FieldGreaterThan
Definition
field_gt.hpp:11
bb::avm2::simulation::FieldGreaterThan::canon_dec
U256Decomposition canon_dec(const FF &a) override
Definition
field_gt.cpp:66
bb::avm2::simulation::FieldGreaterThan::events
EventEmitterInterface< FieldGreaterThanEvent > & events
Definition
field_gt.hpp:23
bb::avm2::simulation::FieldGreaterThan::FieldGreaterThan
FieldGreaterThan(RangeCheckInterface &range_check, EventEmitterInterface< FieldGreaterThanEvent > &event_emitter)
Definition
field_gt.hpp:13
bb::avm2::simulation::FieldGreaterThan::range_check
RangeCheckInterface & range_check
Definition
field_gt.hpp:22
bb::avm2::simulation::FieldGreaterThanInterface
Definition
field_gt.hpp:8
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
bb::avm2::simulation
Definition
address_derivation_event.hpp:6
bb::avm2::FF
AvmFlavorSettings::FF FF
Definition
field.hpp:10
range_check.hpp
bb::avm2::simulation::U256Decomposition
Definition
uint_decomposition.hpp:8
field.hpp
src
barretenberg
vm2
simulation
gadgets
field_gt.hpp
Generated by
1.9.8