bb::EccRelationsConsistency Class Reference

Inheritance diagram for bb::EccRelationsConsistency:

Static Public Member Functions
template<template< typename > class Relation>
static void	validate_relation_execution ()
	Validate that we can instantiate ECCVM relations on bigfield and that they return the same values as their native counterpart instantiated on grumpkin::fr.

Detailed Description

Definition at line 10 of file ecc_relation_consistency.test.cpp.

Member Function Documentation

validate_relation_execution()

template<template< typename > class Relation>

static void bb::EccRelationsConsistency::validate_relation_execution ( )

inlinestatic

Validate that we can instantiate ECCVM relations on bigfield and that they return the same values as their native counterpart instantiated on grumpkin::fr.

Template Parameters

Relation

the Relation whose instantiation on stdlib and native we want to test

Definition at line 18 of file ecc_relation_consistency.test.cpp.

---

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

• src/barretenberg/stdlib/eccvm_verifier/ecc_relation_consistency.test.cpp