fix: Fix packaging the library and enable wasmopt (#3)

Author: popzxc

.gitmodules

@@ -1,3 +1,3 @@
 [submodule "zksync-os"]
 	path = zksync-os
-	url = git@github.com:matter-labs/zksync-os.git
+	url = https://github.com/matter-labs/zksync-os.git

Cargo.lock

@@ -25,7 +25,7 @@
     }
   },
   "scripts": {
-    "build:wasm": "cd ../wasm && RUST_MIN_STACK=267108864 wasm-pack build --target web --out-dir ../ts/wasm/pkg",
+    "build:wasm": "cd ../wasm && ./build_for_ts.sh",
     "build:ts": "tsup",
     "build": "yarn build:wasm && yarn build:ts",
     "prepack": "yarn build"

proof_verifier_js/ts/package.json

@@ -4,8 +4,9 @@ version = "0.1.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 
-[package.metadata.wasm-pack.profile.release]
-wasm-opt = false
+# Disabling `wasm-opt` makes the build faster, but the resulting wasm file is much larger.
+# [package.metadata.wasm-pack.profile.release]
+# wasm-opt = false
 
 [lib]
 crate-type = ["cdylib"]
@@ -19,11 +20,11 @@ serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 wasm-bindgen = "0.2"
 
-full_statement_verifier = { git = "https://github.com/matter-labs/zksync-airbender", branch = "popzxc-optimize-builds", default-features = false, features = ["unified_verifier_only_security_80"] }
-verifier_common = { git = "https://github.com/matter-labs/zksync-airbender", branch = "popzxc-optimize-builds", default-features = false, features = ["proof_utils"] }
-prover = { git = "https://github.com/matter-labs/zksync-airbender", branch = "popzxc-optimize-builds", default-features = false, features = ["definitions_only"] }
-cs = { git = "https://github.com/matter-labs/zksync-airbender", branch = "popzxc-optimize-builds", default-features = false, features = ["compiler"] }
-field = { git = "https://github.com/matter-labs/zksync-airbender", branch = "popzxc-optimize-builds", default-features = false, features = ["no_inline"] }
+full_statement_verifier = { git = "https://github.com/matter-labs/zksync-airbender", branch = "dev", default-features = false, features = ["unified_verifier_only_security_80"] }
+verifier_common = { git = "https://github.com/matter-labs/zksync-airbender", branch = "dev", default-features = false, features = ["proof_utils"] }
+prover = { git = "https://github.com/matter-labs/zksync-airbender", branch = "dev", default-features = false, features = ["definitions_only"] }
+cs = { git = "https://github.com/matter-labs/zksync-airbender", branch = "dev", default-features = false, features = ["compiler"] }
+field = { git = "https://github.com/matter-labs/zksync-airbender", branch = "dev", default-features = false, features = ["no_inline"] }
 
 # full_statement_verifier = { path = "../../../zksync-airbender/full_statement_verifier", default-features = false, features = ["unified_verifier_only_security_80"] }
 # verifier_common = { path = "../../../zksync-airbender/verifier_common", default-features = false, features = ["proof_utils"] }

proof_verifier_js/wasm/Cargo.toml

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+set -e
+
+RUST_MIN_STACK=267108864 wasm-pack build --target web --out-dir ../ts/wasm/pkg
+
+# `wasm-pack` generates `.gitignore`, which prevents these files to be published to npm
+# Right now, there is no flag to omit generating this file, so we just remove it here
+# See: https://github.com/drager/wasm-pack/issues/728
+rm ../ts/wasm/pkg/.gitignore