HomeIsabelle/Phabricator
Diffusion afp-devel e6798a853d67

new entry Sumcheck Protocol
e6798a853d67
Actions

Description

new entry Sumcheck Protocol

Details

Provenance
traytelAuthored on
Parents
rAFPe61c279dcb0b: New entry OmegaCatoidsQuantales
Branches
Unknown
Tags
Unknown

Changes (21)

PathSize

rAFPe6798a853d67

View Options

thys/ROOTS

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Abstract_Multivariate_Polynomials.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Completeness_Proof.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Probability_Tools.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Public_Coin_Proofs.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Soundness_Proof.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Substitutions.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Sumcheck_Protocol.thy

Loading...
View Options

thys/Sumcheck_Protocol/Generalized_Sumcheck_Protocol/Sumcheck_as_Public_Coin_Proof.thy

Loading...
View Options

thys/Sumcheck_Protocol/Instantiation_with_Polynomials/Concrete_Multivariate_Polynomials.thy

Loading...
View Options

thys/Sumcheck_Protocol/Instantiation_with_Polynomials/Polynomial_Instantiation.thy

Loading...
View Options

thys/Sumcheck_Protocol/Instantiation_with_Polynomials/Roots_Bounds.thy

Loading...
View Options

thys/Sumcheck_Protocol/Instantiation_with_Polynomials/Univariate_Roots_Bound.thy

Loading...
View Options

thys/Sumcheck_Protocol/ROOT

Loading...
View Options

thys/Sumcheck_Protocol/document/root.tex

Loading...
View Options

thys/Sumcheck_Protocol/document/session_graph.tex

Loading...