• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for symbolic-base-0.1.0.0 candidate source tarball

symbolic-base-0.1.0.0/

• LICENSE
• symbolic-base.cabal
• bench/
  • BenchEC.hs
  • BenchPolyMul.hs
• js-src/
  • blake2b.js
• src/
  • ZkFold/
    • Prelude.hs
    • Base/
      • Algebra/
        • Basic/
          • Class.hs
          • DFT.hs
          • Field.hs
          • Number.hs
          • Permutations.hs
          • VectorSpace.hs
        • EllipticCurve/
          • BLS12_381.hs
          • BN254.hs
          • Class.hs
          • Ed25519.hs
          • Pairing.hs
          • Pasta.hs
          • PlutoEris.hs
          • Secp256k1.hs
        • Polynomials/
          • Multivariate.hs
          • Univariate.hs
          • Multivariate/
            • Groebner.hs
            • Monomial.hs
            • Polynomial.hs
            • Substitution.hs
      • Algorithm/
        • ReedSolomon.hs
      • Control/
        • HApplicative.hs
      • Data/
        • ByteString.hs
        • HFunctor.hs
        • Matrix.hs
        • Orphans.hs
        • Package.hs
        • Product.hs
        • Type.hs
        • Utils.hs
        • Vector.hs
        • List/
          • Infinite.hs
        • Sparse/
          • Matrix.hs
          • Vector.hs
      • Protocol/
        • IVC.hs
        • KZG.hs
        • NonInteractiveProof.hs
        • Plonk.hs
        • Plonkup.hs
        • IVC/
          • Accumulator.hs
          • AccumulatorScheme.hs
          • AlgebraicMap.hs
          • Commit.hs
          • CommitOpen.hs
          • FiatShamir.hs
          • Internal.hs
          • NARK.hs
          • Oracle.hs
          • Predicate.hs
          • RecursiveFunction.hs
          • SpecialSound.hs
          • StepFunction.hs
          • VerifierCircuit.hs
        • NonInteractiveProof/
          • Internal.hs
          • Prover.hs
          • Testing.hs
        • Plonk/
          • Prover.hs
          • Verifier.hs
        • Plonkup/
          • Input.hs
          • Internal.hs
          • LookupConstraint.hs
          • PlonkConstraint.hs
          • PlonkupConstraint.hs
          • Proof.hs
          • Prover.hs
          • Relation.hs
          • Setup.hs
          • Testing.hs
          • Utils.hs
          • Verifier.hs
          • Witness.hs
          • Prover/
            • Polynomials.hs
            • Secret.hs
            • Setup.hs
          • Verifier/
            • Commitments.hs
            • Setup.hs
    • Symbolic/
      • Class.hs
      • Compiler.hs
      • Fold.hs
      • Interpreter.hs
      • MonadCircuit.hs
      • Algorithms/
        • FFT.hs
        • RSA.hs
        • ECDSA/
          • ECDSA.hs
        • Hash/
          • Blake2b.hs
          • MiMC.hs
          • SHA2.hs
          • Blake2b/
            • Constants.hs
          • MiMC/
            • Constants.hs
          • SHA2/
            • Constants.hs
      • Compiler/
        • ArithmeticCircuit.hs
        • ArithmeticCircuit/
          • Instance.hs
          • Internal.hs
          • Lookup.hs
          • Map.hs
          • MerkleHash.hs
          • Optimization.hs
          • Var.hs
          • Witness.hs
          • WitnessEstimation.hs
      • Data/
        • Bool.hs
        • ByteString.hs
        • Class.hs
        • Combinators.hs
        • Conditional.hs
        • DiscreteField.hs
        • Eq.hs
        • FFA.hs
        • FieldElement.hs
        • Hash.hs
        • Input.hs
        • Int.hs
        • JWT.hs
        • List.hs
        • Maybe.hs
        • Morph.hs
        • Ord.hs
        • Payloaded.hs
        • Switch.hs
        • UInt.hs
        • UTCTime.hs
        • VarByteString.hs
        • EllipticCurve/
          • BLS12_381.hs
          • BN254.hs
          • Ed25519.hs
          • Pasta.hs
          • PlutoEris.hs
          • Secp256k1.hs
        • JWT/
          • Google.hs
          • RS256.hs
          • Twitch.hs
          • Utils.hs
• test/
  • Main.hs
  • Tests/
    • Algebra/
      • EllipticCurve.hs
      • Field.hs
      • GroebnerBasis.hs
      • Group.hs
      • Pairing.hs
      • Permutations.hs
      • ReedSolomon.hs
      • Univariate.hs
      • Univariate/
        • Poly.hs
        • PolyVec.hs
    • Data/
      • Binary.hs
    • Protocol/
      • IVC.hs
      • NonInteractiveProof.hs
      • Plonkup.hs
    • Symbolic/
      • ArithmeticCircuit.hs
      • Compiler.hs
      • Algorithm/
        • Blake2b.hs
        • JWT.hs
        • RSA.hs
        • SHA2.hs
      • Compiler/
        • CompileWith.hs
        • Optimization.hs
        • Test1.hs
        • Test2.hs
        • Test3.hs
        • Test4.hs
      • Data/
        • ByteString.hs
        • FFA.hs
        • Hash.hs
        • Int.hs
        • List.hs
        • UInt.hs
  • data/
    • shabittestvectors/
      • SHA224LongMsg.rsp
      • SHA224ShortMsg.rsp
      • SHA256LongMsg.rsp
      • SHA256ShortMsg.rsp
      • SHA384LongMsg.rsp
      • SHA384ShortMsg.rsp
      • SHA512LongMsg.rsp
      • SHA512ShortMsg.rsp
      • SHA512_224LongMsg.rsp
      • SHA512_224ShortMsg.rsp
      • SHA512_256LongMsg.rsp
      • SHA512_256ShortMsg.rsp