Documentation
ArkLib
Search
return to top
source
Imports
Init
ArkLib.AGM.Basic
ArkLib.CommitmentScheme.Basic
ArkLib.CommitmentScheme.Fold
ArkLib.CommitmentScheme.MerkleTree
ArkLib.CommitmentScheme.SimpleRO
ArkLib.CommitmentScheme.Tensor
ArkLib.CommitmentScheme.Trivial
ArkLib.Data.CodingTheory
ArkLib.OracleReduction.Basic
ArkLib.OracleReduction.Cast
ArkLib.OracleReduction.Equiv
ArkLib.OracleReduction.Execution
ArkLib.OracleReduction.OracleInterface
ArkLib.OracleReduction.Prelude
ArkLib.OracleReduction.ProtocolSpec
ArkLib.OracleReduction.VectorIOR
ArkLib.ProofSystem.DSL
ArkLib.ProofSystem.Stir
ArkLib.ProofSystem.Whir
ArkLib.ToVCVio.DistEq
ArkLib.ToVCVio.Lemmas
ArkLib.ToVCVio.Oracle
ArkLib.ToVCVio.SimOracle
ArkLib.Data.CodingTheory.Basic
ArkLib.Data.CodingTheory.BerlekampWelch
ArkLib.Data.CodingTheory.DivergenceOfSets
ArkLib.Data.CodingTheory.InterleavedCode
ArkLib.Data.CodingTheory.ListDecodability
ArkLib.Data.CodingTheory.PolishchukSpielman
ArkLib.Data.CodingTheory.Prelims
ArkLib.Data.CodingTheory.ProximityGap
ArkLib.Data.CodingTheory.ReedMuller
ArkLib.Data.CodingTheory.ReedSolomon
ArkLib.Data.EllipticCurve.BN254
ArkLib.Data.Fin.Basic
ArkLib.Data.Fin.Lift
ArkLib.Data.Fin.Pad
ArkLib.Data.Hash.Classes
ArkLib.Data.Hash.DomainSep
ArkLib.Data.Hash.DuplexSponge
ArkLib.Data.Hash.Serde
ArkLib.Data.Math.Basic
ArkLib.Data.Math.DepCast
ArkLib.Data.Math.HList
ArkLib.Data.Matrix.Basic
ArkLib.Data.Matrix.Sparse
ArkLib.Data.MlPoly.Basic
ArkLib.Data.MlPoly.Equiv
ArkLib.Data.MvPolynomial.Degrees
ArkLib.Data.MvPolynomial.Interpolation
ArkLib.Data.MvPolynomial.LinearMvExtension
ArkLib.Data.MvPolynomial.Multilinear
ArkLib.Data.MvPolynomial.Notation
ArkLib.Data.MvPolynomial.Sumcheck
ArkLib.Data.Polynomial.Bivariate
ArkLib.Data.Polynomial.EvenAndOdd
ArkLib.Data.Polynomial.Interface
ArkLib.Data.Probability.Instances
ArkLib.Data.Probability.Notation
ArkLib.Data.Tree.Binary
ArkLib.Data.Tree.General
ArkLib.Data.UniPoly.Basic
ArkLib.Data.UniPoly.BasicOld
ArkLib.Data.UniPoly.PolynomialReflection
ArkLib.OracleReduction.BCS.Basic
ArkLib.OracleReduction.FiatShamir.Basic
ArkLib.OracleReduction.LiftContext.Lens
ArkLib.OracleReduction.LiftContext.OracleReduction
ArkLib.OracleReduction.LiftContext.Reduction
ArkLib.OracleReduction.Security.Basic
ArkLib.ProofSystem.Component.CheckClaim
ArkLib.ProofSystem.Component.DoNothing
ArkLib.ProofSystem.Component.RandomQuery
ArkLib.ProofSystem.Component.ReduceClaim
ArkLib.ProofSystem.Component.SendClaim
ArkLib.ProofSystem.Component.SendWitness
ArkLib.ProofSystem.ConstraintSystem.IndexedLookup
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.GenMutualCorrAgreement
ArkLib.ProofSystem.Whir.MainThm
ArkLib.ProofSystem.Whir.OutofDomainSmpl
ArkLib.ProofSystem.Whir.ProximityGap
ArkLib.ProofSystem.Whir.ProximityGen
ArkLib.ToMathlib.BigOperators.Fin
ArkLib.ToMathlib.Finset.Basic
ArkLib.ToMathlib.Finsupp.Fin
ArkLib.ToMathlib.MvPolynomial.Equiv
ArkLib.ToMathlib.NumberTheory.PrattCertificate
ArkLib.ToMathlib.UInt.Equiv
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.BerlekampWelch.ToMathlib
ArkLib.Data.FieldTheory.BinaryTowerField.Basic
ArkLib.Data.FieldTheory.BinaryTowerField.Impl
ArkLib.Data.FieldTheory.BinaryTowerField.Prelude
ArkLib.Data.FieldTheory.NonBinaryField.BLS12_377
ArkLib.Data.FieldTheory.NonBinaryField.BLS12_381
ArkLib.Data.FieldTheory.NonBinaryField.BN254
ArkLib.Data.FieldTheory.NonBinaryField.BabyBear
ArkLib.Data.FieldTheory.NonBinaryField.Basic
ArkLib.Data.FieldTheory.NonBinaryField.Goldilocks
ArkLib.Data.FieldTheory.NonBinaryField.Mersenne
ArkLib.Data.FieldTheory.NonBinaryField.Secp256k1
ArkLib.OracleReduction.Composition.Parallel.Basic
ArkLib.OracleReduction.Composition.Sequential.Append
ArkLib.OracleReduction.Composition.Sequential.General
ArkLib.OracleReduction.Composition.Sequential.ProtocolSpec
ArkLib.OracleReduction.FiatShamir.DuplexSponge.State
ArkLib.ProofSystem.Sumcheck.Impl.Basic
ArkLib.ProofSystem.Sumcheck.Spec.General
ArkLib.ProofSystem.Sumcheck.Spec.SingleRound
Imported by