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

Directory listing for zkfold-base-0.1.0.0 candidate source tarball

zkfold-base-0.1.0.0/

• LICENSE
• zkfold-base.cabal
• bench/
  • BenchPolyMul.hs
• examples/
  • Main.hs
  • Examples/
    • BatchTransfer.hs
    • ByteString.hs
    • Conditional.hs
    • Eq.hs
    • Fibonacci.hs
    • LEQ.hs
    • MiMCHash.hs
    • ReverseList.hs
    • UInt.hs
• src/
  • ZkFold/
    • Prelude.hs
    • Base/
      • Algebra/
        • Basic/
          • Class.hs
          • DFT.hs
          • Field.hs
          • Number.hs
          • Permutations.hs
          • Sources.hs
          • VectorSpace.hs
        • EllipticCurve/
          • BLS12_381.hs
          • Class.hs
          • Ed25519.hs
        • Polynomials/
          • Multivariate.hs
          • Univariate.hs
          • Multivariate/
            • Monomial.hs
            • Polynomial.hs
            • Substitution.hs
      • Data/
        • ByteString.hs
        • Matrix.hs
        • Type.hs
        • Vector.hs
        • Sparse/
          • Matrix.hs
          • Vector.hs
      • Protocol/
        • NonInteractiveProof.hs
        • ARK/
          • BabyHyrax.hs
          • HyperPlonk.hs
          • Lasso.hs
          • Nova.hs
          • Plonk.hs
          • Protostar.hs
          • Plonk/
            • Internal.hs
          • Protostar/
            • Accumulator.hs
            • CommitOpen.hs
            • Gate.hs
            • Internal.hs
            • Lookup.hs
            • Permutation.hs
            • SpecialSound.hs
        • Commitment/
          • KZG.hs
          • Sona.hs
    • Symbolic/
      • Compiler.hs
      • GroebnerBasis.hs
      • Types.hs
      • Algorithms/
        • Hash/
          • MiMC.hs
          • SHA2.hs
          • MiMC/
            • Constants.hs
          • SHA2/
            • Constants.hs
      • Cardano/
        • Types.hs
        • UPLC.hs
        • Contracts/
          • BatchTransfer.hs
        • UPLC/
          • Builtins.hs
          • Inference.hs
          • Term.hs
          • Type.hs
          • Inference/
            • Internal.hs
      • Compiler/
        • ArithmeticCircuit.hs
        • Arithmetizable.hs
        • ArithmeticCircuit/
          • Combinators.hs
          • Instance.hs
          • Internal.hs
          • Map.hs
          • MonadBlueprint.hs
      • Data/
        • Bool.hs
        • ByteString.hs
        • Combinators.hs
        • Conditional.hs
        • DiscreteField.hs
        • Ed25519.hs
        • Eq.hs
        • Ord.hs
        • UInt.hs
        • UTCTime.hs
        • Eq/
          • Structural.hs
      • GroebnerBasis/
        • Internal.hs
        • Types.hs
        • Internal/
          • Reduction.hs
          • Types.hs
• tests/
  • Main.hs
  • Tests/
    • ArithmeticCircuit.hs
    • Arithmetization.hs
    • ByteString.hs
    • Field.hs
    • GroebnerBasis.hs
    • Group.hs
    • Multiplication.hs
    • NonInteractiveProof.hs
    • Pairing.hs
    • Permutations.hs
    • Plonk.hs
    • SHA2.hs
    • UInt.hs
    • Univariate.hs
    • Arithmetization/
      • Test1.hs
      • Test2.hs
      • Test3.hs
    • Scripts/
      • LockedByTxId.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