Skip to content

placeholder_verifier::placeholder_proof_type

Public Attributes

Name
std::array< pallas::base_field_type::value_type, commitments_num > commitments
pallas::base_field_type::value_type challenge
std::array< pallas::base_field_type::value_type, points_num > z
std::array< pallas::base_field_type::value_type, fri_roots_num > fri_roots
std::array< std::array< pallas::base_field_type::value_type, initial_proof_points_num >, lambda > initial_proof_values
std::array< std::array< pallas::base_field_type::value_type, round_proof_points_num >, lambda > round_proof_values
std::array< std::array< int, initial_merkle_proofs_position_num >, lambda > initial_proof_positions
std::array< std::array< pallas::base_field_type::value_type, initial_merkle_proofs_hash_num >, lambda > initial_proof_hashes
std::array< std::array< int, round_merkle_proofs_position_num >, lambda > round_merkle_proof_positions
std::array< std::array< pallas::base_field_type::value_type, round_merkle_proofs_hash_num >, lambda > round_proof_hashes
std::array< pallas::base_field_type::value_type, final_polynomial_size > final_polynomial

Public Attributes Documentation

variable commitments

std::array< pallas::base_field_type::value_type, commitments_num > commitments;

variable challenge

pallas::base_field_type::value_type challenge;

variable z

std::array< pallas::base_field_type::value_type, points_num > z;

variable fri_roots

std::array< pallas::base_field_type::value_type, fri_roots_num > fri_roots;

variable initial_proof_values

std::array< std::array< pallas::base_field_type::value_type, initial_proof_points_num >, lambda > initial_proof_values;

variable round_proof_values

std::array< std::array< pallas::base_field_type::value_type, round_proof_points_num >, lambda > round_proof_values;

variable initial_proof_positions

std::array< std::array< int, initial_merkle_proofs_position_num >, lambda > initial_proof_positions;

variable initial_proof_hashes

std::array< std::array< pallas::base_field_type::value_type, initial_merkle_proofs_hash_num >, lambda > initial_proof_hashes;

variable round_merkle_proof_positions

std::array< std::array< int, round_merkle_proofs_position_num >, lambda > round_merkle_proof_positions;

variable round_proof_hashes

std::array< std::array< pallas::base_field_type::value_type, round_merkle_proofs_hash_num >, lambda > round_proof_hashes;

variable final_polynomial

std::array< pallas::base_field_type::value_type, final_polynomial_size > final_polynomial;

Updated on 2026-04-26 at 17:04:52 -0700