@izi-noir/sdk 0.1.0 → 0.1.2

package/dist/providers/arkworks.d.cts

@@ -1,9 +1,9 @@
-import { d as IProvingSystem } from '../IProvingSystem-TKNofoo8.cjs';
-export { e as CircuitPaths, I as IziNoirConfig, P as Provider } from '../IProvingSystem-TKNofoo8.cjs';
-import { P as ProofData } from '../types-CaaigonG.cjs';
+import { I as IProvingSystem } from '../IProvingSystem-BpI0rmve.cjs';
+export { C as CircuitPaths, a as IziNoirConfig, P as Provider } from '../IProvingSystem-BpI0rmve.cjs';
+import { P as ProofData } from '../types-CxkI04bP.cjs';
 import { CompiledCircuit, InputMap } from '@noir-lang/types';
 export { CompiledCircuit, InputMap } from '@noir-lang/types';
-export { a as IziNoir, i as initNoirWasm, b as isWasmInitialized } from '../wasmInit-iEYiiB8M.cjs';
+export { a as IziNoir, i as initNoirWasm, b as isWasmInitialized } from '../wasmInit-D615cpte.cjs';
 
 /**
  * ArkworksWasm proving system.
@@ -58,6 +58,8 @@ interface ArkworksWasmModule {
         return_values: number[];
     };
     version(): string;
+    setup_from_r1cs(r1csJson: string): ArkworksSetupResult;
+    prove_from_r1cs(provingKeyB64: string, r1csJson: string, witnessJson: string): ArkworksProofResult;
 }
 /**
  * Configuration for ArkworksWasm prover
@@ -74,8 +76,12 @@ interface ArkworksWasmConfig {
 interface ArkworksCompiledCircuit extends CompiledCircuit {
     /** Marker to identify ArkworksWasm circuits */
     __arkworks: true;
-    /** ACIR program as JSON string (used for setup/prove) */
+    /** ACIR program as JSON string (used for setup/prove) - DEPRECATED, use r1csJson */
     acirJson: string;
+    /** R1CS definition as JSON string (used for setup/prove) */
+    r1csJson: string;
+    /** Mapping from noir witness index to R1CS witness index */
+    witnessIndexMapping: Map<number, number>;
     /** Cached proving key (base64) if cacheKeys is enabled */
     provingKey?: string;
     /** Cached verifying key (base64) if cacheKeys is enabled */

package/dist/providers/arkworks.d.ts

@@ -1,9 +1,9 @@
-import { d as IProvingSystem } from '../IProvingSystem-D9TnEig0.js';
-export { e as CircuitPaths, I as IziNoirConfig, P as Provider } from '../IProvingSystem-D9TnEig0.js';
-import { P as ProofData } from '../types-CaaigonG.js';
+import { I as IProvingSystem } from '../IProvingSystem-D0X9Rp3W.js';
+export { C as CircuitPaths, a as IziNoirConfig, P as Provider } from '../IProvingSystem-D0X9Rp3W.js';
+import { P as ProofData } from '../types-CxkI04bP.js';
 import { CompiledCircuit, InputMap } from '@noir-lang/types';
 export { CompiledCircuit, InputMap } from '@noir-lang/types';
-export { a as IziNoir, i as initNoirWasm, b as isWasmInitialized } from '../wasmInit-KV6DTj4J.js';
+export { a as IziNoir, i as initNoirWasm, b as isWasmInitialized } from '../wasmInit-oOZwkgo_.js';
 
 /**
  * ArkworksWasm proving system.
@@ -58,6 +58,8 @@ interface ArkworksWasmModule {
         return_values: number[];
     };
     version(): string;
+    setup_from_r1cs(r1csJson: string): ArkworksSetupResult;
+    prove_from_r1cs(provingKeyB64: string, r1csJson: string, witnessJson: string): ArkworksProofResult;
 }
 /**
  * Configuration for ArkworksWasm prover
@@ -74,8 +76,12 @@ interface ArkworksWasmConfig {
 interface ArkworksCompiledCircuit extends CompiledCircuit {
     /** Marker to identify ArkworksWasm circuits */
     __arkworks: true;
-    /** ACIR program as JSON string (used for setup/prove) */
+    /** ACIR program as JSON string (used for setup/prove) - DEPRECATED, use r1csJson */
     acirJson: string;
+    /** R1CS definition as JSON string (used for setup/prove) */
+    r1csJson: string;
+    /** Mapping from noir witness index to R1CS witness index */
+    witnessIndexMapping: Map<number, number>;
     /** Cached proving key (base64) if cacheKeys is enabled */
     provingKey?: string;
     /** Cached verifying key (base64) if cacheKeys is enabled */