Merge pull request #286 from zkFold/vlasin-monorepo-refactor

Monorepo refactor
zkFold · Oct 8, 2024 · 58cc6e6 · 58cc6e6
2 parents e4cb70d + 3d40db9
commit 58cc6e6
Show file tree

Hide file tree

Showing 232 changed files with 508 additions and 129 deletions.
diff --git a/.github/workflows/main-pull.yml b/.github/workflows/main-pull.yml
@@ -32,6 +32,7 @@ jobs:
 
     - name: Configure Cabal
       run: |
+        cabal update
         cabal configure --enable-tests --enable-benchmarks --enable-documentation
     
     - name: Generate cache key

diff --git a/.github/workflows/main-push.yml b/.github/workflows/main-push.yml
@@ -37,15 +37,15 @@ jobs:
       shell: bash
       run: |
         cabal update
-        cabal new-build all -f Pedantic
+        cabal build all -f Pedantic
 
     - name: Upload package
       env:
         HACKAGE_PASSWORD: ${{ secrets.HACKAGE_PASSWORD }}
       shell: bash
       run: |
-        cabal sdist
+        cabal sdist symbolic-base
         cabal upload --username=VladimirSinyakov --password="$HACKAGE_PASSWORD" dist-newstyle/sdist/*.tar.gz
         
-        cabal v2-haddock --haddock-for-hackage --enable-doc
+        cabal v2-haddock symbolic-base --haddock-for-hackage --enable-doc
         cabal upload --documentation --username=VladimirSinyakov --password="$HACKAGE_PASSWORD" dist-newstyle/*-docs.tar.gz
diff --git a/.gitignore b/.gitignore
@@ -21,6 +21,5 @@ cabal.project.local
 cabal.project.local~
 .HTF/
 .ghc.environment.*
-compiled_scripts/*
 stack.yaml*
 .DS_Store
diff --git a/README.md b/README.md
@@ -1,25 +1,27 @@
-# zkFold Base library
-This repository contains the base library for the ZkFold project. It includes the zkFold Symbolic compiler and a number of zero knowledge proof protocols. The compiler translates a subset of Haskell into arithmetic circuits, which can be used to generate zero knowledge proofs.
+# zkFold Symbolic framework
+This repository contains the zkFold Symbolic framework base library as well as additional packages written using the framework.
 
 # Documentation
-The zkFold Symbolic language can be utilized to create zero-knowledge smart contracts and privacy-preserving applications.
+The zkFold Symbolic framework can be utilized to create zero-knowledge smart contracts and privacy-preserving applications.
 
-User documentation can be found at [docs.zkfold.io](https://docs.zkfold.io "zkFold Symbolic User Documentation").
+User documentation can be found at [docs.zkfold.io](https://docs.zkfold.io/symbolic/introduction/ "zkFold Symbolic User Documentation").
 
 If you want to contribute to the project or find out how it works "under the hood", check out [package documentation](https://hackage.haskell.org/package/zkfold-base-0.1.0.0/candidate "zkFold Base package") on Hackage.
 
 # Build
-The package compiles with GHC 9.6.3 and Cabal 3.10.2.1.
+The package compiles with GHC 9.6.3 and Cabal 3.10.2.1. To build all packages, execute
+```bash
+cabal build all
+```
 
 # Tests
 To run the tests, execute
 ```bash
-cabal run -- zkfold-base-test
+cabal test all
 ```
 
-# Examples
-The `examples` folder contains several code examples of arithmetizable pure functions. These examples can be compiled into the arithmetic circuits with the zkFold Symbolic compiler. In order to do it, execute
+# Benchmarks
+To run the benchmarks, execute
 ```bash
-cabal run -- zkfold-base-examples
-```
-The output is placed into the `compiled_scripts` folder.
+cabal bench all
+```
diff --git a/cabal.project b/cabal.project
@@ -1,6 +1,10 @@
 index-state: 2023-10-29T16:11:26Z
 
-packages: .
+packages:
+    symbolic-base
+    symbolic-cardano
+    symbolic-examples
+    zkfold-ledger
 
 optimization: 2
 

diff --git a/hie.yaml b/hie.yaml
diff --git a/symbolic-base/LICENSE b/symbolic-base/LICENSE
@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 zkFold SA
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
diff --git a/symbolic-base/README.md b/symbolic-base/README.md
@@ -0,0 +1,2 @@
+# zkFold Symbolic Base package
+This package contains the zkFold Symbolic framework base library. It includes the zkFold Symbolic compiler and a number of zero knowledge proof protocols. The compiler translates code written using the zkFold Symbolic framework into arithmetic circuits. The zero knowledge proof protocols are used to verify statements about the circuits.
diff --git a/bench/BenchPolyMul.hs → symbolic-base/bench/BenchPolyMul.hs b/bench/BenchPolyMul.hs → symbolic-base/bench/BenchPolyMul.hs
diff --git a/symbolic-base/hie.yaml b/symbolic-base/hie.yaml
@@ -0,0 +1,10 @@
+cradle:
+  cabal:
+    - path: "./src"
+      component: "lib:symbolic-base"
+
+    - path: "./test"
+      component: "symbolic-base:test:symbolic-base-test"
+
+    - path: "./bench/BenchPolyMul.hs"
+      component: "symbolic-base:bench:bench-poly-mul"
diff --git a/src/ZkFold/Base/Algebra/Basic/Class.hs → ...se/src/ZkFold/Base/Algebra/Basic/Class.hs b/src/ZkFold/Base/Algebra/Basic/Class.hs → ...se/src/ZkFold/Base/Algebra/Basic/Class.hs
diff --git a/src/ZkFold/Base/Algebra/Basic/DFT.hs → ...base/src/ZkFold/Base/Algebra/Basic/DFT.hs b/src/ZkFold/Base/Algebra/Basic/DFT.hs → ...base/src/ZkFold/Base/Algebra/Basic/DFT.hs
diff --git a/src/ZkFold/Base/Algebra/Basic/Field.hs → ...se/src/ZkFold/Base/Algebra/Basic/Field.hs b/src/ZkFold/Base/Algebra/Basic/Field.hs → ...se/src/ZkFold/Base/Algebra/Basic/Field.hs
diff --git a/src/ZkFold/Base/Algebra/Basic/Number.hs → ...e/src/ZkFold/Base/Algebra/Basic/Number.hs b/src/ZkFold/Base/Algebra/Basic/Number.hs → ...e/src/ZkFold/Base/Algebra/Basic/Number.hs
diff --git a/...ZkFold/Base/Algebra/Basic/Permutations.hs → ...ZkFold/Base/Algebra/Basic/Permutations.hs b/...ZkFold/Base/Algebra/Basic/Permutations.hs → ...ZkFold/Base/Algebra/Basic/Permutations.hs
diff --git a/src/ZkFold/Base/Algebra/Basic/VectorSpace.hs → .../ZkFold/Base/Algebra/Basic/VectorSpace.hs b/src/ZkFold/Base/Algebra/Basic/VectorSpace.hs → .../ZkFold/Base/Algebra/Basic/VectorSpace.hs
diff --git a/...d/Base/Algebra/EllipticCurve/BLS12_381.hs → ...d/Base/Algebra/EllipticCurve/BLS12_381.hs b/...d/Base/Algebra/EllipticCurve/BLS12_381.hs → ...d/Base/Algebra/EllipticCurve/BLS12_381.hs
diff --git a/...kFold/Base/Algebra/EllipticCurve/BN254.hs → ...kFold/Base/Algebra/EllipticCurve/BN254.hs b/...kFold/Base/Algebra/EllipticCurve/BN254.hs → ...kFold/Base/Algebra/EllipticCurve/BN254.hs
diff --git a/...kFold/Base/Algebra/EllipticCurve/Class.hs → ...kFold/Base/Algebra/EllipticCurve/Class.hs b/...kFold/Base/Algebra/EllipticCurve/Class.hs → ...kFold/Base/Algebra/EllipticCurve/Class.hs
diff --git a/...old/Base/Algebra/EllipticCurve/Ed25519.hs → ...old/Base/Algebra/EllipticCurve/Ed25519.hs b/...old/Base/Algebra/EllipticCurve/Ed25519.hs → ...old/Base/Algebra/EllipticCurve/Ed25519.hs
diff --git a/...old/Base/Algebra/EllipticCurve/Pairing.hs → ...old/Base/Algebra/EllipticCurve/Pairing.hs b/...old/Base/Algebra/EllipticCurve/Pairing.hs → ...old/Base/Algebra/EllipticCurve/Pairing.hs
diff --git a/...kFold/Base/Algebra/EllipticCurve/Pasta.hs → ...kFold/Base/Algebra/EllipticCurve/Pasta.hs b/...kFold/Base/Algebra/EllipticCurve/Pasta.hs → ...kFold/Base/Algebra/EllipticCurve/Pasta.hs
diff --git a/.../Base/Algebra/Polynomials/Multivariate.hs → .../Base/Algebra/Polynomials/Multivariate.hs b/.../Base/Algebra/Polynomials/Multivariate.hs → .../Base/Algebra/Polynomials/Multivariate.hs
diff --git a/...ebra/Polynomials/Multivariate/Groebner.hs → ...ebra/Polynomials/Multivariate/Groebner.hs b/...ebra/Polynomials/Multivariate/Groebner.hs → ...ebra/Polynomials/Multivariate/Groebner.hs
diff --git a/...ebra/Polynomials/Multivariate/Monomial.hs → ...ebra/Polynomials/Multivariate/Monomial.hs b/...ebra/Polynomials/Multivariate/Monomial.hs → ...ebra/Polynomials/Multivariate/Monomial.hs
diff --git a/...ra/Polynomials/Multivariate/Polynomial.hs → ...ra/Polynomials/Multivariate/Polynomial.hs b/...ra/Polynomials/Multivariate/Polynomial.hs → ...ra/Polynomials/Multivariate/Polynomial.hs
diff --git a/.../Polynomials/Multivariate/Substitution.hs → .../Polynomials/Multivariate/Substitution.hs b/.../Polynomials/Multivariate/Substitution.hs → .../Polynomials/Multivariate/Substitution.hs
diff --git a/...ld/Base/Algebra/Polynomials/Univariate.hs → ...ld/Base/Algebra/Polynomials/Univariate.hs b/...ld/Base/Algebra/Polynomials/Univariate.hs → ...ld/Base/Algebra/Polynomials/Univariate.hs
diff --git a/src/ZkFold/Base/Control/HApplicative.hs → ...e/src/ZkFold/Base/Control/HApplicative.hs b/src/ZkFold/Base/Control/HApplicative.hs → ...e/src/ZkFold/Base/Control/HApplicative.hs
diff --git a/src/ZkFold/Base/Data/ByteString.hs → ...c-base/src/ZkFold/Base/Data/ByteString.hs b/src/ZkFold/Base/Data/ByteString.hs → ...c-base/src/ZkFold/Base/Data/ByteString.hs
diff --git a/src/ZkFold/Base/Data/HFunctor.hs → ...lic-base/src/ZkFold/Base/Data/HFunctor.hs b/src/ZkFold/Base/Data/HFunctor.hs → ...lic-base/src/ZkFold/Base/Data/HFunctor.hs
diff --git a/src/ZkFold/Base/Data/Matrix.hs → symbolic-base/src/ZkFold/Base/Data/Matrix.hs b/src/ZkFold/Base/Data/Matrix.hs → symbolic-base/src/ZkFold/Base/Data/Matrix.hs
diff --git a/src/ZkFold/Base/Data/Package.hs → ...olic-base/src/ZkFold/Base/Data/Package.hs b/src/ZkFold/Base/Data/Package.hs → ...olic-base/src/ZkFold/Base/Data/Package.hs
diff --git a/src/ZkFold/Base/Data/Par1.hs → symbolic-base/src/ZkFold/Base/Data/Par1.hs b/src/ZkFold/Base/Data/Par1.hs → symbolic-base/src/ZkFold/Base/Data/Par1.hs
diff --git a/src/ZkFold/Base/Data/Product.hs → ...olic-base/src/ZkFold/Base/Data/Product.hs b/src/ZkFold/Base/Data/Product.hs → ...olic-base/src/ZkFold/Base/Data/Product.hs
diff --git a/src/ZkFold/Base/Data/Sparse/Matrix.hs → ...ase/src/ZkFold/Base/Data/Sparse/Matrix.hs b/src/ZkFold/Base/Data/Sparse/Matrix.hs → ...ase/src/ZkFold/Base/Data/Sparse/Matrix.hs
diff --git a/src/ZkFold/Base/Data/Sparse/Vector.hs → ...ase/src/ZkFold/Base/Data/Sparse/Vector.hs b/src/ZkFold/Base/Data/Sparse/Vector.hs → ...ase/src/ZkFold/Base/Data/Sparse/Vector.hs
diff --git a/src/ZkFold/Base/Data/Type.hs → symbolic-base/src/ZkFold/Base/Data/Type.hs b/src/ZkFold/Base/Data/Type.hs → symbolic-base/src/ZkFold/Base/Data/Type.hs
diff --git a/src/ZkFold/Base/Data/Vector.hs → symbolic-base/src/ZkFold/Base/Data/Vector.hs b/src/ZkFold/Base/Data/Vector.hs → symbolic-base/src/ZkFold/Base/Data/Vector.hs
diff --git a/src/ZkFold/Base/Protocol/KZG.hs → ...olic-base/src/ZkFold/Base/Protocol/KZG.hs b/src/ZkFold/Base/Protocol/KZG.hs → ...olic-base/src/ZkFold/Base/Protocol/KZG.hs
diff --git a/...Fold/Base/Protocol/NonInteractiveProof.hs → ...Fold/Base/Protocol/NonInteractiveProof.hs b/...Fold/Base/Protocol/NonInteractiveProof.hs → ...Fold/Base/Protocol/NonInteractiveProof.hs
diff --git a/.../Protocol/NonInteractiveProof/Internal.hs → .../Protocol/NonInteractiveProof/Internal.hs b/.../Protocol/NonInteractiveProof/Internal.hs → .../Protocol/NonInteractiveProof/Internal.hs
diff --git a/...se/Protocol/NonInteractiveProof/Prover.hs → ...se/Protocol/NonInteractiveProof/Prover.hs b/...se/Protocol/NonInteractiveProof/Prover.hs → ...se/Protocol/NonInteractiveProof/Prover.hs
diff --git a/...e/Protocol/NonInteractiveProof/Testing.hs → ...e/Protocol/NonInteractiveProof/Testing.hs b/...e/Protocol/NonInteractiveProof/Testing.hs → ...e/Protocol/NonInteractiveProof/Testing.hs
diff --git a/src/ZkFold/Base/Protocol/Plonk.hs → ...ic-base/src/ZkFold/Base/Protocol/Plonk.hs b/src/ZkFold/Base/Protocol/Plonk.hs → ...ic-base/src/ZkFold/Base/Protocol/Plonk.hs
diff --git a/src/ZkFold/Base/Protocol/Plonk/Prover.hs → .../src/ZkFold/Base/Protocol/Plonk/Prover.hs b/src/ZkFold/Base/Protocol/Plonk/Prover.hs → .../src/ZkFold/Base/Protocol/Plonk/Prover.hs
diff --git a/src/ZkFold/Base/Protocol/Plonk/Verifier.hs → ...rc/ZkFold/Base/Protocol/Plonk/Verifier.hs b/src/ZkFold/Base/Protocol/Plonk/Verifier.hs → ...rc/ZkFold/Base/Protocol/Plonk/Verifier.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup.hs → ...-base/src/ZkFold/Base/Protocol/Plonkup.hs b/src/ZkFold/Base/Protocol/Plonkup.hs → ...-base/src/ZkFold/Base/Protocol/Plonkup.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Input.hs → ...src/ZkFold/Base/Protocol/Plonkup/Input.hs b/src/ZkFold/Base/Protocol/Plonkup/Input.hs → ...src/ZkFold/Base/Protocol/Plonkup/Input.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Internal.hs → .../ZkFold/Base/Protocol/Plonkup/Internal.hs b/src/ZkFold/Base/Protocol/Plonkup/Internal.hs → .../ZkFold/Base/Protocol/Plonkup/Internal.hs
diff --git a/...Base/Protocol/Plonkup/LookupConstraint.hs → ...Base/Protocol/Plonkup/LookupConstraint.hs b/...Base/Protocol/Plonkup/LookupConstraint.hs → ...Base/Protocol/Plonkup/LookupConstraint.hs
diff --git a/.../Base/Protocol/Plonkup/PlonkConstraint.hs → .../Base/Protocol/Plonkup/PlonkConstraint.hs b/.../Base/Protocol/Plonkup/PlonkConstraint.hs → .../Base/Protocol/Plonkup/PlonkConstraint.hs
diff --git a/...ase/Protocol/Plonkup/PlonkupConstraint.hs → ...ase/Protocol/Plonkup/PlonkupConstraint.hs b/...ase/Protocol/Plonkup/PlonkupConstraint.hs → ...ase/Protocol/Plonkup/PlonkupConstraint.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Proof.hs → ...src/ZkFold/Base/Protocol/Plonkup/Proof.hs b/src/ZkFold/Base/Protocol/Plonkup/Proof.hs → ...src/ZkFold/Base/Protocol/Plonkup/Proof.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Prover.hs → ...rc/ZkFold/Base/Protocol/Plonkup/Prover.hs b/src/ZkFold/Base/Protocol/Plonkup/Prover.hs → ...rc/ZkFold/Base/Protocol/Plonkup/Prover.hs
diff --git a/...se/Protocol/Plonkup/Prover/Polynomials.hs → ...se/Protocol/Plonkup/Prover/Polynomials.hs b/...se/Protocol/Plonkup/Prover/Polynomials.hs → ...se/Protocol/Plonkup/Prover/Polynomials.hs
diff --git a/...ld/Base/Protocol/Plonkup/Prover/Secret.hs → ...ld/Base/Protocol/Plonkup/Prover/Secret.hs b/...ld/Base/Protocol/Plonkup/Prover/Secret.hs → ...ld/Base/Protocol/Plonkup/Prover/Secret.hs
diff --git a/...old/Base/Protocol/Plonkup/Prover/Setup.hs → ...old/Base/Protocol/Plonkup/Prover/Setup.hs b/...old/Base/Protocol/Plonkup/Prover/Setup.hs → ...old/Base/Protocol/Plonkup/Prover/Setup.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Relation.hs → .../ZkFold/Base/Protocol/Plonkup/Relation.hs b/src/ZkFold/Base/Protocol/Plonkup/Relation.hs → .../ZkFold/Base/Protocol/Plonkup/Relation.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Setup.hs → ...src/ZkFold/Base/Protocol/Plonkup/Setup.hs b/src/ZkFold/Base/Protocol/Plonkup/Setup.hs → ...src/ZkFold/Base/Protocol/Plonkup/Setup.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Testing.hs → ...c/ZkFold/Base/Protocol/Plonkup/Testing.hs b/src/ZkFold/Base/Protocol/Plonkup/Testing.hs → ...c/ZkFold/Base/Protocol/Plonkup/Testing.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Utils.hs → ...src/ZkFold/Base/Protocol/Plonkup/Utils.hs b/src/ZkFold/Base/Protocol/Plonkup/Utils.hs → ...src/ZkFold/Base/Protocol/Plonkup/Utils.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Verifier.hs → .../ZkFold/Base/Protocol/Plonkup/Verifier.hs b/src/ZkFold/Base/Protocol/Plonkup/Verifier.hs → .../ZkFold/Base/Protocol/Plonkup/Verifier.hs
diff --git a/.../Protocol/Plonkup/Verifier/Commitments.hs → .../Protocol/Plonkup/Verifier/Commitments.hs b/.../Protocol/Plonkup/Verifier/Commitments.hs → .../Protocol/Plonkup/Verifier/Commitments.hs
diff --git a/...d/Base/Protocol/Plonkup/Verifier/Setup.hs → ...d/Base/Protocol/Plonkup/Verifier/Setup.hs b/...d/Base/Protocol/Plonkup/Verifier/Setup.hs → ...d/Base/Protocol/Plonkup/Verifier/Setup.hs
diff --git a/src/ZkFold/Base/Protocol/Plonkup/Witness.hs → ...c/ZkFold/Base/Protocol/Plonkup/Witness.hs b/src/ZkFold/Base/Protocol/Plonkup/Witness.hs → ...c/ZkFold/Base/Protocol/Plonkup/Witness.hs
diff --git a/src/ZkFold/Base/Protocol/Protostar.hs → ...ase/src/ZkFold/Base/Protocol/Protostar.hs b/src/ZkFold/Base/Protocol/Protostar.hs → ...ase/src/ZkFold/Base/Protocol/Protostar.hs
diff --git a/...ld/Base/Protocol/Protostar/Accumulator.hs → ...ld/Base/Protocol/Protostar/Accumulator.hs b/...ld/Base/Protocol/Protostar/Accumulator.hs → ...ld/Base/Protocol/Protostar/Accumulator.hs
diff --git a/...e/Protocol/Protostar/AccumulatorScheme.hs → ...e/Protocol/Protostar/AccumulatorScheme.hs b/...e/Protocol/Protostar/AccumulatorScheme.hs → ...e/Protocol/Protostar/AccumulatorScheme.hs
diff --git a/...e/Protocol/Protostar/ArithmeticCircuit.hs → ...e/Protocol/Protostar/ArithmeticCircuit.hs b/...e/Protocol/Protostar/ArithmeticCircuit.hs → ...e/Protocol/Protostar/ArithmeticCircuit.hs
diff --git a/src/ZkFold/Base/Protocol/Protostar/Commit.hs → .../ZkFold/Base/Protocol/Protostar/Commit.hs b/src/ZkFold/Base/Protocol/Protostar/Commit.hs → .../ZkFold/Base/Protocol/Protostar/Commit.hs
diff --git a/...old/Base/Protocol/Protostar/CommitOpen.hs → ...old/Base/Protocol/Protostar/CommitOpen.hs b/...old/Base/Protocol/Protostar/CommitOpen.hs → ...old/Base/Protocol/Protostar/CommitOpen.hs
diff --git a/...old/Base/Protocol/Protostar/FiatShamir.hs → ...old/Base/Protocol/Protostar/FiatShamir.hs b/...old/Base/Protocol/Protostar/FiatShamir.hs → ...old/Base/Protocol/Protostar/FiatShamir.hs
diff --git a/src/ZkFold/Base/Protocol/Protostar/Fold.hs → ...rc/ZkFold/Base/Protocol/Protostar/Fold.hs b/src/ZkFold/Base/Protocol/Protostar/Fold.hs → ...rc/ZkFold/Base/Protocol/Protostar/Fold.hs
diff --git a/src/ZkFold/Base/Protocol/Protostar/Gate.hs → ...rc/ZkFold/Base/Protocol/Protostar/Gate.hs b/src/ZkFold/Base/Protocol/Protostar/Gate.hs → ...rc/ZkFold/Base/Protocol/Protostar/Gate.hs
diff --git a/...kFold/Base/Protocol/Protostar/Internal.hs → ...kFold/Base/Protocol/Protostar/Internal.hs b/...kFold/Base/Protocol/Protostar/Internal.hs → ...kFold/Base/Protocol/Protostar/Internal.hs
diff --git a/src/ZkFold/Base/Protocol/Protostar/Lookup.hs → .../ZkFold/Base/Protocol/Protostar/Lookup.hs b/src/ZkFold/Base/Protocol/Protostar/Lookup.hs → .../ZkFold/Base/Protocol/Protostar/Lookup.hs
diff --git a/src/ZkFold/Base/Protocol/Protostar/Oracle.hs → .../ZkFold/Base/Protocol/Protostar/Oracle.hs b/src/ZkFold/Base/Protocol/Protostar/Oracle.hs → .../ZkFold/Base/Protocol/Protostar/Oracle.hs
diff --git a/...ld/Base/Protocol/Protostar/Permutation.hs → ...ld/Base/Protocol/Protostar/Permutation.hs b/...ld/Base/Protocol/Protostar/Permutation.hs → ...ld/Base/Protocol/Protostar/Permutation.hs
diff --git a/...d/Base/Protocol/Protostar/SpecialSound.hs → ...d/Base/Protocol/Protostar/SpecialSound.hs b/...d/Base/Protocol/Protostar/SpecialSound.hs → ...d/Base/Protocol/Protostar/SpecialSound.hs
diff --git a/src/ZkFold/Prelude.hs → symbolic-base/src/ZkFold/Prelude.hs b/src/ZkFold/Prelude.hs → symbolic-base/src/ZkFold/Prelude.hs
diff --git a/...kFold/Symbolic/Algorithms/Hash/Blake2b.hs → ...kFold/Symbolic/Algorithms/Hash/Blake2b.hs b/...kFold/Symbolic/Algorithms/Hash/Blake2b.hs → ...kFold/Symbolic/Algorithms/Hash/Blake2b.hs
diff --git a/...olic/Algorithms/Hash/Blake2b/Constants.hs → ...olic/Algorithms/Hash/Blake2b/Constants.hs b/...olic/Algorithms/Hash/Blake2b/Constants.hs → ...olic/Algorithms/Hash/Blake2b/Constants.hs
diff --git a/src/ZkFold/Symbolic/Algorithms/Hash/MiMC.hs → ...c/ZkFold/Symbolic/Algorithms/Hash/MiMC.hs b/src/ZkFold/Symbolic/Algorithms/Hash/MiMC.hs → ...c/ZkFold/Symbolic/Algorithms/Hash/MiMC.hs
diff --git a/...ymbolic/Algorithms/Hash/MiMC/Constants.hs → ...ymbolic/Algorithms/Hash/MiMC/Constants.hs b/...ymbolic/Algorithms/Hash/MiMC/Constants.hs → ...ymbolic/Algorithms/Hash/MiMC/Constants.hs
diff --git a/src/ZkFold/Symbolic/Algorithms/Hash/SHA2.hs → ...c/ZkFold/Symbolic/Algorithms/Hash/SHA2.hs b/src/ZkFold/Symbolic/Algorithms/Hash/SHA2.hs → ...c/ZkFold/Symbolic/Algorithms/Hash/SHA2.hs
diff --git a/...ymbolic/Algorithms/Hash/SHA2/Constants.hs → ...ymbolic/Algorithms/Hash/SHA2/Constants.hs b/...ymbolic/Algorithms/Hash/SHA2/Constants.hs → ...ymbolic/Algorithms/Hash/SHA2/Constants.hs
diff --git a/src/ZkFold/Symbolic/Class.hs → symbolic-base/src/ZkFold/Symbolic/Class.hs b/src/ZkFold/Symbolic/Class.hs → symbolic-base/src/ZkFold/Symbolic/Class.hs
diff --git a/src/ZkFold/Symbolic/Compiler.hs → ...olic-base/src/ZkFold/Symbolic/Compiler.hs b/src/ZkFold/Symbolic/Compiler.hs → ...olic-base/src/ZkFold/Symbolic/Compiler.hs
diff --git a/...ld/Symbolic/Compiler/ArithmeticCircuit.hs → ...ld/Symbolic/Compiler/ArithmeticCircuit.hs b/...ld/Symbolic/Compiler/ArithmeticCircuit.hs → ...ld/Symbolic/Compiler/ArithmeticCircuit.hs
diff --git a/...ic/Compiler/ArithmeticCircuit/Instance.hs → ...ic/Compiler/ArithmeticCircuit/Instance.hs b/...ic/Compiler/ArithmeticCircuit/Instance.hs → ...ic/Compiler/ArithmeticCircuit/Instance.hs
diff --git a/...ic/Compiler/ArithmeticCircuit/Internal.hs → ...ic/Compiler/ArithmeticCircuit/Internal.hs b/...ic/Compiler/ArithmeticCircuit/Internal.hs → ...ic/Compiler/ArithmeticCircuit/Internal.hs
diff --git a/...ymbolic/Compiler/ArithmeticCircuit/Map.hs → ...ymbolic/Compiler/ArithmeticCircuit/Map.hs b/...ymbolic/Compiler/ArithmeticCircuit/Map.hs → ...ymbolic/Compiler/ArithmeticCircuit/Map.hs
diff --git a/.../Compiler/ArithmeticCircuit/MerkleHash.hs → .../Compiler/ArithmeticCircuit/MerkleHash.hs b/.../Compiler/ArithmeticCircuit/MerkleHash.hs → .../Compiler/ArithmeticCircuit/MerkleHash.hs
diff --git a/src/ZkFold/Symbolic/Data/Bool.hs → ...lic-base/src/ZkFold/Symbolic/Data/Bool.hs b/src/ZkFold/Symbolic/Data/Bool.hs → ...lic-base/src/ZkFold/Symbolic/Data/Bool.hs
diff --git a/src/ZkFold/Symbolic/Data/ByteString.hs → ...se/src/ZkFold/Symbolic/Data/ByteString.hs b/src/ZkFold/Symbolic/Data/ByteString.hs → ...se/src/ZkFold/Symbolic/Data/ByteString.hs
diff --git a/src/ZkFold/Symbolic/Data/Class.hs → ...ic-base/src/ZkFold/Symbolic/Data/Class.hs b/src/ZkFold/Symbolic/Data/Class.hs → ...ic-base/src/ZkFold/Symbolic/Data/Class.hs
diff --git a/src/ZkFold/Symbolic/Data/Combinators.hs → ...e/src/ZkFold/Symbolic/Data/Combinators.hs b/src/ZkFold/Symbolic/Data/Combinators.hs → ...e/src/ZkFold/Symbolic/Data/Combinators.hs
diff --git a/src/ZkFold/Symbolic/Data/Conditional.hs → ...e/src/ZkFold/Symbolic/Data/Conditional.hs b/src/ZkFold/Symbolic/Data/Conditional.hs → ...e/src/ZkFold/Symbolic/Data/Conditional.hs
diff --git a/src/ZkFold/Symbolic/Data/DiscreteField.hs → ...src/ZkFold/Symbolic/Data/DiscreteField.hs b/src/ZkFold/Symbolic/Data/DiscreteField.hs → ...src/ZkFold/Symbolic/Data/DiscreteField.hs
diff --git a/src/ZkFold/Symbolic/Data/Ed25519.hs → ...-base/src/ZkFold/Symbolic/Data/Ed25519.hs b/src/ZkFold/Symbolic/Data/Ed25519.hs → ...-base/src/ZkFold/Symbolic/Data/Ed25519.hs
diff --git a/src/ZkFold/Symbolic/Data/Eq.hs → symbolic-base/src/ZkFold/Symbolic/Data/Eq.hs b/src/ZkFold/Symbolic/Data/Eq.hs → symbolic-base/src/ZkFold/Symbolic/Data/Eq.hs
diff --git a/src/ZkFold/Symbolic/Data/Eq/Structural.hs → ...src/ZkFold/Symbolic/Data/Eq/Structural.hs b/src/ZkFold/Symbolic/Data/Eq/Structural.hs → ...src/ZkFold/Symbolic/Data/Eq/Structural.hs
diff --git a/src/ZkFold/Symbolic/Data/FFA.hs → ...olic-base/src/ZkFold/Symbolic/Data/FFA.hs b/src/ZkFold/Symbolic/Data/FFA.hs → ...olic-base/src/ZkFold/Symbolic/Data/FFA.hs
diff --git a/src/ZkFold/Symbolic/Data/FieldElement.hs → .../src/ZkFold/Symbolic/Data/FieldElement.hs b/src/ZkFold/Symbolic/Data/FieldElement.hs → .../src/ZkFold/Symbolic/Data/FieldElement.hs
diff --git a/src/ZkFold/Symbolic/Data/List.hs → ...lic-base/src/ZkFold/Symbolic/Data/List.hs b/src/ZkFold/Symbolic/Data/List.hs → ...lic-base/src/ZkFold/Symbolic/Data/List.hs
diff --git a/src/ZkFold/Symbolic/Data/Maybe.hs → ...ic-base/src/ZkFold/Symbolic/Data/Maybe.hs b/src/ZkFold/Symbolic/Data/Maybe.hs → ...ic-base/src/ZkFold/Symbolic/Data/Maybe.hs
diff --git a/src/ZkFold/Symbolic/Data/Ord.hs → ...olic-base/src/ZkFold/Symbolic/Data/Ord.hs b/src/ZkFold/Symbolic/Data/Ord.hs → ...olic-base/src/ZkFold/Symbolic/Data/Ord.hs
diff --git a/src/ZkFold/Symbolic/Data/UInt.hs → ...lic-base/src/ZkFold/Symbolic/Data/UInt.hs b/src/ZkFold/Symbolic/Data/UInt.hs → ...lic-base/src/ZkFold/Symbolic/Data/UInt.hs
diff --git a/src/ZkFold/Symbolic/Data/UTCTime.hs → ...-base/src/ZkFold/Symbolic/Data/UTCTime.hs b/src/ZkFold/Symbolic/Data/UTCTime.hs → ...-base/src/ZkFold/Symbolic/Data/UTCTime.hs
diff --git a/src/ZkFold/Symbolic/Interpreter.hs → ...c-base/src/ZkFold/Symbolic/Interpreter.hs b/src/ZkFold/Symbolic/Interpreter.hs → ...c-base/src/ZkFold/Symbolic/Interpreter.hs
diff --git a/src/ZkFold/Symbolic/MonadCircuit.hs → ...-base/src/ZkFold/Symbolic/MonadCircuit.hs b/src/ZkFold/Symbolic/MonadCircuit.hs → ...-base/src/ZkFold/Symbolic/MonadCircuit.hs
diff --git a/zkfold-base.cabal → symbolic-base/symbolic-base.cabal b/zkfold-base.cabal → symbolic-base/symbolic-base.cabal
@@ -1,22 +1,22 @@
 cabal-version:      3.0
 
-name:               zkfold-base
+name:               symbolic-base
 version:            0.1.0.0
-tested-with:        GHC ==9.6.4
+tested-with:        GHC == 9.6.3
 synopsis:           ZkFold Symbolic compiler and zero-knowledge proof protocols
 homepage:           https://zkfold.io/
 category:           Cryptography, DSL, Math, Symbolic Computation
-author:             Vladimir Sinyakov, Pavel Sokolov, Murat Kasimov, Vladimir Morozov, Eitan Chatav, Ilya Baryshnikov
+author:             Vladimir Sinyakov, Pavel Sokolov, Vladimir Morozov, Eitan Chatav, Ilya Baryshnikov, Anna Hovanskaya, Evgenii Samodelov, Murat Kasimov, Maxim Churilov
 maintainer:         [email protected]
 license:            MIT
 license-file:       LICENSE
 build-type:         Simple
 Data-Files:
-    tests/data/shabittestvectors/*.rsp
+    test/data/shabittestvectors/*.rsp
 
 description:
-  This package contains the base library for the ZkFold project. It includes zkFold Symbolic compiler and a number of zero knowledge proof protocols.
-  The compiler translates a subset of Haskell into arithmetic circuits, which can be used to generate zero knowledge proofs.
+  This package contains the zkFold Symbolic framework base library. It includes the zkFold Symbolic compiler and a number of zero knowledge proof protocols.
+  The compiler translates code written using the zkFold Symbolic framework into arithmetic circuits. The zero knowledge proof protocols are used to verify statements about the circuits.
 
 Flag Pedantic
     Description: Enable pedantic build with -Werror
@@ -35,6 +35,7 @@ common options
       -Wnoncanonical-monad-instances
       -Wpartial-fields
       -Wredundant-constraints
+      -Wunused-packages
       -O2
       -threaded
     if flag(pedantic)
@@ -166,24 +167,6 @@ library
       ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants
       ZkFold.Symbolic.Algorithms.Hash.SHA2
       ZkFold.Symbolic.Algorithms.Hash.SHA2.Constants
-      ZkFold.Symbolic.Cardano.Wrapper
-      ZkFold.Symbolic.Cardano.Contracts.BatchTransfer
-      ZkFold.Symbolic.Cardano.Contracts.RandomOracle
-      ZkFold.Symbolic.Cardano.Types
-      ZkFold.Symbolic.Cardano.Types.Address
-      ZkFold.Symbolic.Cardano.Types.Basic
-      ZkFold.Symbolic.Cardano.Types.Input
-      ZkFold.Symbolic.Cardano.Types.Output
-      ZkFold.Symbolic.Cardano.Types.Output.Datum
-      ZkFold.Symbolic.Cardano.Types.OutputRef
-      ZkFold.Symbolic.Cardano.Types.Transaction
-      ZkFold.Symbolic.Cardano.Types.Value
-      ZkFold.Symbolic.Cardano.UPLC
-      ZkFold.Symbolic.Cardano.UPLC.Builtins
-      ZkFold.Symbolic.Cardano.UPLC.Inference
-      ZkFold.Symbolic.Cardano.UPLC.Inference.Internal
-      ZkFold.Symbolic.Cardano.UPLC.Term
-      ZkFold.Symbolic.Cardano.UPLC.Type
       ZkFold.Symbolic.Class
       ZkFold.Symbolic.Compiler
       ZkFold.Symbolic.Compiler.ArithmeticCircuit
@@ -208,25 +191,6 @@ library
       ZkFold.Symbolic.Data.UTCTime
       ZkFold.Symbolic.Data.FieldElement
       ZkFold.Symbolic.Interpreter
-      ZkFold.Symbolic.Ledger.Types
-      ZkFold.Symbolic.Ledger.Types.Address
-      ZkFold.Symbolic.Ledger.Types.Basic
-      ZkFold.Symbolic.Ledger.Types.Bridge
-      ZkFold.Symbolic.Ledger.Types.Contract
-      ZkFold.Symbolic.Ledger.Types.Hash
-      ZkFold.Symbolic.Ledger.Types.Input
-      ZkFold.Symbolic.Ledger.Types.Output
-      ZkFold.Symbolic.Ledger.Types.OutputRef
-      ZkFold.Symbolic.Ledger.Types.Transaction
-      ZkFold.Symbolic.Ledger.Types.Update
-      ZkFold.Symbolic.Ledger.Types.Value
-      ZkFold.Symbolic.Ledger.Validation.Bridge
-      ZkFold.Symbolic.Ledger.Validation.Contract
-      ZkFold.Symbolic.Ledger.Validation.Common
-      ZkFold.Symbolic.Ledger.Validation.PrivateInput
-      ZkFold.Symbolic.Ledger.Validation.PublicInput
-      ZkFold.Symbolic.Ledger.Validation.Transaction
-      ZkFold.Symbolic.Ledger.Validation.Update
       ZkFold.Symbolic.MonadCircuit
     build-depends:
       base                          >= 4.9 && < 5,
@@ -244,7 +208,6 @@ library
       lens                                       ,
       mtl                                   < 2.4,
       optics                                < 0.5,
-      parallel                          < 3.2.3.0,
       pretty-simple                         < 4.2,
       QuickCheck                           < 2.15,
       random                                < 1.3,
@@ -254,38 +217,14 @@ library
       -- TODO: remove `swagger2` after moving the related code to `zkfold-prover`
       swagger2                                   ,
       text                                       ,
-      tfp                                   < 1.1,
       these                                 < 1.3,
       type-errors                         < 0.2.1,
       vector                               < 0.14,
       vector-binary-instances               < 0.3,
       vector-split                          < 1.1,
     hs-source-dirs: src
 
-library zkfold-symbolic-examples
-    import: options
-    exposed-modules:
-      ZkFold.Symbolic.Examples
-    other-modules:
-      Examples.BatchTransfer
-      Examples.ByteString
-      Examples.Conditional
-      Examples.Constant
-      Examples.Eq
-      Examples.FFA
-      Examples.Fibonacci
-      Examples.LEQ
-      Examples.MiMCHash
-      Examples.ReverseList
-      Examples.UInt
-    build-depends:
-      base,
-      containers,
-      deepseq,
-      zkfold-base,
-    hs-source-dirs: examples
-
-test-suite zkfold-base-test
+test-suite symbolic-base-test
     import: options-exe
     type: exitcode-stdio-1.0
     ghc-options: 
@@ -322,20 +261,19 @@ test-suite zkfold-base-test
       bytestring                                 ,
       blake2                                     ,
       containers                                 ,
-      deepseq                                    ,
       containers                                 ,
       directory                        <= 1.3.8.4,
       filepath                         <= 1.5.2.0,
       hspec                                < 2.12,
       QuickCheck                                 ,
       regex-tdfa                       <= 1.3.2.2,
       split                               < 0.2.6,
+      symbolic-base                              ,
       vector                                     ,
       vector-algorithms                          ,
-      zkfold-base                                ,
-    hs-source-dirs: tests
+    hs-source-dirs: test
 
-benchmark polynomial-multiplication
+benchmark bench-poly-mul
     import:           options-exe
     main-is:          BenchPolyMul.hs
     hs-source-dirs:   bench
@@ -344,29 +282,8 @@ benchmark polynomial-multiplication
       -O3
     build-depends:
       base,
-      array,
       deepseq,
       random,
+      symbolic-base,
       tasty-bench,
       vector,
-      zkfold-base
-
-benchmark compiler-benchmark
-    import:           options-exe
-    main-is:          BenchCompiler.hs
-    hs-source-dirs:   bench
-    type:             exitcode-stdio-1.0
-    ghc-options:
-      -fprof-auto
-      -fprof-cafs
-      -O3
-    build-depends:
-      adjunctions,
-      base,
-      bytestring,
-      containers,
-      deepseq,
-      tasty-bench,
-      tasty-golden,
-      zkfold-base,
-      zkfold-symbolic-examples
diff --git a/tests/Main.hs → symbolic-base/test/Main.hs b/tests/Main.hs → symbolic-base/test/Main.hs
diff --git a/tests/Tests/ArithmeticCircuit.hs → ...olic-base/test/Tests/ArithmeticCircuit.hs b/tests/Tests/ArithmeticCircuit.hs → ...olic-base/test/Tests/ArithmeticCircuit.hs
diff --git a/tests/Tests/Arithmetization.hs → symbolic-base/test/Tests/Arithmetization.hs b/tests/Tests/Arithmetization.hs → symbolic-base/test/Tests/Arithmetization.hs
diff --git a/tests/Tests/Arithmetization/Test1.hs → ...-base/test/Tests/Arithmetization/Test1.hs b/tests/Tests/Arithmetization/Test1.hs → ...-base/test/Tests/Arithmetization/Test1.hs
diff --git a/tests/Tests/Arithmetization/Test2.hs → ...-base/test/Tests/Arithmetization/Test2.hs b/tests/Tests/Arithmetization/Test2.hs → ...-base/test/Tests/Arithmetization/Test2.hs
diff --git a/tests/Tests/Arithmetization/Test3.hs → ...-base/test/Tests/Arithmetization/Test3.hs b/tests/Tests/Arithmetization/Test3.hs → ...-base/test/Tests/Arithmetization/Test3.hs
diff --git a/tests/Tests/Arithmetization/Test4.hs → ...-base/test/Tests/Arithmetization/Test4.hs b/tests/Tests/Arithmetization/Test4.hs → ...-base/test/Tests/Arithmetization/Test4.hs
diff --git a/tests/Tests/Binary.hs → symbolic-base/test/Tests/Binary.hs b/tests/Tests/Binary.hs → symbolic-base/test/Tests/Binary.hs
diff --git a/tests/Tests/Blake2b.hs → symbolic-base/test/Tests/Blake2b.hs b/tests/Tests/Blake2b.hs → symbolic-base/test/Tests/Blake2b.hs
diff --git a/tests/Tests/ByteString.hs → symbolic-base/test/Tests/ByteString.hs b/tests/Tests/ByteString.hs → symbolic-base/test/Tests/ByteString.hs
diff --git a/tests/Tests/FFA.hs → symbolic-base/test/Tests/FFA.hs b/tests/Tests/FFA.hs → symbolic-base/test/Tests/FFA.hs
diff --git a/tests/Tests/Field.hs → symbolic-base/test/Tests/Field.hs b/tests/Tests/Field.hs → symbolic-base/test/Tests/Field.hs
diff --git a/tests/Tests/GroebnerBasis.hs → symbolic-base/test/Tests/GroebnerBasis.hs b/tests/Tests/GroebnerBasis.hs → symbolic-base/test/Tests/GroebnerBasis.hs
diff --git a/tests/Tests/Group.hs → symbolic-base/test/Tests/Group.hs b/tests/Tests/Group.hs → symbolic-base/test/Tests/Group.hs
diff --git a/tests/Tests/NonInteractiveProof.hs → ...ic-base/test/Tests/NonInteractiveProof.hs b/tests/Tests/NonInteractiveProof.hs → ...ic-base/test/Tests/NonInteractiveProof.hs
diff --git a/tests/Tests/Pairing.hs → symbolic-base/test/Tests/Pairing.hs b/tests/Tests/Pairing.hs → symbolic-base/test/Tests/Pairing.hs
diff --git a/tests/Tests/Permutations.hs → symbolic-base/test/Tests/Permutations.hs b/tests/Tests/Permutations.hs → symbolic-base/test/Tests/Permutations.hs
diff --git a/tests/Tests/Plonkup.hs → symbolic-base/test/Tests/Plonkup.hs b/tests/Tests/Plonkup.hs → symbolic-base/test/Tests/Plonkup.hs
diff --git a/tests/Tests/Protostar.hs → symbolic-base/test/Tests/Protostar.hs b/tests/Tests/Protostar.hs → symbolic-base/test/Tests/Protostar.hs
diff --git a/tests/Tests/SHA2.hs → symbolic-base/test/Tests/SHA2.hs b/tests/Tests/SHA2.hs → symbolic-base/test/Tests/SHA2.hs
@@ -42,7 +42,7 @@ import           ZkFold.Symbolic.Interpreter                 (Interpreter (Inter
 -- https://csrc.nist.gov/Projects/Cryptographic-Algorithm-Validation-Program/Secure-Hashing#shavs
 --
 dataDir :: FilePath
-dataDir = "tests/data/shabittestvectors/"
+dataDir = "test/data/shabittestvectors/"
 
 getTestFiles :: forall (algorithm :: Symbol) . KnownSymbol algorithm => IO [FilePath]
 getTestFiles = Haskell.filter isAlgoFile <$> listDirectory dataDir

diff --git a/tests/Tests/UInt.hs → symbolic-base/test/Tests/UInt.hs b/tests/Tests/UInt.hs → symbolic-base/test/Tests/UInt.hs
diff --git a/tests/Tests/Univariate.hs → symbolic-base/test/Tests/Univariate.hs b/tests/Tests/Univariate.hs → symbolic-base/test/Tests/Univariate.hs
diff --git a/tests/Tests/Univariate/Poly.hs → symbolic-base/test/Tests/Univariate/Poly.hs b/tests/Tests/Univariate/Poly.hs → symbolic-base/test/Tests/Univariate/Poly.hs
diff --git a/tests/Tests/Univariate/PolyVec.hs → ...lic-base/test/Tests/Univariate/PolyVec.hs b/tests/Tests/Univariate/PolyVec.hs → ...lic-base/test/Tests/Univariate/PolyVec.hs
diff --git a/.../data/shabittestvectors/SHA224LongMsg.rsp → .../data/shabittestvectors/SHA224LongMsg.rsp b/.../data/shabittestvectors/SHA224LongMsg.rsp → .../data/shabittestvectors/SHA224LongMsg.rsp
diff --git a/...data/shabittestvectors/SHA224ShortMsg.rsp → ...data/shabittestvectors/SHA224ShortMsg.rsp b/...data/shabittestvectors/SHA224ShortMsg.rsp → ...data/shabittestvectors/SHA224ShortMsg.rsp
diff --git a/.../data/shabittestvectors/SHA256LongMsg.rsp → .../data/shabittestvectors/SHA256LongMsg.rsp b/.../data/shabittestvectors/SHA256LongMsg.rsp → .../data/shabittestvectors/SHA256LongMsg.rsp
diff --git a/...data/shabittestvectors/SHA256ShortMsg.rsp → ...data/shabittestvectors/SHA256ShortMsg.rsp b/...data/shabittestvectors/SHA256ShortMsg.rsp → ...data/shabittestvectors/SHA256ShortMsg.rsp
diff --git a/.../data/shabittestvectors/SHA384LongMsg.rsp → .../data/shabittestvectors/SHA384LongMsg.rsp b/.../data/shabittestvectors/SHA384LongMsg.rsp → .../data/shabittestvectors/SHA384LongMsg.rsp
diff --git a/...data/shabittestvectors/SHA384ShortMsg.rsp → ...data/shabittestvectors/SHA384ShortMsg.rsp b/...data/shabittestvectors/SHA384ShortMsg.rsp → ...data/shabittestvectors/SHA384ShortMsg.rsp
diff --git a/.../data/shabittestvectors/SHA512LongMsg.rsp → .../data/shabittestvectors/SHA512LongMsg.rsp b/.../data/shabittestvectors/SHA512LongMsg.rsp → .../data/shabittestvectors/SHA512LongMsg.rsp
diff --git a/...data/shabittestvectors/SHA512ShortMsg.rsp → ...data/shabittestvectors/SHA512ShortMsg.rsp b/...data/shabittestvectors/SHA512ShortMsg.rsp → ...data/shabittestvectors/SHA512ShortMsg.rsp
diff --git a/...a/shabittestvectors/SHA512_224LongMsg.rsp → ...a/shabittestvectors/SHA512_224LongMsg.rsp b/...a/shabittestvectors/SHA512_224LongMsg.rsp → ...a/shabittestvectors/SHA512_224LongMsg.rsp
diff --git a/.../shabittestvectors/SHA512_224ShortMsg.rsp → .../shabittestvectors/SHA512_224ShortMsg.rsp b/.../shabittestvectors/SHA512_224ShortMsg.rsp → .../shabittestvectors/SHA512_224ShortMsg.rsp
diff --git a/...a/shabittestvectors/SHA512_256LongMsg.rsp → ...a/shabittestvectors/SHA512_256LongMsg.rsp b/...a/shabittestvectors/SHA512_256LongMsg.rsp → ...a/shabittestvectors/SHA512_256LongMsg.rsp
diff --git a/.../shabittestvectors/SHA512_256ShortMsg.rsp → .../shabittestvectors/SHA512_256ShortMsg.rsp b/.../shabittestvectors/SHA512_256ShortMsg.rsp → .../shabittestvectors/SHA512_256ShortMsg.rsp
diff --git a/symbolic-cardano/LICENSE b/symbolic-cardano/LICENSE
@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 zkFold SA
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
diff --git a/symbolic-cardano/README.md b/symbolic-cardano/README.md
@@ -0,0 +1,2 @@
+# zkFold Symbolic Cardano package
+This package contains the library for integration of the zkFold Symbolic framework with the Cardano blockchain. It provides the types and functions for verifying statements about Cardano transactions.
diff --git a/symbolic-cardano/hie.yaml b/symbolic-cardano/hie.yaml
@@ -0,0 +1,4 @@
+cradle:
+  cabal:
+    - path: "./src"
+      component: "lib:symbolic-cardano"
diff --git a/...mbolic/Cardano/Contracts/BatchTransfer.hs → ...mbolic/Cardano/Contracts/BatchTransfer.hs b/...mbolic/Cardano/Contracts/BatchTransfer.hs → ...mbolic/Cardano/Contracts/BatchTransfer.hs
diff --git a/...ymbolic/Cardano/Contracts/RandomOracle.hs → ...ymbolic/Cardano/Contracts/RandomOracle.hs b/...ymbolic/Cardano/Contracts/RandomOracle.hs → ...ymbolic/Cardano/Contracts/RandomOracle.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Types.hs → ...dano/src/ZkFold/Symbolic/Cardano/Types.hs b/src/ZkFold/Symbolic/Cardano/Types.hs → ...dano/src/ZkFold/Symbolic/Cardano/Types.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Types/Address.hs → .../ZkFold/Symbolic/Cardano/Types/Address.hs b/src/ZkFold/Symbolic/Cardano/Types/Address.hs → .../ZkFold/Symbolic/Cardano/Types/Address.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Types/Basic.hs → ...rc/ZkFold/Symbolic/Cardano/Types/Basic.hs b/src/ZkFold/Symbolic/Cardano/Types/Basic.hs → ...rc/ZkFold/Symbolic/Cardano/Types/Basic.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Types/Input.hs → ...rc/ZkFold/Symbolic/Cardano/Types/Input.hs b/src/ZkFold/Symbolic/Cardano/Types/Input.hs → ...rc/ZkFold/Symbolic/Cardano/Types/Input.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Types/Output.hs → ...c/ZkFold/Symbolic/Cardano/Types/Output.hs b/src/ZkFold/Symbolic/Cardano/Types/Output.hs → ...c/ZkFold/Symbolic/Cardano/Types/Output.hs
diff --git a/...ld/Symbolic/Cardano/Types/Output/Datum.hs → ...ld/Symbolic/Cardano/Types/Output/Datum.hs b/...ld/Symbolic/Cardano/Types/Output/Datum.hs → ...ld/Symbolic/Cardano/Types/Output/Datum.hs
diff --git a/...kFold/Symbolic/Cardano/Types/OutputRef.hs → ...kFold/Symbolic/Cardano/Types/OutputRef.hs b/...kFold/Symbolic/Cardano/Types/OutputRef.hs → ...kFold/Symbolic/Cardano/Types/OutputRef.hs
diff --git a/...old/Symbolic/Cardano/Types/Transaction.hs → ...old/Symbolic/Cardano/Types/Transaction.hs b/...old/Symbolic/Cardano/Types/Transaction.hs → ...old/Symbolic/Cardano/Types/Transaction.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Types/Value.hs → ...rc/ZkFold/Symbolic/Cardano/Types/Value.hs b/src/ZkFold/Symbolic/Cardano/Types/Value.hs → ...rc/ZkFold/Symbolic/Cardano/Types/Value.hs
diff --git a/src/ZkFold/Symbolic/Cardano/UPLC.hs → ...rdano/src/ZkFold/Symbolic/Cardano/UPLC.hs b/src/ZkFold/Symbolic/Cardano/UPLC.hs → ...rdano/src/ZkFold/Symbolic/Cardano/UPLC.hs
diff --git a/src/ZkFold/Symbolic/Cardano/UPLC/Builtins.hs → .../ZkFold/Symbolic/Cardano/UPLC/Builtins.hs b/src/ZkFold/Symbolic/Cardano/UPLC/Builtins.hs → .../ZkFold/Symbolic/Cardano/UPLC/Builtins.hs
diff --git a/...ZkFold/Symbolic/Cardano/UPLC/Inference.hs → ...ZkFold/Symbolic/Cardano/UPLC/Inference.hs b/...ZkFold/Symbolic/Cardano/UPLC/Inference.hs → ...ZkFold/Symbolic/Cardano/UPLC/Inference.hs
diff --git a/...mbolic/Cardano/UPLC/Inference/Internal.hs → ...mbolic/Cardano/UPLC/Inference/Internal.hs b/...mbolic/Cardano/UPLC/Inference/Internal.hs → ...mbolic/Cardano/UPLC/Inference/Internal.hs
diff --git a/src/ZkFold/Symbolic/Cardano/UPLC/Term.hs → .../src/ZkFold/Symbolic/Cardano/UPLC/Term.hs b/src/ZkFold/Symbolic/Cardano/UPLC/Term.hs → .../src/ZkFold/Symbolic/Cardano/UPLC/Term.hs
diff --git a/src/ZkFold/Symbolic/Cardano/UPLC/Type.hs → .../src/ZkFold/Symbolic/Cardano/UPLC/Type.hs b/src/ZkFold/Symbolic/Cardano/UPLC/Type.hs → .../src/ZkFold/Symbolic/Cardano/UPLC/Type.hs
diff --git a/src/ZkFold/Symbolic/Cardano/Wrapper.hs → ...no/src/ZkFold/Symbolic/Cardano/Wrapper.hs b/src/ZkFold/Symbolic/Cardano/Wrapper.hs → ...no/src/ZkFold/Symbolic/Cardano/Wrapper.hs
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# zkFold Symbolic Base package
		This package contains the zkFold Symbolic framework base library. It includes the zkFold Symbolic compiler and a number of zero knowledge proof protocols. The compiler translates code written using the zkFold Symbolic framework into arithmetic circuits. The zero knowledge proof protocols are used to verify statements about the circuits.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# zkFold Symbolic Cardano package
		This package contains the library for integration of the zkFold Symbolic framework with the Cardano blockchain. It provides the types and functions for verifying statements about Cardano transactions.