• 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
• 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
        • Polynomials/
          • Multivariate.hs
          • Univariate.hs
          • Multivariate/
            • Groebner.hs
            • Monomial.hs
            • Polynomial.hs
            • Substitution.hs
      • Control/
        • HApplicative.hs
      • Data/
        • ByteString.hs
        • HFunctor.hs
        • Matrix.hs
        • Package.hs
        • Product.hs
        • Type.hs
        • Utils.hs
        • Vector.hs
        • Functor/
          • Rep.hs
        • List/
          • Infinite.hs
        • Sparse/
          • Matrix.hs
          • Vector.hs
      • Protocol/
        • KZG.hs
        • NonInteractiveProof.hs
        • Plonk.hs
        • Plonkup.hs
        • Protostar.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
        • Protostar/
          • Accumulator.hs
          • AccumulatorScheme.hs
          • AlgebraicMap.hs
          • ArithmetizableFunction.hs
          • Commit.hs
          • CommitOpen.hs
          • FiatShamir.hs
          • IVC.hs
          • NARK.hs
          • Oracle.hs
          • RecursiveCircuit.hs
          • SpecialSound.hs
    • Symbolic/
      • Class.hs
      • Compiler.hs
      • Interpreter.hs
      • MonadCircuit.hs
      • Algorithms/
        • 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
          • Map.hs
          • MerkleHash.hs
          • Optimization.hs
          • Witness.hs
      • Data/
        • Bool.hs
        • ByteString.hs
        • Class.hs
        • Combinators.hs
        • Conditional.hs
        • DiscreteField.hs
        • Ed25519.hs
        • Eq.hs
        • FFA.hs
        • FieldElement.hs
        • Hash.hs
        • Input.hs
        • List.hs
        • Maybe.hs
        • Ord.hs
        • Payloaded.hs
        • UInt.hs
        • UTCTime.hs
• test/
  • Main.hs
  • Tests/
    • ArithmeticCircuit.hs
    • Arithmetization.hs
    • Binary.hs
    • Blake2b.hs
    • ByteString.hs
    • Compiler.hs
    • FFA.hs
    • Field.hs
    • GroebnerBasis.hs
    • Group.hs
    • Hash.hs
    • List.hs
    • NonInteractiveProof.hs
    • Pairing.hs
    • Permutations.hs
    • Plonkup.hs
    • Protostar.hs
    • RSA.hs
    • SHA2.hs
    • UInt.hs
    • Univariate.hs
    • Arithmetization/
      • Optimization.hs
      • Test1.hs
      • Test2.hs
      • Test3.hs
      • Test4.hs
    • Univariate/
      • Poly.hs
      • PolyVec.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