Web3review v2

Cargo.toml

@@ -1,6 +1,6 @@
 [workspace]
 resolver = "2"
-members = ["host", "methods", "verifier"]
+members = [ "./host" , "./methods",  "./verifier"]
 
 # Always optimize; building and running the guest takes much longer without optimization.
 [profile.dev]

cratePublish.sh

@@ -0,0 +1,61 @@
+#!/bin/bash
+set -e
+
+echo "assumed that cargo login is already done"
+
+function check_and_print_version() {
+  # Get the Cargo.toml path from the function argument
+  cargo_toml_path="$1"
+
+  # Check if Cargo.toml path exists
+  if [[ ! -f "$cargo_toml_path" ]]; then
+    echo "Error: Cargo.toml file not found at: $cargo_toml_path"
+    exit 1
+  fi
+
+  # Get the current version from cargo.toml (without "v" prefix)
+  current_version=$(grep -Eo 'version = \"[0-9]*\.[0-9]*\.[0-9]*\"' "$cargo_toml_path" | head -n 1 | cut -d '"' -f2)
+  if [[ -z "$current_version" ]]; then
+    echo "Error: Could not find version in $cargo_toml_path"
+    exit 1
+  fi
+
+  # Get the latest semantic version tag (without "v") from GitHub
+  latest_version=$(git tag -l --sort=-v:refname  | head -n 1 | cut -d 'v' -f2)
+
+  if [[ -z "$latest_version" ]]; then
+    echo "No semantic version tag starting with 'v' found!"
+    exit 1
+  fi
+
+  # Check for version mismatch
+  if [[ "$current_version" != "$latest_version" ]]; then
+    echo "Version mismatch!"
+    echo "  $cargo_toml_path version: $current_version"
+    echo "  Latest version from tags: $latest_version"
+    echo "  Cargo.toml path: $cargo_toml_path"
+
+      # Prompt user to update Cargo.toml version
+    read -p "Do you want to update the Cargo.toml version to $latest_version (y/N)? " answer
+    case "$answer" in
+      [Yy]*)
+        # Update Cargo.toml with the latest version (assuming you have write permissions)
+        sed -i "s/version = \"$current_version\"/version = \"$latest_version\"/" "$cargo_toml_path"
+        echo "Updated Cargo.toml version to: $latest_version"
+        ;;
+      [Nn]*)
+        echo "Skipping Cargo.toml version update."
+        ;;
+      *)
+        echo "Invalid input. Please enter 'y' or 'N'."
+        ;;
+    esac
+  fi
+}
+
+echo " > publishing verifier"
+check_and_print_version "./verifier/Cargo.toml"
+# --dry-run 
+cargo publish -p fridge-r0-verifier
+
+

docs/INSTRUCTIONS.md

@@ -63,14 +63,14 @@ Or test with docker using your local container on **Linux**:
 
 ```bash
 # optional, don't do this for first tests unless you know what you are doing
-docker  build -f DockerfileLinux. -t fridge
+docker  build -f DockerfileLinux . -t fridge
 ```
 
 On **MacOs** use: 
 
 ```bash
 # optional, don't do this for first tests unless you know what you are doing
-docker  build -f DockerfileMacOs. -t fridge
+docker  build -f DockerfileMacOs . -t fridge
 ```
 Creating **MacOS image** will take several hours and is not possible on github free tier. The script `buildPublish.sh` is used for building and publishing the image from the local Mac. 
 

host/Cargo.toml

@@ -1,11 +1,18 @@
 [package]
-name = "host"
-version = "0.1.0"
+name = "fridge-r0-client"
+version = "0.0.32"
 edition = "2021"
+license = "MIT"
+authors = ["Walter Strametz <[email protected]>"]
+description = "Hyperfridge - a client for a proofing system for EBICS/ISO20022 (banking backend) access."
+
+[[bin]]
+name = "host"
+path = "src/main.rs"
 
 [dependencies]
 # from template
-methods = { path = "../methods" }
+methods = { path = "../methods",version = "*"  }
 # Define the risc0-zkvm crate with features for testing only
 #risc0-zkvm = { version = "0.19.1", features = ["profiler", "prove", "getrandom" ] }
 risc0-zkvm = { workspace = true, features = [ "prove", "getrandom"] }
@@ -32,6 +39,7 @@ clap-markdown = "0.1"
 #metal = ["risc0-zkvm/metal"]
 
 [dependencies.sha2]
+version = "0.10.6"  # Dummy version
 git = "https://github.com/risc0/RustCrypto-hashes"
 tag = "sha2-v0.10.6-risczero.0"
 

host/README.md

@@ -0,0 +1 @@
+For documentation, see [github](https://github.com/element36-io/hyperfridge-r0/).

host/out/IMAGE_ID.hex

@@ -1 +1 @@
-cce026d9c1a561697084188f00259cb4fdcca5602225ea49ca3dd50181e3cfc5
+ba3c6520925632bd6cf86bdcc716caf9f1287beca042a2102ecbdd37d3d10354

methods/Cargo.toml

@@ -1,7 +1,10 @@
 [package]
 name = "methods"
-version = "0.1.0"
+version = "0.0.32"
 edition = "2021"
+license = "MIT"
+authors = ["Walter Strametz <[email protected]>"]
+description = "Proofing system for EBICS/ISO20022 (banking backend) access."
 
 [build-dependencies]
 risc0-build = { workspace = true }
@@ -10,5 +13,6 @@ risc0-build = { workspace = true }
 methods = ["guest"]
 
 [dependencies.sha2]
+version = "0.10.6"  # Dummy version
 git = "https://github.com/risc0/RustCrypto-hashes"
 tag = "sha2-v0.10.6-risczero.0"

methods/README.md

@@ -0,0 +1 @@
+For documentation, see [github](https://github.com/element36-io/hyperfridge-r0/).

methods/guest/Cargo.toml

@@ -1,8 +1,13 @@
 [package]
 name = "hyperfridge"
-version = "0.1.0"
+version = "0.0.32"
 edition = "2021"
 
+license = "MIT"
+authors = ["Walter Strametz <[email protected]>"]
+description = "Hyperfridge - a prover for EBICS/ISO20022 (banking backend) access."
+
+
 [workspace]
 
 [features]

methods/guest/README.md

@@ -0,0 +1 @@
+For documentation, see [github](https://github.com/element36-io/hyperfridge-r0/).

verifier/Cargo.toml

@@ -1,7 +1,14 @@
 [package]
-name = "verifier"
-version = "0.1.0"
+name = "fridge-r0-verifier"
+version = "0.0.32"
 edition = "2021"
+license = "MIT"
+authors = ["Walter Strametz <[email protected]>"]
+description = "Hyperfridge - the validator for proofing system for EBICS/ISO20022 (banking backend) access."
+
+[[bin]]
+name = "verifier"
+path = "src/main.rs"
 
 [dependencies]
 risc0-zkvm = { workspace = true }

verifier/README.md

@@ -0,0 +1 @@
+For documentation, see [github](https://github.com/element36-io/hyperfridge-r0/).