Documentation
ArkLib
Search
return to top
source
Imports
Init
ArkLib.AGM.Basic
ArkLib.CommitmentScheme.Basic
ArkLib.CommitmentScheme.Fold
ArkLib.CommitmentScheme.InductiveMerkleTree
ArkLib.CommitmentScheme.KZG
ArkLib.CommitmentScheme.MerkleTree
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.ToVCVio.DistEq
ArkLib.ToVCVio.Lemmas
ArkLib.ToVCVio.Oracle
ArkLib.ToVCVio.SimOracle
ArkLib.Data.Classes.FunEquiv
ArkLib.Data.Classes.HasSize
ArkLib.Data.Classes.Initialize
ArkLib.Data.Classes.Serde
ArkLib.Data.Classes.Slice
ArkLib.Data.CodingTheory.Basic
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.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.Interface
ArkLib.Data.Polynomial.Prelims
ArkLib.Data.Polynomial.RationalFunctions
ArkLib.Data.Polynomial.SplitFold
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.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.Domain
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.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.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.BCIKS20
ArkLib.Data.CodingTheory.ProximityGap.Basic
ArkLib.Data.CodingTheory.ProximityGap.DG25
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.ToMathlib.Data.IndexedBinaryTree.Basic
ArkLib.ToMathlib.Data.IndexedBinaryTree.Equiv
ArkLib.ToMathlib.Data.IndexedBinaryTree.Lemmas
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
Imported by