List of all items

Structs

• components::Components
• components::EqualityChecker
• components::binary_operations::binary_adder::BinaryAdder
• components::binary_operations::logical_shift::ShiftNode
• components::binary_operations::rotate_bits::RotateNode
• components::digits::DigitComponents
• components::sha2_gkr::brent_kung_adder::BKAdder
• components::sha2_gkr::nonlinear_gates::ChGate
• components::sha2_gkr::nonlinear_gates::ConstInputGate
• components::sha2_gkr::nonlinear_gates::MajGate
• components::sha2_gkr::nonlinear_gates::Sigma
• components::sha2_gkr::nonlinear_gates::SmallSigma
• components::sha2_gkr::ripple_carry_adder::FullAdder
• components::sha2_gkr::ripple_carry_adder::RippleCarryAdderMod2w
• components::sha2_gkr::sha256_bit_decomp::CommittedCarryAdder
• components::sha2_gkr::sha256_bit_decomp::CompressionFn
• components::sha2_gkr::sha256_bit_decomp::CompressionFnRoundCarries
• components::sha2_gkr::sha256_bit_decomp::HConstants
• components::sha2_gkr::sha256_bit_decomp::KeySchedule
• components::sha2_gkr::sha256_bit_decomp::MessageSchedule
• components::sha2_gkr::sha256_bit_decomp::MessageScheduleAdderTree
• components::sha2_gkr::sha256_bit_decomp::MessageScheduleState
• components::sha2_gkr::sha256_bit_decomp::Sha256
• components::sha2_gkr::sha256_bit_decomp::Sha256State
• hyrax_worldcoin::orb::SerializedImageCommitment
• hyrax_worldcoin::v3::V3CircuitAndAuxData
• hyrax_worldcoin::v3::V3Proof
• hyrax_worldcoin::v3::V3Prover
• hyrax_worldcoin_mpc::mpc_prover::MPCCircuitConstData
• hyrax_worldcoin_mpc::mpc_prover::MPCCircuitsAndConstData
• hyrax_worldcoin_mpc::mpc_prover::MPCPartyProof
• hyrax_worldcoin_mpc::mpc_prover::MPCProof
• hyrax_worldcoin_mpc::mpc_prover::MPCProver
• hyrax_worldcoin_mpc::mpc_prover::V3MPCCircuitAndAuxMles
• hyrax_worldcoin_mpc::mpc_prover::V3MPCCommitments
• hyrax_worldcoin_mpc::mpc_prover::V3MPCProof
• hyrax_worldcoin_mpc::mpc_prover::V3MPCProver
• layouter::builder::Circuit
• layouter::builder::CircuitBuilder
• layouter::builder::CircuitMap
• layouter::builder::FSNodeRef
• layouter::builder::InputLayerNodeRef
• layouter::builder::LookupConstraintNodeRef
• layouter::builder::LookupTableNodeRef
• layouter::builder::NodeRef
• layouter::layouting::Graph
• layouter::nodes::Fr
• layouter::nodes::NodeId
• layouter::nodes::circuit_inputs::InputLayerNode
• layouter::nodes::circuit_inputs::InputLayerNodeData
• layouter::nodes::circuit_inputs::InputShred
• layouter::nodes::circuit_inputs::InputShredData
• layouter::nodes::circuit_outputs::OutputNode
• layouter::nodes::fiat_shamir_challenge::FiatShamirChallengeNode
• layouter::nodes::gate::GateNode
• layouter::nodes::identity_gate::IdentityGateNode
• layouter::nodes::lookup::LookupConstraint
• layouter::nodes::lookup::LookupTable
• layouter::nodes::matmult::MatMultNode
• layouter::nodes::sector::Sector
• layouter::nodes::split_node::SplitNode
• worldcoin_mpc::components::WorldcoinMpcComponents
• worldcoin_mpc::data::MPCCircuitInputData
• zk_iriscode_ss::components::ZkIriscodeComponent
• zk_iriscode_ss::data::IriscodeCircuitAuxData
• zk_iriscode_ss::data::IriscodeCircuitInputData

Enums

• abstract_expr::AbstractExpression
• hyrax_worldcoin::v3::IriscodeError
• hyrax_worldcoin::v3::V3ProofError
• hyrax_worldcoin_mpc::mpc_prover::MPCError
• hyrax_worldcoin_mpc::mpc_prover::MPCProofError
• hyrax_worldcoin_mpc::mpc_prover::V3MPCProofError
• layouter::builder::CircuitMapState
• layouter::builder::LayerVisibility
• layouter::layouting::LayoutingError
• layouter::nodes::Either
• layouter::nodes::circuit_inputs::HyraxInputDType
• layouter::nodes::node_enum::NodeEnum

Traits

• components::sha2_gkr::AdderGateTrait
• components::sha2_gkr::nonlinear_gates::IsBitDecomposable
• layouter::nodes::CircuitNode
• layouter::nodes::CompilableNode
• layouter::nodes::Field

Macros

• const_expr
• layouter::builder::impl_add
• layouter::builder::impl_mul
• layouter::builder::impl_sub
• layouter::builder::impl_xor
• node_enum
• sel_expr

Functions

• components::binary_operations::logical_shift::generate_shift_wirings
• components::binary_operations::rotate_bits::generate_rot_wirings
• components::sha2_gkr::brent_kung_adder::mul
• components::sha2_gkr::brent_kung_adder::pp_adder_4_bit
• components::sha2_gkr::brent_kung_adder::xor
• components::sha2_gkr::nonlinear_gates::bit_decompose_lsb_first
• components::sha2_gkr::nonlinear_gates::bit_decompose_msb_first
• components::sha2_gkr::nonlinear_gates::sha_words_2_num_vars
• components::sha2_gkr::sha256_bit_decomp::add_get_carry_bits_lsb
• components::sha2_gkr::sha256_bit_decomp::add_get_carry_bits_msb
• components::sha2_gkr::sha256_bit_decomp::carry_name_counter
• components::sha2_gkr::sha256_bit_decomp::sha256_padded_input
• digits::complementary_decomposition
• digits::digits_to_field
• digits::to_slice_of_mles
• digits::unsigned_decomposition
• hyrax_worldcoin::orb::deserialize_blinding_factors_from_bytes
• hyrax_worldcoin::orb::deserialize_commitment_from_bytes
• hyrax_worldcoin::orb::load_image_commitment
• hyrax_worldcoin::test_worldcoin::test_iriscode_circuit_with_hyrax_helper
• hyrax_worldcoin::test_worldcoin::test_iriscode_circuit_with_public_layers_helper
• hyrax_worldcoin::test_worldcoin::test_iriscode_v3_with_hyrax_helper
• hyrax_worldcoin::v3::prove_with_image_precommit
• hyrax_worldcoin::v3::verify_v3_iriscode_proof_and_hash
• hyrax_worldcoin_mpc::mpc_prover::generate_mpc_circuit_and_aux_mles_all_3_parties
• hyrax_worldcoin_mpc::mpc_prover::print_features_status
• hyrax_worldcoin_mpc::test_worldcoin_mpc::test_mpc_circuit_with_hyrax_helper
• hyrax_worldcoin_mpc::test_worldcoin_mpc::test_mpc_circuit_with_hyrax_helper_and_verifiable_circuit
• hyrax_worldcoin_mpc::test_worldcoin_mpc::test_mpc_circuit_with_precommits_hyrax_helper
• hyrax_worldcoin_mpc::test_worldcoin_mpc::test_mpc_circuit_with_public_layers_helper
• layouter::layouting::layout
• layouter::nodes::circuit_inputs::compile_inputs::get_prefix_bits_from_capacity
• layouter::nodes::circuit_inputs::compile_inputs::index_input_mles
• layouter::nodes::lookup::build_fractional_sum
• layouter::nodes::lookup::extract_prefix_num_free_bits
• layouter::nodes::lookup::split_circuit_mle
• layouter::nodes::sector::compile_sectors_into_layer_descriptions
• layouter::nodes::sector::generate_sector_circuit_description
• layouter::nodes::split_node::bits_iter
• utils::build_input_shred_and_data
• utils::get_input_shred_from_num_vars
• worldcoin_mpc::circuits::build_circuit
• worldcoin_mpc::circuits::mpc_attach_data
• worldcoin_mpc::data::fetch_inversed_test_data
• worldcoin_mpc::data::gen_mpc_common_aux_data
• worldcoin_mpc::data::gen_mpc_encoding_matrix
• worldcoin_mpc::data::gen_mpc_evaluation_points
• worldcoin_mpc::data::gen_mpc_input_data
• worldcoin_mpc::data::generate_trivial_test_data
• worldcoin_mpc::test_helpers::inversed_circuit_description_and_inputs
• worldcoin_mpc::test_helpers::small_circuit_description_and_inputs
• zk_iriscode_ss::circuits::build_iriscode_circuit_description
• zk_iriscode_ss::circuits::iriscode_ss_attach_aux_data
• zk_iriscode_ss::circuits::iriscode_ss_attach_input_data
• zk_iriscode_ss::data::build_iriscode_circuit_auxiliary_data
• zk_iriscode_ss::data::build_iriscode_circuit_data
• zk_iriscode_ss::data::wirings_to_reroutings
• zk_iriscode_ss::decode::decode_i32_array
• zk_iriscode_ss::decode::decode_i64_array
• zk_iriscode_ss::decode::decode_wirings
• zk_iriscode_ss::io::read_bytes_from_file
• zk_iriscode_ss::test_helpers::build_ligero_layer_spec
• zk_iriscode_ss::test_helpers::build_small_circuit_and_data
• zk_iriscode_ss::test_helpers::small_circuit_with_committed_inputs
• zk_iriscode_ss::test_helpers::small_circuit_with_inputs
• zk_iriscode_ss::test_helpers::small_circuit_with_public_inputs
• zk_iriscode_ss::test_helpers::small_hyrax_circuit_with_private_inputs
• zk_iriscode_ss::test_helpers::small_hyrax_circuit_with_public_inputs
• zk_iriscode_ss::v3::build_worldcoin_aux_data
• zk_iriscode_ss::v3::circuit_description
• zk_iriscode_ss::v3::circuit_description_and_inputs
• zk_iriscode_ss::v3::generate_iriscode_circuit_and_aux_data
• zk_iriscode_ss::v3::load_worldcoin_data

Type Aliases

• components::sha2_gkr::sha256_bit_decomp::Sha256Adder
• components::sha2_gkr::sha256_bit_decomp::Sigma0
• components::sha2_gkr::sha256_bit_decomp::Sigma1
• components::sha2_gkr::sha256_bit_decomp::SmallSigma0
• components::sha2_gkr::sha256_bit_decomp::SmallSigma1
• hyrax_worldcoin::v3::Base
• hyrax_worldcoin::v3::Scalar
• layouter::layouting::LayouterNodes
• layouter::nodes::lookup::LookupCircuitDescription

Statics

• zk_iriscode_ss::parameters::IMAGE_STRIP_WIRINGS
• zk_iriscode_ss::parameters::IRIS_RH_MULTIPLICAND
• zk_iriscode_ss::parameters::IRIS_THRESHOLDS
• zk_iriscode_ss::parameters::LH_MATRIX_WIRINGS
• zk_iriscode_ss::parameters::MASK_RH_MULTIPLICAND
• zk_iriscode_ss::parameters::MASK_THRESHOLDS

Constants

• components::sha2_gkr::sha256_bit_decomp::WORD_SIZE
• hyrax_worldcoin::orb::IMAGE_COMMIT_LOG_NUM_COLS
• hyrax_worldcoin::orb::PUBLIC_STRING
• worldcoin_mpc::circuits::MPC_AUXILIARY_INVARIANT_LAYER
• worldcoin_mpc::circuits::MPC_AUXILIARY_LAYER
• worldcoin_mpc::circuits::MPC_ENCODING_MATRIX_SHRED
• worldcoin_mpc::circuits::MPC_EVALUATION_POINTS_SHRED
• worldcoin_mpc::circuits::MPC_IRISCODE_INPUT_LAYER
• worldcoin_mpc::circuits::MPC_IRISCODE_SHRED
• worldcoin_mpc::circuits::MPC_LOOKUP_TABLE_VALUES_SHRED
• worldcoin_mpc::circuits::MPC_MASKCODE_INPUT_LAYER
• worldcoin_mpc::circuits::MPC_MASKCODE_SHRED
• worldcoin_mpc::circuits::MPC_MULTIPLICITIES_SHARES_SHRED
• worldcoin_mpc::circuits::MPC_MULTIPLICITIES_SLOPES_SHRED
• worldcoin_mpc::circuits::MPC_QUOTIENTS_SHRED
• worldcoin_mpc::circuits::MPC_SHARES_LAYER
• worldcoin_mpc::circuits::MPC_SHARES_SHRED
• worldcoin_mpc::circuits::MPC_SLOPES_LAYER
• worldcoin_mpc::circuits::MPC_SLOPES_SHRED
• worldcoin_mpc::parameters::ENCODING_MATRIX
• worldcoin_mpc::parameters::ENCODING_MATRIX_NUM_VARS_COLS
• worldcoin_mpc::parameters::ENCODING_MATRIX_NUM_VARS_ROWS
• worldcoin_mpc::parameters::ENCODING_MATRIX_U64
• worldcoin_mpc::parameters::ENCODING_MATRIX_U64_TRANSPOSE
• worldcoin_mpc::parameters::EVALUATION_POINTS_U64
• worldcoin_mpc::parameters::GR4_ELEM_BIT_LENGTH
• worldcoin_mpc::parameters::GR4_MODULUS
• worldcoin_mpc::parameters::GR4_MULTIPLICATION_WIRINGS
• worldcoin_mpc::parameters::GR4_NUM_WIRINGS
• worldcoin_mpc::parameters::MPC_NUM_IRIS_4_CHUNKS
• worldcoin_mpc::parameters::NUM_PARTIES
• worldcoin_mpc::parameters::TEST_GR4_ELEMENTS
• worldcoin_mpc::parameters::TEST_MASKED_IRIS_CODES
• worldcoin_mpc::parameters::TEST_RANDOMNESSES
• worldcoin_mpc::parameters::TEST_SHARES
• zk_iriscode_ss::EXPECTED_PROVER_CONFIG
• zk_iriscode_ss::EXPECTED_VERIFIER_CONFIG
• zk_iriscode_ss::circuits::V3_AUXILIARY_LAYER
• zk_iriscode_ss::circuits::V3_DIGITS_LAYER
• zk_iriscode_ss::circuits::V3_DIGITS_MULTIPLICITIES_SHRED
• zk_iriscode_ss::circuits::V3_DIGITS_SHRED_TEMPLATE
• zk_iriscode_ss::circuits::V3_INPUT_IMAGE_LAYER
• zk_iriscode_ss::circuits::V3_INPUT_IMAGE_SHRED
• zk_iriscode_ss::circuits::V3_LOOKUP_SHRED
• zk_iriscode_ss::circuits::V3_RH_MATMULT_SHRED
• zk_iriscode_ss::circuits::V3_SIGN_BITS_LAYER
• zk_iriscode_ss::circuits::V3_SIGN_BITS_SHRED
• zk_iriscode_ss::circuits::V3_TO_SUB_MATMULT_SHRED
• zk_iriscode_ss::parameters::BASE
• zk_iriscode_ss::parameters::IM_NUM_COLS
• zk_iriscode_ss::parameters::IM_NUM_ROWS
• zk_iriscode_ss::parameters::IM_NUM_VARS
• zk_iriscode_ss::parameters::IM_STRIP_NUM_COLS
• zk_iriscode_ss::parameters::IM_STRIP_NUM_ROWS
• zk_iriscode_ss::parameters::IRISCODE_COMMIT_LOG_NUM_COLS
• zk_iriscode_ss::parameters::IRISCODE_LEN
• zk_iriscode_ss::parameters::LOG_NUM_DIGITS
• zk_iriscode_ss::parameters::LOG_NUM_STRIPS
• zk_iriscode_ss::parameters::MATMULT_COLS_NUM_VARS
• zk_iriscode_ss::parameters::MATMULT_INTERNAL_DIM_NUM_VARS
• zk_iriscode_ss::parameters::MATMULT_ROWS_NUM_VARS
• zk_iriscode_ss::parameters::NUM_DIGITS
• zk_iriscode_ss::parameters::SHAMIR_SECRET_SHARE_SLOPE_LOG_NUM_COLS