cast usize to u32

Author: Roee-87

create-leo-app/template-node/index.js

@@ -1,19 +1,10 @@
-import {Account, initThreadPool, ProgramManager, AleoKeyProvider, AleoKeyProviderParams} from "@provablehq/sdk";
+import {Account, initThreadPool, ProgramManager, AleoKeyProvider, OfflineKeyProvider, CREDITS_PROGRAM_KEYS} from "@provablehq/sdk";
 
 await initThreadPool();
 
-const programName = "hello_hello.aleo"
 
-const hello_hello_program =`
-program ${programName};
 
-function hello:
-    input r0 as u32.public;
-    input r1 as u32.private;
-    add r0 r1 into r2;
-    output r2 as u32.private;`
-
-async function localProgramExecution(program, programName, aleoFunction, inputs) {
+async function localProgramExecution() {
     const programManager = new ProgramManager();
 
     // Create a temporary account for the execution of the program
@@ -22,38 +13,19 @@ async function localProgramExecution(program, programName, aleoFunction, inputs)
 
     // Create a key provider in order to re-use the same key for each execution
     const keyProvider = new AleoKeyProvider();
+    const offlineKeyProvider = new OfflineKeyProvider();
     keyProvider.useCache(true);
     programManager.setKeyProvider(keyProvider);
 
-    // Pre-synthesize the program keys and then cache them in memory using key provider
-    const keyPair = await programManager.synthesizeKeys(hello_hello_program, aleoFunction, inputs);
-    programManager.keyProvider.cacheKeys(`${programName}:${aleoFunction}`, keyPair);
+     const [transferPublicProver, transferPublicVerifier] =await keyProvider.fetchCreditsKeys(CREDITS_PROGRAM_KEYS.transfer_public);
+    console.log(transferPublicVerifier.toString());
 
     // Specify parameters for the key provider to use search for program keys. In particular specify the cache key
     // that was used to cache the keys in the previous step.
-    const keyProviderParams = new AleoKeyProviderParams({cacheKey: `${programName}:${aleoFunction}`});
-
-    // Execute once using the key provider params defined above. This will use the cached proving keys and make
-    // execution significantly faster.
-    let executionResponse = await programManager.run(
-        program,
-        aleoFunction,
-        inputs,
-        true,
-        undefined,
-        keyProviderParams,
-    );
-    console.log("hello_hello/hello executed - result:", executionResponse.getOutputs());
-
-    // Verify the execution using the verifying key that was generated earlier.
-    if (programManager.verifyExecution(executionResponse, 9_000_000)) {
-        console.log("hello_hello/hello execution verified!");
-    } else {
-        throw("Execution failed verification!");
-    }
+   
 }
 
 const start = Date.now();
 console.log("Starting execute!");
-await localProgramExecution(hello_hello_program, programName, "hello", ["5u32", "5u32"]);
+await localProgramExecution();
 console.log("Execute finished!", Date.now() - start);

sdk/tests/wasm.test.ts

@@ -490,7 +490,7 @@ describe('WASM Objects', () => {
         it('can get the number of constraints', () => {
             const transferPublicVerifier = VerifyingKey.fromString(TRANSFER_PUBLIC_VERIFYING_KEY);
             const numConstraints = transferPublicVerifier.numConstraints();
-            expect(numConstraints).equal(12326);
+            expect(numConstraints).to.equal(12326);
         });
     });
 });

wasm/src/programs/verifying_key/mod.rs

@@ -88,8 +88,8 @@ impl VerifyingKey {
     ///
     /// @returns {number} The number of constraints
     #[wasm_bindgen(js_name = "numConstraints")]
-    pub fn num_constraints(&self) -> usize {
-        self.0.circuit_info.num_constraints
+    pub fn num_constraints(&self) -> u32 {
+        self.0.circuit_info.num_constraints as u32
     }
 }