|
barretenberg
|
Public Types | |
| using | FF = typename Flavor::FF |
| using | VerificationKey = typename Flavor::VerificationKey |
| using | FoldingParameters = typename Flavor::FoldingParameters |
| using | WitnessCommitments = typename Flavor::WitnessCommitments |
| using | CommitmentLabels = typename Flavor::CommitmentLabels |
Public Attributes | |
| std::shared_ptr< VerificationKey > | verification_key |
| std::vector< FF > | public_inputs |
| size_t | pub_inputs_offset = 0 |
| size_t | public_input_size |
| size_t | instance_size |
| size_t | log_instance_size |
| RelationParameters< FF > | relation_parameters |
| FF | alpha |
| bool | is_accumulator = false |
| FoldingParameters | folding_parameters |
| WitnessCommitments | witness_commitments |
| CommitmentLabels | commitment_labels |