Merge #264: Add imports functionality

8b12ac6 fix: internal error inside resolution.rs and add error tests (Sdoba16)
da1240a test: add functional tests (Sdoba16)
7df36e7 feat: add `--dep` flag and connect driver to overall execution flow, add examples (LesterEvSe)
857cc5a feat: change ast.rs to match the functionality of the driver (LesterEvSe)
fda737f fix: resolution data structure and alias architecture (LesterEvSe)
260d844 feat: add and test import aliases (LesterEvSe)
8300fe5 feat: add linearize and build functionality to the driver, fix `Error` enum a bit (LesterEvSe)
f5999f2 feat: Added linearization algorithm (Sdoba16)
056a359 feat: implement `DependencyGraph` inside `driver.rs` file and change parse trait to the `SourceFile` (LesterEvSe)
e2604f3 feat: add data structure for dependency resolution (LesterEvSe)
2064542 feat: add `SourceFile` to the `RichError` and change the `ErrorCollector` (LesterEvSe)
80ae099 feat: add import errors (LesterEvSe)
3c7d4c3 feat: implement resolution.rs utils (LesterEvSe)
7ddeed2 feat: add pub and use keywords and parse them (LesterEvSe)

Pull request description:

  ## Motivation (copied from #258)

  The main goal of this PR is to enable an analogue of the OpenZeppelin library to exist in the SimplicityHL ecosystem. By introducing official compiler support for imports, we significantly increase code reusability and speed up application development. For projects heavily focused on security, this also allows developers to eventually "flatten" the code and audit all functions without external dependencies.

  ## Checklist

  - [x] **Visibility:** Added `pub` and `pub use` to control local scope versus re-exporting.
  - [x] **Import Syntax:** Implemented parsing and resolution for `use m::name;` and explicit aliasing (`as`).
  - [x] **Collision Handling:** Enforced strict errors for local scope collisions, utilizing linearization for resolving re-export conflicts.
  - [x] **Transitive Dependencies**: Add support for libraries importing other libraries.
  - [x] **Documentation:** Сode comments are updated accordingly.
  - [x] **Quality Assurance:** Code is formatted, all tests pass, and CI shows no errors.

  Related PRs (in order of the merge): #260, #256, #265, #266, #269, #278, #279, #280, #283, #287, #284, #289

ACKs for top commit:
  KyrylR:
    ACK 8b12ac6; code review and test runs (see #260, #256, #265, #266, #269, #278, #279, #280, #283, #287, #284, #289)
  delta1:
    ACK 8b12ac6; tested locally

Tree-SHA512: bec0d7437279dd45810cd8b13b48ba3921739d8c38f61d2f61401e419b32a2f4b31328df2c5596375fe8c69cabadc3e931a639ad833fe446918d1360091a447f

Author: delta1

CHANGELOG.md

@@ -0,0 +1,16 @@
+use merkle::build_root::{get_root, hash as and_hash};
+use base_math::simple_op::hash as or_hash;
+
+pub fn get_block_value_hash(prev_hash: u32, tx1: u32, tx2: u32) -> u32 {
+    let root: u32 = get_root(tx1, tx2);
+    or_hash(prev_hash, root)
+}
+
+fn main() {
+    let block_val_hash: u32 = get_block_value_hash(5, 10, 20);
+    assert!(jet::eq_32(block_val_hash, 27));
+    
+    let first_value: u32 = 15;
+    let second_value: u32 = 22;
+    assert!(jet::eq_32(and_hash(first_value, second_value), 6));
+}

doc/architecture.md

@@ -0,0 +1,3 @@
+pub fn hash(x: u32, y: u32) -> u32 {
+    jet::xor_32(x, y)
+}

examples/multiple_deps/main.simf

@@ -0,0 +1,9 @@
+use math::simple_op::hash as temp_hash;
+
+pub fn get_root(tx1: u32, tx2: u32) -> u32 {
+    temp_hash(tx1, tx2)
+}
+
+pub fn hash(tx1: u32, tx2: u32) -> u32 {
+    jet::and_32(tx1, tx2)
+}

examples/multiple_deps/math/simple_op.simf

@@ -0,0 +1,5 @@
+pub fn sha256(data: u32) -> u256 {
+    let ctx: Ctx8 = jet::sha_256_ctx_8_init();
+    let ctx: Ctx8 = jet::sha_256_ctx_8_add_4(ctx, data);
+    jet::sha_256_ctx_8_finalize(ctx)
+}

examples/multiple_deps/merkle/build_root.simf

@@ -0,0 +1,7 @@
+use math::arithmetic::add;
+use crypto::hashes::sha256;
+
+fn main() {
+    let sum: u32 = add(2, 3);
+    let hash: u256 = sha256(sum);
+}

examples/simple_multidep/crypto/hashes.simf

@@ -0,0 +1,4 @@
+pub fn add(a: u32, b: u32) -> u32 {
+    let (_, res): (bool, u32) = jet::add_32(a, b);
+    res
+}

examples/simple_multidep/main.simf

@@ -0,0 +1,11 @@
+pub use temp::constants::utils::two as smth;
+use temp::funcs::{get_five, Smth};
+
+fn seven() -> u32 {
+    7
+}
+
+fn main() {
+    let (_, temp): (bool, u32) = jet::add_32(smth(), get_five());
+    assert!(jet::eq_32(temp, seven()));
+}

examples/simple_multidep/math/arithmetic.simf

@@ -0,0 +1,5 @@
+pub use temp::funcs::Smth;
+
+pub fn two() -> Smth {
+    2
+}