Documentation
ArkLib
Search
return to top
source
Imports
Init
ArkLib.AGM.Basic
ArkLib.CommitmentScheme.Basic
ArkLib.CommitmentScheme.Fold
ArkLib.CommitmentScheme.KZG
ArkLib.CommitmentScheme.SimpleRO
ArkLib.OracleReduction.Basic
ArkLib.OracleReduction.Cast
ArkLib.OracleReduction.Equiv
ArkLib.OracleReduction.Execution
ArkLib.OracleReduction.OracleInterface
ArkLib.OracleReduction.Prelude
ArkLib.OracleReduction.Salt
ArkLib.OracleReduction.VectorIOR
ArkLib.Data.Classes.FunEquiv
ArkLib.Data.Classes.HasSize
ArkLib.Data.Classes.Initialize
ArkLib.Data.Classes.Serde
ArkLib.Data.Classes.Slice
ArkLib.Data.CodingTheory.DivergenceOfSets
ArkLib.Data.CodingTheory.GuruswamiSudan
ArkLib.Data.CodingTheory.InterleavedCode
ArkLib.Data.CodingTheory.ListDecodability
ArkLib.Data.CodingTheory.PolishchukSpielman
ArkLib.Data.CodingTheory.Prelims
ArkLib.Data.CodingTheory.ReedSolomon
ArkLib.Data.EllipticCurve.BN254
ArkLib.Data.Fin.Basic
ArkLib.Data.Fin.Fold
ArkLib.Data.Fin.Lift
ArkLib.Data.Fin.Sigma
ArkLib.Data.GroupTheory.PrimeOrder
ArkLib.Data.GroupTheory.Smooth
ArkLib.Data.Hash.DomainSep
ArkLib.Data.Hash.DuplexSponge
ArkLib.Data.Hash.Poseidon2
ArkLib.Data.Matrix.Basic
ArkLib.Data.Matrix.Sparse
ArkLib.Data.Matrix.Vandermonde
ArkLib.Data.Misc.Basic
ArkLib.Data.MvPolynomial.Degrees
ArkLib.Data.MvPolynomial.Interpolation
ArkLib.Data.MvPolynomial.LinearMvExtension
ArkLib.Data.MvPolynomial.Multilinear
ArkLib.Data.Polynomial.Bivariate
ArkLib.Data.Polynomial.FoldingPolynomial
ArkLib.Data.Polynomial.Interface
ArkLib.Data.Polynomial.Prelims
ArkLib.Data.Polynomial.RationalFunctions
ArkLib.Data.Polynomial.SplitFold
ArkLib.Data.Polynomial.Trivariate
ArkLib.Data.Probability.Instances
ArkLib.Data.Probability.Notation
ArkLib.OracleReduction.BCS.Basic
ArkLib.OracleReduction.FiatShamir.Basic
ArkLib.OracleReduction.LiftContext.Lens
ArkLib.OracleReduction.LiftContext.OracleReduction
ArkLib.OracleReduction.LiftContext.Reduction
ArkLib.OracleReduction.ProtocolSpec.Basic
ArkLib.OracleReduction.ProtocolSpec.Cast
ArkLib.OracleReduction.ProtocolSpec.SeqCompose
ArkLib.OracleReduction.Security.Basic
ArkLib.OracleReduction.Security.Implications
ArkLib.OracleReduction.Security.Rewinding
ArkLib.OracleReduction.Security.RoundByRound
ArkLib.OracleReduction.Security.SpecialSoundness
ArkLib.OracleReduction.Security.StateRestoration
ArkLib.ProofSystem.BatchedFri.Security
ArkLib.ProofSystem.Component.CheckClaim
ArkLib.ProofSystem.Component.DoNothing
ArkLib.ProofSystem.Component.NoInteraction
ArkLib.ProofSystem.Component.RandomQuery
ArkLib.ProofSystem.Component.ReduceClaim
ArkLib.ProofSystem.Component.SendClaim
ArkLib.ProofSystem.Component.SendWitness
ArkLib.ProofSystem.ConstraintSystem.Lookup
ArkLib.ProofSystem.ConstraintSystem.MemoryChecking
ArkLib.ProofSystem.ConstraintSystem.Plonk
ArkLib.ProofSystem.ConstraintSystem.R1CS
ArkLib.ProofSystem.Fri.RoundConsistency
ArkLib.ProofSystem.Plonk.Basic
ArkLib.ProofSystem.Spartan.Basic
ArkLib.ProofSystem.Stir.Combine
ArkLib.ProofSystem.Stir.Folding
ArkLib.ProofSystem.Stir.MainThm
ArkLib.ProofSystem.Stir.OutOfDomSmpl
ArkLib.ProofSystem.Stir.ProximityBound
ArkLib.ProofSystem.Stir.ProximityGap
ArkLib.ProofSystem.Stir.Quotienting
ArkLib.ProofSystem.Whir.BlockRelDistance
ArkLib.ProofSystem.Whir.Folding
ArkLib.ProofSystem.Whir.MutualCorrAgreement
ArkLib.ProofSystem.Whir.OutofDomainSmpl
ArkLib.ProofSystem.Whir.ProximityGen
ArkLib.ProofSystem.Whir.RBRSoundness
ArkLib.ToMathlib.BigOperators.Fin
ArkLib.ToMathlib.Finset.Basic
ArkLib.ToMathlib.List.Basic
ArkLib.Data.CodingTheory.Basic.DecodingRadius
ArkLib.Data.CodingTheory.Basic.Distance
ArkLib.Data.CodingTheory.Basic.LinearCode
ArkLib.Data.CodingTheory.Basic.RelativeDistance
ArkLib.Data.CodingTheory.BerlekampWelch.BerlekampWelch
ArkLib.Data.CodingTheory.BerlekampWelch.Condition
ArkLib.Data.CodingTheory.BerlekampWelch.ElocPoly
ArkLib.Data.CodingTheory.BerlekampWelch.Existence
ArkLib.Data.CodingTheory.BerlekampWelch.Sorries
ArkLib.Data.CodingTheory.GuruswamiSudan.Basic
ArkLib.Data.CodingTheory.GuruswamiSudan.GuruswamiSudan
ArkLib.Data.CodingTheory.JohnsonBound.Basic
ArkLib.Data.CodingTheory.JohnsonBound.Choose2
ArkLib.Data.CodingTheory.JohnsonBound.Expectations
ArkLib.Data.CodingTheory.JohnsonBound.Lemmas
ArkLib.Data.CodingTheory.PolishchukSpielman.Degrees
ArkLib.Data.CodingTheory.PolishchukSpielman.Existence
ArkLib.Data.CodingTheory.PolishchukSpielman.PolishchukSpielman
ArkLib.Data.CodingTheory.PolishchukSpielman.Resultant
ArkLib.Data.CodingTheory.ProximityGap.AHIV22
ArkLib.Data.CodingTheory.ProximityGap.Basic
ArkLib.Data.CodingTheory.ReedSolomon.FftDomain
ArkLib.Data.Fin.Tuple.Defs
ArkLib.Data.Fin.Tuple.Lemmas
ArkLib.Data.Fin.Tuple.Notation
ArkLib.Data.Fin.Tuple.TakeDrop
ArkLib.OracleReduction.Composition.Parallel.Basic
ArkLib.OracleReduction.Composition.Sequential.Append
ArkLib.OracleReduction.Composition.Sequential.General
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Defs
ArkLib.OracleReduction.FiatShamir.DuplexSponge.State
ArkLib.ProofSystem.BatchedFri.Spec.General
ArkLib.ProofSystem.BatchedFri.Spec.SingleRound
ArkLib.ProofSystem.Binius.BinaryBasefold.Basic
ArkLib.ProofSystem.Binius.BinaryBasefold.CoreInteractionPhase
ArkLib.ProofSystem.Binius.BinaryBasefold.General
ArkLib.ProofSystem.Binius.BinaryBasefold.Prelude
ArkLib.ProofSystem.Binius.BinaryBasefold.QueryPhase
ArkLib.ProofSystem.Binius.BinaryBasefold.Spec
ArkLib.ProofSystem.Binius.BinaryBasefold.Steps
ArkLib.ProofSystem.Binius.FRIBinius.CoreInteractionPhase
ArkLib.ProofSystem.Binius.FRIBinius.General
ArkLib.ProofSystem.Binius.FRIBinius.Prelude
ArkLib.ProofSystem.Binius.RingSwitching.BatchingPhase
ArkLib.ProofSystem.Binius.RingSwitching.General
ArkLib.ProofSystem.Binius.RingSwitching.Prelude
ArkLib.ProofSystem.Binius.RingSwitching.Spec
ArkLib.ProofSystem.Binius.RingSwitching.SumcheckPhase
ArkLib.ProofSystem.Fri.Spec.General
ArkLib.ProofSystem.Fri.Spec.SingleRound
ArkLib.ProofSystem.Sumcheck.Impl.Basic
ArkLib.ProofSystem.Sumcheck.Spec.General
ArkLib.ProofSystem.Sumcheck.Spec.SingleRound
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.AffineSpaces
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.Curves
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.ErrorBound
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.Prelude
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.ReedSolomonGap
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.WeightedAgreement
ArkLib.Data.CodingTheory.ProximityGap.DG25.Basic
ArkLib.Data.CodingTheory.ProximityGap.DG25.MainResults
ArkLib.Data.CodingTheory.ProximityGap.DG25.ReedSolomon
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.AbortAnalysis
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.Backtrack
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.BadEvents
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.Completeness
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.KeyLemma
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.Lookahead
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.ProverTransform
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.Soundness
ArkLib.OracleReduction.FiatShamir.DuplexSponge.Security.TraceTransform
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.AffineLines.BWMatrix
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.AffineLines.GoodCoeffs
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.AffineLines.JointAgreement
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.AffineLines.Main
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.AffineLines.UniqueDecoding
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.ListDecoding.Agreement
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.ListDecoding.Extraction
ArkLib.Data.CodingTheory.ProximityGap.BCIKS20.ListDecoding.Guruswami
Imported by