feat: partial sha256 & Noir beta 11

Author: olehmisar

.github/workflows/test.yml

@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        toolchain: [1.0.0-beta.4, 1.0.0-beta.10]
+        toolchain: [1.0.0-beta.11]
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4
@@ -34,7 +34,7 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/[email protected]
         with:
-          toolchain: 1.0.0-beta.10
+          toolchain: 1.0.0-beta.11
 
       - name: Run formatter
         run: nargo fmt --check

Nargo.toml

@@ -8,6 +8,6 @@ keywords = ["Noir", "nodash", "util", "hash"]
 
 
 [dependencies]
-sha256 = { tag = "v0.1.4", git = "https://github.com/noir-lang/sha256" }
+sha256 = { tag = "v0.2.1", git = "https://github.com/noir-lang/sha256" }
 keccak256 = { tag = "v0.1.1", git = "https://github.com/noir-lang/keccak256" }
 poseidon = { tag = "v0.1.1", git = "https://github.com/noir-lang/poseidon" }

README.md

@@ -7,7 +7,7 @@ Nodash is a utility library for [Noir](https://github.com/noir-lang/noir) langua
 Put this into your Nargo.toml.
 
 ```toml
-nodash = { git = "https://github.com/olehmisar/nodash/", tag = "v0.41.3" }
+nodash = { git = "https://github.com/olehmisar/nodash/", tag = "v0.42.0" }
 ```
 
 ## Docs
@@ -93,6 +93,10 @@ let hash = keccak256([10, 20]);
 let hash = keccak256(BoundedVec::from_parts([10, 20, 0], 2));
 ```
 
+#### Partial SHA256
+
+Similar to partial [`sha256`](https://github.com/noir-lang/sha256) but supports `BoundedVec<u8, N>` and `[u8; N]` as input.
+
 ### `solidity::encode_with_selector`
 
 Equivalent to `abi.encodeWithSelector` in Solidity.

src/hash.nr

@@ -13,6 +13,28 @@ pub fn sha256<let N: u32>(input: impl ArrayOrBoundedVec<u8, N>) -> [u8; 32] {
     dep::sha256::sha256_var(input.storage(), input.len() as u64)
 }
 
+pub fn partial_sha256_interstitial<let N: u32>(
+    mut h: [u32; 8],
+    input: impl ArrayOrBoundedVec<u8, N>,
+) -> [u32; 8] {
+    let input = input.as_bounded_vec();
+    dep::sha256::partial_sha256_var_interstitial(h, input.storage(), input.len())
+}
+
+pub fn partial_sha256_end<let N: u32>(
+    mut h: [u32; 8],
+    partial_input: impl ArrayOrBoundedVec<u8, N>,
+    full_input_len: u32,
+) -> [u8; 32] {
+    let partial_input = partial_input.as_bounded_vec();
+    dep::sha256::partial_sha256_var_end(
+        h,
+        partial_input.storage(),
+        partial_input.len(),
+        full_input_len,
+    )
+}
+
 pub fn keccak256<let N: u32>(input: impl ArrayOrBoundedVec<u8, N>) -> [u8; 32] {
     let input = input.as_bounded_vec();
     dep::keccak256::keccak256(input.storage(), input.len())