|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <bbapi_shared.hpp>
Public Member Functions | |
| MSGPACK_FIELDS (ipa_accumulation, oracle_hash_type, disable_zk, optimized_solidity_verifier) | |
| bool | operator== (const ProofSystemSettings &other) const =default |
Public Attributes | |
| bool | ipa_accumulation = false |
| Optional flag to indicate if the proof should be generated with IPA accumulation (i.e. for rollup circuits). | |
| std::string | oracle_hash_type = "poseidon2" |
| The oracle hash type to be used for the proof. | |
| bool | disable_zk = false |
| Flag to disable blinding of the proof. Useful for cases that don't require privacy, such as when all inputs are public or zk-SNARK proofs themselves. | |
| bool | optimized_solidity_verifier = false |
Definition at line 112 of file bbapi_shared.hpp.
| bb::bbapi::ProofSystemSettings::MSGPACK_FIELDS | ( | ipa_accumulation | , |
| oracle_hash_type | , | ||
| disable_zk | , | ||
| optimized_solidity_verifier | |||
| ) |
|
default |
| bool bb::bbapi::ProofSystemSettings::disable_zk = false |
Flag to disable blinding of the proof. Useful for cases that don't require privacy, such as when all inputs are public or zk-SNARK proofs themselves.
Definition at line 131 of file bbapi_shared.hpp.
| bool bb::bbapi::ProofSystemSettings::ipa_accumulation = false |
Optional flag to indicate if the proof should be generated with IPA accumulation (i.e. for rollup circuits).
Definition at line 117 of file bbapi_shared.hpp.
| bool bb::bbapi::ProofSystemSettings::optimized_solidity_verifier = false |
Definition at line 134 of file bbapi_shared.hpp.
| std::string bb::bbapi::ProofSystemSettings::oracle_hash_type = "poseidon2" |
The oracle hash type to be used for the proof.
This is used to determine the hash function used in the proof generation. Valid values are "poseidon2", "keccak", and "starknet".
Definition at line 125 of file bbapi_shared.hpp.