| 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 |