therefore
Sign up
Open navigation

Source-pinned research

Research proof index

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 1 research declarations. Search 10,000 more complete Mathlib declarations.

1 topic

1 result

Clear filters
Project-declaredLean 4.31.0

Stir rbr soundness

StirIOP.stir_rbr_soundness

Plain-language statement

Lemma 5.4: Round-by-round soundness of the STIR IOPP Consider parameters: Ī¹ = {Ī¹įµ¢}_{i = 0, ..., M} be smooth evaluation domains P : Params Ī¹ F containing required protocol parameters - initial degree, folding parameters foldingParamįµ¢, embedding Ļ†įµ¢, repetition parameters repeatParamįµ¢ hParams : ParamConditions Ī¹ P, stating conditions that parame...

cryptographyproof systemscoding theory

Source project: ArkLib

Person-level attribution pending.

View proof record