symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols (Index - R)

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

Index - R

r	ZkFold.Base.Protocol.IVC.Accumulator
RandomOracle	ZkFold.Base.Protocol.IVC.Oracle
RandomOracle'	ZkFold.Base.Protocol.IVC.Oracle
rangeConstraint	ZkFold.Symbolic.MonadCircuit
Ranges	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Lookup
readFileJSON	ZkFold.Prelude
RecursiveFunction	ZkFold.Base.Protocol.IVC.RecursiveFunction
recursiveFunction	ZkFold.Base.Protocol.IVC.RecursiveFunction
RecursiveFunctionAssumptions	ZkFold.Base.Protocol.IVC.RecursiveFunction
RecursiveI
1 (Type/Class)	ZkFold.Base.Protocol.IVC.RecursiveFunction
2 (Data Constructor)	ZkFold.Base.Protocol.IVC.RecursiveFunction
RecursiveP
1 (Type/Class)	ZkFold.Base.Protocol.IVC.RecursiveFunction
2 (Data Constructor)	ZkFold.Base.Protocol.IVC.RecursiveFunction
recursivePredicate	ZkFold.Base.Protocol.IVC.RecursiveFunction
RecursivePredicateAssumptions	ZkFold.Base.Protocol.IVC.RecursiveFunction
reducable	ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
reduce	ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
reduceMany	ZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
register	ZkFold.Symbolic.Data.UInt
registerFunction	ZkFold.Symbolic.MonadCircuit
RegisterSize	ZkFold.Symbolic.Data.Combinators
registerSize	ZkFold.Symbolic.Data.Combinators
regSize	ZkFold.Symbolic.Data.Combinators
relation
1 (Function)	ZkFold.Base.Protocol.Plonkup.Verifier.Setup, ZkFold.Base.Protocol.Plonkup.Verifier
2 (Function)	ZkFold.Base.Protocol.Plonkup.Prover.Setup, ZkFold.Base.Protocol.Plonkup.Prover
3 (Function)	ZkFold.Base.Protocol.Plonkup.Setup
removeZeros	ZkFold.Base.Algebra.Polynomials.Univariate
Replica	ZkFold.Symbolic.Data.Morph
replicate	ZkFold.Prelude
replicateA	ZkFold.Prelude
Representably
1 (Type/Class)	ZkFold.Base.Algebra.Basic.VectorSpace
2 (Data Constructor)	ZkFold.Base.Algebra.Basic.VectorSpace
ResidueField	ZkFold.Symbolic.MonadCircuit
Resize	ZkFold.Symbolic.Data.Combinators, ZkFold.Symbolic.Data.ByteString
resize	ZkFold.Symbolic.Data.Combinators, ZkFold.Symbolic.Data.ByteString
restore	ZkFold.Symbolic.Data.Class
ResultSize	ZkFold.Symbolic.Algorithms.Hash.SHA2
revapp	ZkFold.Symbolic.Data.List
reverse
1 (Function)	ZkFold.Base.Data.Vector
2 (Function)	ZkFold.Symbolic.Data.List
reverseEndianness	ZkFold.Symbolic.Data.ByteString
rewrapPolyVec	ZkFold.Base.Algebra.Polynomials.Univariate
Ring	ZkFold.Base.Algebra.Basic.Class
rootOfUnity	ZkFold.Base.Algebra.Basic.Class
rotate	ZkFold.Base.Data.Vector
rotateBits	ZkFold.Symbolic.Data.ByteString
rotateBitsL	ZkFold.Symbolic.Data.ByteString
rotateBitsR	ZkFold.Symbolic.Data.ByteString
roundConstants	ZkFold.Symbolic.Algorithms.Hash.SHA2
RSA	ZkFold.Symbolic.Algorithms.RSA
runHash	ZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash
runInterpreter	ZkFold.Symbolic.Interpreter
runInvert	ZkFold.Symbolic.Data.Combinators
runPayloaded	ZkFold.Symbolic.Data.Payloaded
runRepresentably	ZkFold.Base.Algebra.Basic.VectorSpace
runTransform	ZkFold.Base.Control.HApplicative
runWitness	ZkFold.Base.Protocol.KZG
runWitnessF	ZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness
rX	ZkFold.Base.Protocol.Plonkup.Testing