Source-pinned research
Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.
This index contains 2,569 curated research declarations and 119,070 complete package declarations. Search 10,000 more complete Mathlib declarations.
Showing 1,501 to 1,506 of 2,569 results.
KZG.CommitmentScheme.function_binding_cond_ext_output_maps_to_arsdh
Mathematical statement
A supported extended function-binding violation maps to an ARSDH-winning output.
Source project: ArkLib
Person-level attribution pending.
KZG.CommitmentScheme.function_binding_conflicting_evaluations_branch_maps_to_arsdh
Mathematical statement
The conflicting-evaluations branch maps a function-binding violation to ARSDH.
Source project: ArkLib
Person-level attribution pending.
KZG.CommitmentScheme.function_binding_game_ext_eq_function_binding_game
Mathematical statement
Transition 1: extending output for proofs and commitment preserves the condition
Source project: ArkLib
Person-level attribution pending.
KZG.CommitmentScheme.function_binding_game_ext_support_srs
Mathematical statement
Extract the sampled SRS equation from a supported extended function-binding game output.
Source project: ArkLib
Person-level attribution pending.
KZG.CommitmentScheme.function_binding_game_ext_support_verify_all
Mathematical statement
Accepted outputs in the extended function-binding game correspond to successful KZG checks.
Source project: ArkLib
Person-level attribution pending.
KZG.CommitmentScheme.function_binding_interpolation_branch_maps_to_arsdh
Mathematical statement
The interpolation branch maps a function-binding violation to ARSDH.
Source project: ArkLib
Person-level attribution pending.