Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
bb::avm2::update_checkImpl< FF_ > Class Template Reference

#include <update_check.hpp>

Public Types

using FF = FF_
 

Static Public Member Functions

template<typename AllEntities >
static bool skip (const AllEntities &in)
 
template<typename ContainerOverSubrelations , typename AllEntities >
static void accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor)
 

Static Public Attributes

static constexpr std::array< size_t, 20 > SUBRELATION_PARTIAL_LENGTHS
 

Detailed Description

template<typename FF_>
class bb::avm2::update_checkImpl< FF_ >

Definition at line 13 of file update_check.hpp.

Member Typedef Documentation

◆ FF

template<typename FF_ >
using bb::avm2::update_checkImpl< FF_ >::FF = FF_

Definition at line 15 of file update_check.hpp.

Member Function Documentation

◆ accumulate()

template<typename FF_ >
template<typename ContainerOverSubrelations , typename AllEntities >
void bb::avm2::update_checkImpl< FF_ >::accumulate ( ContainerOverSubrelations &  evals,
const AllEntities &  in,
const RelationParameters< FF > &  ,
const FF &  scaling_factor 
)
static

Definition at line 10 of file update_check_impl.hpp.

◆ skip()

template<typename FF_ >
template<typename AllEntities >
static bool bb::avm2::update_checkImpl< FF_ >::skip ( const AllEntities &  in)
inlinestatic

Definition at line 20 of file update_check.hpp.

Member Data Documentation

◆ SUBRELATION_PARTIAL_LENGTHS

template<typename FF_ >
constexpr std::array<size_t, 20> bb::avm2::update_checkImpl< FF_ >::SUBRELATION_PARTIAL_LENGTHS
staticconstexpr
Initial value:
= { 3, 2, 3, 3, 3, 3, 3, 4, 3, 3,
3, 2, 3, 3, 3, 5, 3, 5, 5, 5 }

Definition at line 17 of file update_check.hpp.

The documentation for this class was generated from the following files: