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

Index - R

rZkFold.Base.Protocol.Protostar.Accumulator
RandomOracleZkFold.Base.Protocol.Protostar.Oracle
RandomOracle'ZkFold.Base.Protocol.Protostar.Oracle
rangeConstraintZkFold.Symbolic.MonadCircuit
readFileJSONZkFold.Prelude
reducableZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
reduceZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
reduceManyZkFold.Base.Algebra.Polynomials.Multivariate.Groebner, ZkFold.Base.Algebra.Polynomials.Multivariate
RegisterSizeZkFold.Symbolic.Data.Combinators
registerSizeZkFold.Symbolic.Data.Combinators
regSizeZkFold.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
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
ResidueFieldZkFold.Symbolic.MonadCircuit
ResizeZkFold.Symbolic.Data.Combinators, ZkFold.Symbolic.Data.ByteString
resizeZkFold.Symbolic.Data.Combinators, ZkFold.Symbolic.Data.ByteString
restoreZkFold.Symbolic.Data.Class
ResultSizeZkFold.Symbolic.Algorithms.Hash.SHA2
reverseZkFold.Base.Data.Vector
reverseEndiannessZkFold.Symbolic.Data.ByteString
rewrapPolyVecZkFold.Base.Algebra.Polynomials.Univariate
RingZkFold.Base.Algebra.Basic.Class
rootOfUnityZkFold.Base.Algebra.Basic.Class
rotateZkFold.Base.Data.Vector
rotateBitsZkFold.Symbolic.Data.ByteString
rotateBitsLZkFold.Symbolic.Data.ByteString
rotateBitsRZkFold.Symbolic.Data.ByteString
rotr64ZkFold.Symbolic.Algorithms.Hash.Blake2b
roundConstantsZkFold.Symbolic.Algorithms.Hash.SHA2
roundsZkFold.Base.Protocol.Protostar.SpecialSound
RSAZkFold.Symbolic.Algorithms.RSA
runHashZkFold.Symbolic.Compiler.ArithmeticCircuit.MerkleHash
runInterpreterZkFold.Symbolic.Interpreter
runInvertZkFold.Symbolic.Data.Combinators
runRepresentablyZkFold.Base.Algebra.Basic.VectorSpace
runTransformZkFold.Base.Control.HApplicative
runWitnessZkFold.Base.Protocol.KZG
runWitnessFZkFold.Symbolic.Compiler.ArithmeticCircuit.Witness
rXZkFold.Base.Protocol.Plonkup.Testing