Documentation
ArkLib
Search
return to top
source
Imports
Init
ArkLib.AGM.Basic
ArkLib.CommitmentScheme.Basic
ArkLib.CommitmentScheme.Fold
ArkLib.CommitmentScheme.KZG
ArkLib.CommitmentScheme.MerkleTree
ArkLib.CommitmentScheme.SimpleRO
ArkLib.CommitmentScheme.Tensor
ArkLib.CommitmentScheme.Trivial
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.ProofSystem.DSL
ArkLib.ProofSystem.Stir
ArkLib.ProofSystem.Whir
ArkLib.ToVCVio.DistEq
ArkLib.ToVCVio.Lemmas
ArkLib.ToVCVio.Oracle
ArkLib.ToVCVio.SimOracle
ArkLib.Data.Array.Lemmas
ArkLib.Data.CNat.AssocNat
ArkLib.Data.CNat.Church
ArkLib.Data.CNat.Defs
ArkLib.Data.Classes.DCast
ArkLib.Data.Classes.FunEquiv
ArkLib.Data.Classes.HasPred
ArkLib.Data.Classes.HasSize
ArkLib.Data.Classes.HasSucc
ArkLib.Data.Classes.Initialize
ArkLib.Data.Classes.Serde
ArkLib.Data.Classes.Slice
ArkLib.Data.Classes.ToNat
ArkLib.Data.Classes.Zeroize
ArkLib.Data.CodingTheory.Basic
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.BigOperators
ArkLib.Data.Fin.Fold
ArkLib.Data.Fin.Lift
ArkLib.Data.Fin.Sigma
ArkLib.Data.GroupTheory.PrimeOrder
ArkLib.Data.Hash.DomainSep
ArkLib.Data.Hash.DuplexSponge
ArkLib.Data.List.BigOperators
ArkLib.Data.List.HList
ArkLib.Data.List.Lemmas
ArkLib.Data.List.Vector
ArkLib.Data.Matrix.Basic
ArkLib.Data.Matrix.Sparse
ArkLib.Data.Misc.Basic
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.MvPolynomialLike
ArkLib.Data.MvPolynomial.Notation
ArkLib.Data.MvPolynomial.Sumcheck
ArkLib.Data.Nat.Bitwise
ArkLib.Data.Polynomial.Bivariate
ArkLib.Data.Polynomial.EvenAndOdd
ArkLib.Data.Polynomial.Frobenius
ArkLib.Data.Polynomial.Interface
ArkLib.Data.Polynomial.MonomialBasis
ArkLib.Data.Polynomial.PolynomialLike
ArkLib.Data.Probability.Instances
ArkLib.Data.Probability.Notation
ArkLib.Data.RingTheory.TowerOfAlgebra
ArkLib.Data.Tree.Binary
ArkLib.Data.Tree.General
ArkLib.Data.UniPoly.Basic
ArkLib.Data.UniPoly.BasicOld
ArkLib.Data.UniPoly.PolynomialReflection
ArkLib.Data.Vector.Basic
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.StateRestoration
ArkLib.ProofSystem.Binius.Basic
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.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.CodingTheory.JohnsonBound.Basic
ArkLib.Data.CodingTheory.JohnsonBound.Choose2
ArkLib.Data.CodingTheory.JohnsonBound.Expectations
ArkLib.Data.CodingTheory.JohnsonBound.Lemmas
ArkLib.Data.FieldTheory.AdditiveNTT.AdditiveNTT
ArkLib.Data.FieldTheory.AdditiveNTT.NovelPolynomialBasis
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.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.State
ArkLib.ProofSystem.Sumcheck.Impl.Basic
ArkLib.ProofSystem.Sumcheck.Spec.General
ArkLib.ProofSystem.Sumcheck.Spec.SingleRound
ArkLib.Data.FieldTheory.BinaryField.Tower.Basic
ArkLib.Data.FieldTheory.BinaryField.Tower.Impl
ArkLib.Data.FieldTheory.BinaryField.Tower.Prelude
ArkLib.Data.FieldTheory.BinaryField.Tower.TensorAlgebra
Imported by