revert type changes

o1-labs · Oct 14, 2024 · d057138 · d057138
1 parent 46e7a8c
commit d057138
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/lib/mina/actions/offchain-state.ts b/src/lib/mina/actions/offchain-state.ts
@@ -306,7 +306,7 @@ function OffchainState<
           keyType: undefined,
           valueType: type,
           key: undefined,
-          value: ProvableType.get(type).fromValue(value),
+          value: type.fromValue(value),
         });
 
         // push action on account update
@@ -321,7 +321,7 @@ function OffchainState<
           keyType: undefined,
           valueType: type,
           key: undefined,
-          value: ProvableType.get(type).fromValue(to),
+          value: type.fromValue(to),
           previousValue: optionType.fromValue(from),
         });
 
@@ -358,7 +358,7 @@ function OffchainState<
           keyType,
           valueType,
           key,
-          value: ProvableType.get(valueType).fromValue(value),
+          value: valueType.fromValue(value),
         });
 
         // push action on account update
@@ -373,7 +373,7 @@ function OffchainState<
           keyType,
           valueType,
           key,
-          value: ProvableType.get(valueType).fromValue(to),
+          value: valueType.fromValue(to),
           previousValue: optionType.fromValue(from),
         });
 

diff --git a/src/lib/proof-system/zkprogram.ts b/src/lib/proof-system/zkprogram.ts
@@ -523,7 +523,7 @@ function isProvable(type: unknown): type is ProvableType<unknown> {
     (typeof type_ === 'function' || typeof type_ === 'object') &&
     type_ !== null &&
     ['toFields', 'fromFields', 'sizeInFields', 'toAuxiliary'].every(
-      (s) => s in (type_ as {'toFields': unknown, 'fromFields': unknown, 'sizeInFields': unknown, 'toAuxiliary': unknown})
+      (s) => s in type_
     )
   );
 }