initial commit

Author: zkzoomer

.github/workflows/cargo.yml

@@ -0,0 +1,59 @@
+name: Cargo
+
+on:
+  push:
+    branches: [ main, master ]
+  pull_request:
+    branches: [ main, master ]
+
+# Make sure CI fails on all warnings
+env:
+  RUSTFLAGS: "-Dwarnings"
+
+jobs:
+  check:
+    name: Check
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+          override: true
+          components: rustfmt, clippy
+
+      - name: Check formatting
+        uses: actions-rs/cargo@v1
+        with:
+          command: fmt
+          args: --all -- --check
+
+      - name: Run clippy
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+
+      - name: Build (default features)
+        uses: actions-rs/cargo@v1
+        with:
+          command: build
+          args: --verbose
+
+      - name: Build (append-only feature)
+        uses: actions-rs/cargo@v1
+        with:
+          command: build
+          args: --verbose --features append-only
+
+      - name: Run tests (default features)
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --verbose
+
+      - name: Run tests (append-only feature)
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: --verbose --features append-only

.gitignore

@@ -0,0 +1 @@
+/target

Cargo.lock

@@ -0,0 +1,14 @@
+[package]
+name = "lean-imt"
+version = "0.1.0"
+edition = "2021"
+
+[features]
+append-only = [] # Append-only tree operations. Recommended for zkVM programs.
+
+[dependencies]
+serde = { version = "1.0.218", features = ["derive"] }
+
+[dev-dependencies]
+rand = "0.8.5"
+sha2 = "0.10.8"

Cargo.toml

@@ -0,0 +1,5 @@
+# LeanIMT
+
+A [lean incremental Merkle tree](https://hackmd.io/@vplasencia/S1whLBN16) is a Merkle tree designed to be updated efficiently by minimizing the number of hash calculations. Such construction is useful both for onchain applications and zkVMs, where hash functions can be quite expensive to prove.
+
+This library contains a binary lean incremental Merkle tree implementation in Rust, based on [Semaphore's implementation](https://github.com/privacy-scaling-explorations/zk-kit/blob/main/packages/lean-imt/src/lean-imt.ts). The library is designed to be used both inside and outside zkVM programs.

README.md

@@ -0,0 +1,3 @@
+mod proof;
+
+pub use proof::*;