Barretenberg
The ZK-SNARK library at the core of Aztec
|
The data that is propagated on the public inputs of a rollup circuit. More...
#include <special_public_inputs.hpp>
Public Types | |
using | FF = curve::BN254::ScalarField |
using | IpaClaim = OpeningClaim< bb::curve::Grumpkin > |
using | PublicPairingPoints = PublicInputComponent< PairingPoints > |
using | PublicIpaClaim = PublicInputComponent< IpaClaim > |
Public Member Functions | |
void | reconstruct_from_public (const std::vector< FF > &public_inputs) |
Reconstructs the IO components from a public inputs array. | |
Public Attributes | |
PairingPoints | pairing_inputs |
IpaClaim | ipa_claim |
Static Public Attributes | |
static constexpr size_t | PUBLIC_INPUTS_SIZE = ROLLUP_PUBLIC_INPUTS_SIZE |
The data that is propagated on the public inputs of a rollup circuit.
Definition at line 81 of file special_public_inputs.hpp.
Definition at line 83 of file special_public_inputs.hpp.
Definition at line 84 of file special_public_inputs.hpp.
Definition at line 87 of file special_public_inputs.hpp.
Definition at line 86 of file special_public_inputs.hpp.
|
inline |
Reconstructs the IO components from a public inputs array.
public_inputs | Public inputs array containing the serialized kernel public inputs. |
Definition at line 99 of file special_public_inputs.hpp.
IpaClaim bb::RollupIO::ipa_claim |
Definition at line 92 of file special_public_inputs.hpp.
PairingPoints bb::RollupIO::pairing_inputs |
Definition at line 91 of file special_public_inputs.hpp.
|
staticconstexpr |
Definition at line 89 of file special_public_inputs.hpp.