diff --git a/CHANGELOG.md b/CHANGELOG.md
index fe76ebd82..46b0c875a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -15,7 +15,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
     _Security_ in case of vulnerabilities.
  -->
 
-## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/9c44b9c2...HEAD)
+## [Unreleased](https://github.com/o1-labs/snarkyjs/compare/1abdfb70...HEAD)
+
+> No unreleased changes yet
+
+## [0.9.2](https://github.com/o1-labs/snarkyjs/compare/9c44b9c2...1abdfb70)
 
 ### Added
 
@@ -31,6 +35,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - Incorrect counting of limit on events and actions https://github.com/o1-labs/snarkyjs/pull/758
 - Type error when using `Circuit.array` in on-chain state or events https://github.com/o1-labs/snarkyjs/pull/758
+- Bug when using `Circuit.witness` outside the prover https://github.com/o1-labs/snarkyjs/pull/774
 
 ## [0.9.1](https://github.com/o1-labs/snarkyjs/compare/71b6132b...9c44b9c2)
 
diff --git a/package-lock.json b/package-lock.json
index 74d675dff..679994dca 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "snarkyjs",
-  "version": "0.9.1",
+  "version": "0.9.2",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "snarkyjs",
-      "version": "0.9.1",
+      "version": "0.9.2",
       "license": "Apache-2.0",
       "dependencies": {
         "blakejs": "1.2.1",
diff --git a/package.json b/package.json
index ca2dc685e..447e6159c 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "snarkyjs",
   "description": "JavaScript bindings for SnarkyJS",
-  "version": "0.9.1",
+  "version": "0.9.2",
   "license": "Apache-2.0",
   "type": "module",
   "main": "./dist/web/index.js",
diff --git a/src/lib/circuit_value.ts b/src/lib/circuit_value.ts
index 0ae2f8bbf..e9118e296 100644
--- a/src/lib/circuit_value.ts
+++ b/src/lib/circuit_value.ts
@@ -982,7 +982,7 @@ Circuit.witness = function <
       : createFields();
   let aux = type.toAuxiliary(proverValue);
   let value = type.fromFields(fields, aux) as T;
-  type.check(value);
+  if (inCheckedComputation()) type.check(value);
   return value;
 };
 
diff --git a/src/mina-signer/package-lock.json b/src/mina-signer/package-lock.json
index 0bccd0e10..bfe561454 100644
--- a/src/mina-signer/package-lock.json
+++ b/src/mina-signer/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "mina-signer",
-  "version": "2.0.1",
+  "version": "2.0.2",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "mina-signer",
-      "version": "2.0.1",
+      "version": "2.0.2",
       "license": "Apache-2.0",
       "dependencies": {
         "blakejs": "^1.2.1",
diff --git a/src/mina-signer/package.json b/src/mina-signer/package.json
index b0ecff12a..78200e579 100644
--- a/src/mina-signer/package.json
+++ b/src/mina-signer/package.json
@@ -1,7 +1,7 @@
 {
   "name": "mina-signer",
   "description": "Node API for signing transactions on various networks for Mina Protocol",
-  "version": "2.0.1",
+  "version": "2.0.2",
   "type": "module",
   "scripts": {
     "build": "tsc -p ../../tsconfig.mina-signer.json",