diff --git a/Cargo.lock b/Cargo.lock
index dfc431a..640464d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "adler2"
@@ -522,7 +522,7 @@ checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
 
 [[package]]
 name = "swiftness_air"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -538,7 +538,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_commitment"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "num-bigint",
@@ -555,7 +555,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_fri"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -571,7 +571,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_pow"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "serde",
@@ -585,7 +585,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_stark"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "serde",
  "serde_with 3.12.0",
@@ -602,7 +602,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_transcript"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "starknet-crypto",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 780225b..db99414 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -24,7 +24,7 @@ edition = "2021"
 license-file = "LICENSE"
 readme = "README.md"
 repository = "https://github.com/iosis-tech/swiftness"
-version = "0.1.3"
+version = "1.0.0"
 
 [workspace.dependencies]
 blake2 = { version = "0.10.6",  default-features = false }
@@ -39,9 +39,9 @@ starknet-types-core = { version = "0.1.5", default-features = false }
 thiserror = "1.0.61"
 thiserror-no-std = "2.0.2"
 
-swiftness_air = { path = "crates/air", default-features = false, version = "0.1.3" }
-swiftness_commitment = { path = "crates/commitment", default-features = false, version = "0.1.3" }
-swiftness_fri = { path = "crates/fri", default-features = false, version = "0.1.3" }
-swiftness_pow = { path = "crates/pow", default-features = false, version = "0.1.3" }
-swiftness_stark = { path = "crates/stark", default-features = false, version = "0.1.3" }
-swiftness_transcript = { path = "crates/transcript", default-features = false, version = "0.1.3" }
+swiftness_air = { path = "crates/air", default-features = false, version = "1.0.0" }
+swiftness_commitment = { path = "crates/commitment", default-features = false, version = "1.0.0" }
+swiftness_fri = { path = "crates/fri", default-features = false, version = "1.0.0" }
+swiftness_pow = { path = "crates/pow", default-features = false, version = "1.0.0" }
+swiftness_stark = { path = "crates/stark", default-features = false, version = "1.0.0" }
+swiftness_transcript = { path = "crates/transcript", default-features = false, version = "1.0.0" }
diff --git a/README.md b/README.md
index 8f1767a..f1ef48c 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 <div align="center">
 
-![Version](https://img.shields.io/badge/v0.1.3-green?style=flat-square&logo=git&logoColor=white&label=version)
+![Version](https://img.shields.io/badge/v1.0.0-green?style=flat-square&logo=git&logoColor=white&label=version)
 ![Continuous Integration](https://img.shields.io/github/actions/workflow/status/iosis-tech/swiftness/ci.yml?style=flat-square&logo=githubactions&logoColor=white&label=Continuous%20Integration)
 
 [![Crates.io Version](https://img.shields.io/crates/v/swiftness?style=flat-square&logo=lootcrate)](https://crates.io/crates/swiftness)
diff --git a/cli/Cargo.lock b/cli/Cargo.lock
index 10a58b5..c62cb29 100644
--- a/cli/Cargo.lock
+++ b/cli/Cargo.lock
@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "adler2"
@@ -702,7 +702,7 @@ checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
 
 [[package]]
 name = "swiftness"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "clap",
  "starknet-core 0.12.0",
@@ -716,7 +716,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_air"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -732,7 +732,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_commitment"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "num-bigint",
@@ -749,7 +749,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_fri"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -765,7 +765,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_pow"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "serde",
@@ -779,7 +779,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_proof_parser"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -794,7 +794,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_stark"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "serde",
  "serde_with 3.12.0",
@@ -811,7 +811,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_transcript"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "starknet-crypto",
 ]
diff --git a/cli/Cargo.toml b/cli/Cargo.toml
index 7e1bd6b..05e1efc 100644
--- a/cli/Cargo.toml
+++ b/cli/Cargo.toml
@@ -5,7 +5,7 @@ edition = "2021"
 license-file = "LICENSE"
 readme = "../README.md"
 repository = "https://github.com/iosis-tech/swiftness"
-version = "0.1.3"
+version = "1.0.0"
 
 [dependencies]
 clap = { version = "4.4.4", features = ["derive"] }
@@ -13,20 +13,20 @@ starknet-core = "0.12.0"
 
 swiftness_air = { path = "../crates/air", default-features = false, features = [
     "std",
-], version = "0.1.3" }
+], version = "1.0.0" }
 swiftness_commitment = { path = "../crates/commitment", default-features = false, features = [
     "std",
-], version = "0.1.3" }
+], version = "1.0.0" }
 swiftness_fri = { path = "../crates/fri", default-features = false, features = [
     "std",
-], version = "0.1.3" }
+], version = "1.0.0" }
 swiftness_pow = { path = "../crates/pow", default-features = false, features = [
     "std",
-], version = "0.1.3" }
+], version = "1.0.0" }
 swiftness_stark = { path = "../crates/stark", default-features = false, features = [
     "std",
-], version = "0.1.3" }
-swiftness_proof_parser = { path = "../proof_parser", version = "0.1.3" }
+], version = "1.0.0" }
+swiftness_proof_parser = { path = "../proof_parser", version = "1.0.0" }
 
 [features]
 default = ["recursive", "keccak_160_lsb", "stone5"]
diff --git a/examples/no_std_build/Cargo.lock b/examples/no_std_build/Cargo.lock
index 150f2f6..1872577 100644
--- a/examples/no_std_build/Cargo.lock
+++ b/examples/no_std_build/Cargo.lock
@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "autocfg"
@@ -252,7 +252,7 @@ checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3"
 
 [[package]]
 name = "no_std_build"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "embedded-alloc",
  "swiftness_air",
@@ -550,7 +550,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_air"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -565,7 +565,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_commitment"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "num-bigint",
@@ -581,7 +581,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_fri"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -596,7 +596,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_pow"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "serde",
@@ -609,7 +609,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_stark"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "serde",
  "serde_with 3.12.0",
@@ -625,7 +625,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_transcript"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "starknet-crypto",
 ]
diff --git a/examples/no_std_build/Cargo.toml b/examples/no_std_build/Cargo.toml
index ca87c49..7c99798 100644
--- a/examples/no_std_build/Cargo.toml
+++ b/examples/no_std_build/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "no_std_build"
-version = "0.1.3"
+version = "1.0.0"
 edition = "2021"
 
 [dependencies]
diff --git a/proof_parser/Cargo.lock b/proof_parser/Cargo.lock
index 943e758..6c45435 100644
--- a/proof_parser/Cargo.lock
+++ b/proof_parser/Cargo.lock
@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "aho-corasick"
@@ -461,7 +461,7 @@ checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
 
 [[package]]
 name = "swiftness_proof_parser"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "anyhow",
  "clap",
diff --git a/proof_parser/Cargo.toml b/proof_parser/Cargo.toml
index a13bffe..8ded108 100644
--- a/proof_parser/Cargo.toml
+++ b/proof_parser/Cargo.toml
@@ -5,7 +5,7 @@ edition = "2021"
 license-file = "LICENSE"
 readme = "README.md"
 repository = "https://github.com/iosis-tech/swiftness"
-version = "0.1.3"
+version = "1.0.0"
 
 [dependencies]
 anyhow = "1.0.80"
diff --git a/wasm_bindings/Cargo.lock b/wasm_bindings/Cargo.lock
index 3cce567..e4b2381 100644
--- a/wasm_bindings/Cargo.lock
+++ b/wasm_bindings/Cargo.lock
@@ -715,7 +715,7 @@ checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
 
 [[package]]
 name = "swiftness"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "clap",
  "swiftness_air",
@@ -728,7 +728,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_air"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -744,7 +744,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_commitment"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "num-bigint",
@@ -761,7 +761,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_fri"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "num-bigint",
  "serde",
@@ -777,7 +777,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_pow"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "blake2",
  "serde",
@@ -791,7 +791,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_proof_parser"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "anyhow",
  "clap",
@@ -806,7 +806,7 @@ dependencies = [
 
 [[package]]
 name = "swiftness_stark"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "serde",
  "serde_with 3.12.0",
@@ -823,14 +823,14 @@ dependencies = [
 
 [[package]]
 name = "swiftness_transcript"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "starknet-crypto",
 ]
 
 [[package]]
 name = "swiftness_wasm"
-version = "0.1.3"
+version = "1.0.0"
 dependencies = [
  "getrandom",
  "serde_json",
diff --git a/wasm_bindings/Cargo.toml b/wasm_bindings/Cargo.toml
index d69c690..2e14194 100644
--- a/wasm_bindings/Cargo.toml
+++ b/wasm_bindings/Cargo.toml
@@ -5,20 +5,20 @@ edition = "2021"
 license-file = "LICENSE"
 readme = "README.md"
 repository = "https://github.com/iosis-tech/swiftness"
-version = "0.1.3"
+version = "1.0.0"
 
 [dependencies]
 serde_json = "1.0.114"
 wasm-bindgen = "0.2"
 
-swiftness = { path = "../cli", default-features = false, version = "0.1.3" }
+swiftness = { path = "../cli", default-features = false, version = "1.0.0" }
 swiftness_air = { path = "../crates/air", default-features = false, features = [
     "std",
-], version = "0.1.3" }
+], version = "1.0.0" }
 swiftness_stark = { path = "../crates/stark", default-features = false, features = [
     "std",
-], version = "0.1.3" }
-swiftness_proof_parser = { path = "../proof_parser", version = "0.1.3" }
+], version = "1.0.0" }
+swiftness_proof_parser = { path = "../proof_parser", version = "1.0.0" }
 
 [lib]
 crate-type = ["cdylib", "rlib"]
diff --git a/wasm_bindings/README.md b/wasm_bindings/README.md
index 398f002..5c73efb 100644
--- a/wasm_bindings/README.md
+++ b/wasm_bindings/README.md
@@ -2,7 +2,7 @@
 
 <div align="center">
 
-![Version](https://img.shields.io/badge/v0.1.3-green?style=flat-square&logo=git&logoColor=white&label=version)
+![Version](https://img.shields.io/badge/v1.0.0-green?style=flat-square&logo=git&logoColor=white&label=version)
 ![Continuous Integration](https://img.shields.io/github/actions/workflow/status/iosis-tech/swiftness/ci.yml?style=flat-square&logo=githubactions&logoColor=white&label=Continuous%20Integration)
 
 [![Crates.io Version](https://img.shields.io/crates/v/swiftness?style=flat-square&logo=lootcrate)](https://crates.io/crates/swiftness)
diff --git a/wasm_bindings/package.json b/wasm_bindings/package.json
index a653f9c..58a79da 100644
--- a/wasm_bindings/package.json
+++ b/wasm_bindings/package.json
@@ -2,7 +2,7 @@
   "name": "swiftness",
   "type": "module",
   "description": "Swiftness CairoVM Verifier",
-  "version": "0.1.3",
+  "version": "1.0.0",
   "license": "SEE LICENSE IN LICENSE",
   "repository": {
     "type": "git",