zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Index - R

readFileJSONZkFold.Prelude
reducableZkFold.Symbolic.GroebnerBasis.Internal.Reduction
reduceZkFold.Symbolic.GroebnerBasis.Internal.Reduction
reduceManyZkFold.Symbolic.GroebnerBasis.Internal.Reduction
registerSizeZkFold.Symbolic.Data.Combinators
removeConstantVariableZkFold.Base.Protocol.ARK.Plonk.Internal
removeZerosZkFold.Base.Algebra.Polynomials.Univariate
replicateZkFold.Prelude
replicateAZkFold.Prelude
Representably 
1 (Type/Class)ZkFold.Base.Algebra.Basic.VectorSpace
2 (Data Constructor)ZkFold.Base.Algebra.Basic.VectorSpace
restoreZkFold.Symbolic.Compiler.Arithmetizable, ZkFold.Symbolic.Compiler
ResultSizeZkFold.Symbolic.Algorithms.Hash.SHA2
rewrapPolyVecZkFold.Base.Algebra.Polynomials.Univariate
RingZkFold.Base.Algebra.Basic.Class
rootOfUnityZkFold.Base.Algebra.Basic.Class
rotateBitsZkFold.Symbolic.Data.ByteString
rotateBitsLZkFold.Symbolic.Data.ByteString
rotateBitsRZkFold.Symbolic.Data.ByteString
roundConstantsZkFold.Symbolic.Algorithms.Hash.SHA2
roundsZkFold.Base.Protocol.ARK.Protostar.SpecialSound
runCircuitZkFold.Symbolic.Compiler.ArithmeticCircuit.MonadBlueprint
runRepresentablyZkFold.Base.Algebra.Basic.VectorSpace
runSourcesZkFold.Base.Algebra.Basic.Sources
runWitnessZkFold.Base.Protocol.Commitment.KZG