@izi-noir/sdk 0.1.10 → 0.1.11

package/dist/index.d.cts

@@ -1,9 +1,9 @@
-import { I as IChainFormatter } from './wasmInit-D615cpte.cjs';
-export { C as ChainProofDataFor, D as DeployResult, a as IziNoir, S as SolanaDeployData, V as VerifyOnChainResult, W as WalletAdapter, i as initNoirWasm, b as isWasmInitialized, m as markWasmInitialized } from './wasmInit-D615cpte.cjs';
+import { I as IChainFormatter } from './wasmInit-Wyynuk6r.cjs';
+export { C as ChainProofDataFor, D as DeployResult, a as IziNoir, S as SolanaDeployData, V as VerifyOnChainResult, W as WalletAdapter, i as initNoirWasm, b as isWasmInitialized, m as markWasmInitialized } from './wasmInit-Wyynuk6r.cjs';
 import { P as ProofData, S as SolanaProofData, a as CircuitFunction, I as InputValue, b as ProofResult } from './types-CxkI04bP.cjs';
 export { C as CompileResult, c as ProofTimings, d as ProverOptions, e as VerifierOptions, V as VerifyingKeyData } from './types-CxkI04bP.cjs';
-import { c as CircuitMetadata, S as SolanaChainMetadata, I as IProvingSystem } from './IProvingSystem-BpI0rmve.cjs';
-export { e as Chain, b as ChainId, f as ChainMetadata, d as ChainMetadataFor, C as CircuitPaths, E as EthereumChainMetadata, g as ICompiler, h as IProver, i as IVerifier, a as IziNoirConfig, j as NETWORK_CONFIG, N as Network, m as NetworkConfig, P as Provider, l as getExplorerAccountUrl, k as getExplorerTxUrl } from './IProvingSystem-BpI0rmve.cjs';
+import { c as CircuitMetadata, S as SolanaChainMetadata, g as ParsedCircuit, I as IProvingSystem } from './IProvingSystem-SfzgcbqH.cjs';
+export { A as AssertStatement, B as BinaryExpr, o as BinaryOperator, e as Chain, b as ChainId, h as ChainMetadata, d as ChainMetadataFor, l as CircuitParam, C as CircuitPaths, f as CompileOptions, E as EthereumChainMetadata, m as Expr, i as ICompiler, j as IProver, k as IVerifier, n as IdentifierExpr, a as IziNoirConfig, L as LiteralExpr, M as MemberExpr, q as NETWORK_CONFIG, N as Network, t as NetworkConfig, P as Provider, p as Statement, s as getExplorerAccountUrl, r as getExplorerTxUrl } from './IProvingSystem-SfzgcbqH.cjs';
 import { ArkworksWasm, ArkworksWasmConfig } from './providers/arkworks.cjs';
 export { ArkworksCompiledCircuit, ArkworksProofResult, ArkworksSetupResult, ArkworksWasmModule, isArkworksCircuit } from './providers/arkworks.cjs';
 import { CompiledCircuit } from '@noir-lang/types';
@@ -65,88 +65,114 @@ declare class SolanaFormatter implements IChainFormatter<'solana'> {
     private hexToBytes;
 }
 
-interface CircuitParam {
-    name: string;
-    index: number;
-}
-interface BinaryExpr {
-    kind: 'binary';
-    left: Expr;
-    operator: BinaryOperator;
-    right: Expr;
-}
-interface IdentifierExpr {
-    kind: 'identifier';
-    name: string;
-}
-interface LiteralExpr {
-    kind: 'literal';
-    value: number | string | bigint;
-}
-interface MemberExpr {
-    kind: 'member';
-    object: Expr;
-    index: Expr;
-}
-interface ArrayLiteralExpr {
-    kind: 'array_literal';
-    elements: Expr[];
-}
-interface CallExpr {
-    kind: 'call';
-    callee: Expr;
-    method?: string;
-    args: Expr[];
-}
-type BinaryOperator = '==' | '!=' | '+' | '-' | '*' | '/' | '%' | '<' | '>' | '<=' | '>=' | '&' | '|';
-type UnaryOperator = '!' | '-';
-interface UnaryExpr {
-    kind: 'unary';
-    operator: UnaryOperator;
-    operand: Expr;
-}
-interface IfExpr {
-    kind: 'if_expr';
-    condition: Expr;
-    consequent: Expr;
-    alternate: Expr;
-}
-type Expr = BinaryExpr | UnaryExpr | IdentifierExpr | LiteralExpr | MemberExpr | ArrayLiteralExpr | CallExpr | IfExpr;
-interface AssertStatement {
-    kind: 'assert';
-    condition: Expr;
-    message?: string;
-}
-interface VariableDeclaration {
-    kind: 'variable_declaration';
-    name: string;
-    mutable: boolean;
-    initializer: Expr;
-}
-interface AssignmentStatement {
-    kind: 'assignment';
-    target: string;
-    value: Expr;
-}
-interface IfStatement {
-    kind: 'if_statement';
-    condition: Expr;
-    consequent: Statement[];
-    alternate?: Statement[];
+/**
+ * R1csBuilder - Generates R1CS constraints from ParsedCircuit
+ *
+ * R1CS (Rank-1 Constraint System) only supports multiplication gates:
+ * (Σ a_i * w_i) * (Σ b_j * w_j) = (Σ c_k * w_k)
+ *
+ * This builder converts parsed JavaScript circuit statements into R1CS constraints.
+ *
+ * Witness layout (arkworks convention):
+ * - w_0 = 1 (constant, always)
+ * - w_1, w_2, ... = inputs (public first, then private)
+ * - w_k, w_k+1, ... = intermediate variables
+ */
+
+/**
+ * R1CS constraint: A * B = C
+ * Each vector is a list of (coefficient_hex, witness_index) pairs
+ */
+interface R1csConstraint {
+    a: [string, number][];
+    b: [string, number][];
+    c: [string, number][];
 }
-interface ForStatement {
-    kind: 'for_statement';
-    variable: string;
-    start: Expr;
-    end: Expr;
-    inclusive: boolean;
-    body: Statement[];
+/**
+ * Complete R1CS definition for arkworks-groth16-wasm
+ */
+interface R1csDefinition {
+    num_witnesses: number;
+    public_inputs: number[];
+    private_inputs: number[];
+    constraints: R1csConstraint[];
 }
-type Statement = AssertStatement | VariableDeclaration | AssignmentStatement | IfStatement | ForStatement;
-interface ParsedCircuit {
-    publicParams: CircuitParam[];
-    privateParams: CircuitParam[];
-    statements: Statement[];
+/**
+ * Builds R1CS constraints from a ParsedCircuit
+ */
+declare class R1csBuilder {
+    private parsedCircuit;
+    private constraints;
+    private witnessMap;
+    private nextWitnessIdx;
+    private publicIndices;
+    private privateIndices;
+    private readonly NEG_ONE;
+    constructor(parsedCircuit: ParsedCircuit);
+    /**
+     * Build R1CS definition from the parsed circuit
+     */
+    build(): R1csDefinition;
+    /**
+     * Get the witness index for an input parameter name
+     */
+    getWitnessIndex(name: string): number | undefined;
+    /**
+     * Register all circuit inputs as witnesses
+     * Public inputs come first, then private inputs
+     */
+    private registerInputs;
+    /**
+     * Process a single statement and generate constraints
+     */
+    private processStatement;
+    /**
+     * Process an assert statement
+     * The condition must evaluate to true for a valid proof
+     */
+    private processAssert;
+    /**
+     * Process a binary expression in an assert
+     */
+    private processBinaryAssert;
+    /**
+     * Process an equality assertion: assert(left == right)
+     */
+    private processEquality;
+    /**
+     * Process multiplication equality: assert(a * b == c)
+     * R1CS: a * b = c
+     */
+    private processMultiplicationEquality;
+    /**
+     * Process addition equality: assert(a + b == c)
+     * R1CS: (a + b - c) * 1 = 0
+     * Which is: (a + b) * 1 = c
+     */
+    private processAdditionEquality;
+    /**
+     * Process subtraction equality: assert(a - b == c)
+     * R1CS: (a - b) * 1 = c
+     */
+    private processSubtractionEquality;
+    /**
+     * Process a variable declaration: let x = expr
+     * Creates a new witness for x and adds constraint if needed
+     */
+    private processVariableDecl;
+    /**
+     * Process a binary expression as variable initializer
+     */
+    private processVariableInitBinary;
+    /**
+     * Process an assignment: x = expr
+     * Updates the witness mapping
+     */
+    private processAssignment;
+    /**
+     * Get or create a witness index for an expression
+     */
+    private getOrCreateWitness;
 }
 
 interface IParser {
@@ -1233,4 +1259,4 @@ interface IziNoirBuildConfig {
  */
 declare function defineConfig(config: IziNoirBuildConfig): IziNoirBuildConfig;
 
-export { AcornParser, ArkworksWasm, ArkworksWasmConfig, type AssertStatement, type BatchVerifyResult, type BinaryExpr, type BinaryOperator, type CircuitDefinition, type CircuitExportEntry, CircuitFunction, type CircuitInputDef, CircuitMetadata, type CircuitParam, CircuitRegistry, type CircuitRegistryExport, type CloseVkAccounts, type CreateProofDependencies, CreateProofUseCase, type DeploymentResult, type DeploymentsState, type EnsureDeployedOptions, type Expr, type GetCircuitOptions, IChainFormatter, type IParser, IProvingSystem, type IdentifierExpr, type InitAndVerifyInstructions, type InitVkAccounts, InputValue, type InstructionData, type IziNoirBuildConfig, type LiteralExpr, type MemberExpr, NETWORK_ENDPOINTS, type OffchainCircuitConfig, OffchainVerifier, type OffchainVerifierConfig, type ParsedCircuit, ProofData, ProofResult, type RegisteredCircuit, type SignerInfo, SolanaChainMetadata, SolanaFormatter, type SolanaNetwork, SolanaProofData, SolanaTransactionBuilder, type Statement, type TransactionBuilderConfig, type VerificationEndpointOptions, type VerifyProofAccounts, type VerifyRequest, type VerifyResult, type VkDeployment, VkDeploymentManager, type VkDeploymentManagerConfig, batchVerify, createArkworksWasmContainer, createDefaultContainer, createNodeVkDeploymentManager, createVerificationEndpoint, createVerifierMiddleware, defineCircuit, defineConfig, generateNoir, getGlobalRegistry };
+export { AcornParser, ArkworksWasm, ArkworksWasmConfig, type BatchVerifyResult, type CircuitDefinition, type CircuitExportEntry, CircuitFunction, type CircuitInputDef, CircuitMetadata, CircuitRegistry, type CircuitRegistryExport, type CloseVkAccounts, type CreateProofDependencies, CreateProofUseCase, type DeploymentResult, type DeploymentsState, type EnsureDeployedOptions, type GetCircuitOptions, IChainFormatter, type IParser, IProvingSystem, type InitAndVerifyInstructions, type InitVkAccounts, InputValue, type InstructionData, type IziNoirBuildConfig, NETWORK_ENDPOINTS, type OffchainCircuitConfig, OffchainVerifier, type OffchainVerifierConfig, ParsedCircuit, ProofData, ProofResult, R1csBuilder, type R1csConstraint, type R1csDefinition, type RegisteredCircuit, type SignerInfo, SolanaChainMetadata, SolanaFormatter, type SolanaNetwork, SolanaProofData, SolanaTransactionBuilder, type TransactionBuilderConfig, type VerificationEndpointOptions, type VerifyProofAccounts, type VerifyRequest, type VerifyResult, type VkDeployment, VkDeploymentManager, type VkDeploymentManagerConfig, batchVerify, createArkworksWasmContainer, createDefaultContainer, createNodeVkDeploymentManager, createVerificationEndpoint, createVerifierMiddleware, defineCircuit, defineConfig, generateNoir, getGlobalRegistry };

package/dist/index.d.ts

@@ -1,9 +1,9 @@
-import { I as IChainFormatter } from './wasmInit-oOZwkgo_.js';
-export { C as ChainProofDataFor, D as DeployResult, a as IziNoir, S as SolanaDeployData, V as VerifyOnChainResult, W as WalletAdapter, i as initNoirWasm, b as isWasmInitialized, m as markWasmInitialized } from './wasmInit-oOZwkgo_.js';
+import { I as IChainFormatter } from './wasmInit-D3RyRKIC.js';
+export { C as ChainProofDataFor, D as DeployResult, a as IziNoir, S as SolanaDeployData, V as VerifyOnChainResult, W as WalletAdapter, i as initNoirWasm, b as isWasmInitialized, m as markWasmInitialized } from './wasmInit-D3RyRKIC.js';
 import { P as ProofData, S as SolanaProofData, a as CircuitFunction, I as InputValue, b as ProofResult } from './types-CxkI04bP.js';
 export { C as CompileResult, c as ProofTimings, d as ProverOptions, e as VerifierOptions, V as VerifyingKeyData } from './types-CxkI04bP.js';
-import { c as CircuitMetadata, S as SolanaChainMetadata, I as IProvingSystem } from './IProvingSystem-D0X9Rp3W.js';
-export { e as Chain, b as ChainId, f as ChainMetadata, d as ChainMetadataFor, C as CircuitPaths, E as EthereumChainMetadata, g as ICompiler, h as IProver, i as IVerifier, a as IziNoirConfig, j as NETWORK_CONFIG, N as Network, m as NetworkConfig, P as Provider, l as getExplorerAccountUrl, k as getExplorerTxUrl } from './IProvingSystem-D0X9Rp3W.js';
+import { c as CircuitMetadata, S as SolanaChainMetadata, g as ParsedCircuit, I as IProvingSystem } from './IProvingSystem-BKgFRl27.js';
+export { A as AssertStatement, B as BinaryExpr, o as BinaryOperator, e as Chain, b as ChainId, h as ChainMetadata, d as ChainMetadataFor, l as CircuitParam, C as CircuitPaths, f as CompileOptions, E as EthereumChainMetadata, m as Expr, i as ICompiler, j as IProver, k as IVerifier, n as IdentifierExpr, a as IziNoirConfig, L as LiteralExpr, M as MemberExpr, q as NETWORK_CONFIG, N as Network, t as NetworkConfig, P as Provider, p as Statement, s as getExplorerAccountUrl, r as getExplorerTxUrl } from './IProvingSystem-BKgFRl27.js';
 import { ArkworksWasm, ArkworksWasmConfig } from './providers/arkworks.js';
 export { ArkworksCompiledCircuit, ArkworksProofResult, ArkworksSetupResult, ArkworksWasmModule, isArkworksCircuit } from './providers/arkworks.js';
 import { CompiledCircuit } from '@noir-lang/types';
@@ -65,88 +65,114 @@ declare class SolanaFormatter implements IChainFormatter<'solana'> {
     private hexToBytes;
 }
 
-interface CircuitParam {
-    name: string;
-    index: number;
-}
-interface BinaryExpr {
-    kind: 'binary';
-    left: Expr;
-    operator: BinaryOperator;
-    right: Expr;
-}
-interface IdentifierExpr {
-    kind: 'identifier';
-    name: string;
-}
-interface LiteralExpr {
-    kind: 'literal';
-    value: number | string | bigint;
-}
-interface MemberExpr {
-    kind: 'member';
-    object: Expr;
-    index: Expr;
-}
-interface ArrayLiteralExpr {
-    kind: 'array_literal';
-    elements: Expr[];
-}
-interface CallExpr {
-    kind: 'call';
-    callee: Expr;
-    method?: string;
-    args: Expr[];
-}
-type BinaryOperator = '==' | '!=' | '+' | '-' | '*' | '/' | '%' | '<' | '>' | '<=' | '>=' | '&' | '|';
-type UnaryOperator = '!' | '-';
-interface UnaryExpr {
-    kind: 'unary';
-    operator: UnaryOperator;
-    operand: Expr;
-}
-interface IfExpr {
-    kind: 'if_expr';
-    condition: Expr;
-    consequent: Expr;
-    alternate: Expr;
-}
-type Expr = BinaryExpr | UnaryExpr | IdentifierExpr | LiteralExpr | MemberExpr | ArrayLiteralExpr | CallExpr | IfExpr;
-interface AssertStatement {
-    kind: 'assert';
-    condition: Expr;
-    message?: string;
-}
-interface VariableDeclaration {
-    kind: 'variable_declaration';
-    name: string;
-    mutable: boolean;
-    initializer: Expr;
-}
-interface AssignmentStatement {
-    kind: 'assignment';
-    target: string;
-    value: Expr;
-}
-interface IfStatement {
-    kind: 'if_statement';
-    condition: Expr;
-    consequent: Statement[];
-    alternate?: Statement[];
+/**
+ * R1csBuilder - Generates R1CS constraints from ParsedCircuit
+ *
+ * R1CS (Rank-1 Constraint System) only supports multiplication gates:
+ * (Σ a_i * w_i) * (Σ b_j * w_j) = (Σ c_k * w_k)
+ *
+ * This builder converts parsed JavaScript circuit statements into R1CS constraints.
+ *
+ * Witness layout (arkworks convention):
+ * - w_0 = 1 (constant, always)
+ * - w_1, w_2, ... = inputs (public first, then private)
+ * - w_k, w_k+1, ... = intermediate variables
+ */
+
+/**
+ * R1CS constraint: A * B = C
+ * Each vector is a list of (coefficient_hex, witness_index) pairs
+ */
+interface R1csConstraint {
+    a: [string, number][];
+    b: [string, number][];
+    c: [string, number][];
 }
-interface ForStatement {
-    kind: 'for_statement';
-    variable: string;
-    start: Expr;
-    end: Expr;
-    inclusive: boolean;
-    body: Statement[];
+/**
+ * Complete R1CS definition for arkworks-groth16-wasm
+ */
+interface R1csDefinition {
+    num_witnesses: number;
+    public_inputs: number[];
+    private_inputs: number[];
+    constraints: R1csConstraint[];
 }
-type Statement = AssertStatement | VariableDeclaration | AssignmentStatement | IfStatement | ForStatement;
-interface ParsedCircuit {
-    publicParams: CircuitParam[];
-    privateParams: CircuitParam[];
-    statements: Statement[];
+/**
+ * Builds R1CS constraints from a ParsedCircuit
+ */
+declare class R1csBuilder {
+    private parsedCircuit;
+    private constraints;
+    private witnessMap;
+    private nextWitnessIdx;
+    private publicIndices;
+    private privateIndices;
+    private readonly NEG_ONE;
+    constructor(parsedCircuit: ParsedCircuit);
+    /**
+     * Build R1CS definition from the parsed circuit
+     */
+    build(): R1csDefinition;
+    /**
+     * Get the witness index for an input parameter name
+     */
+    getWitnessIndex(name: string): number | undefined;
+    /**
+     * Register all circuit inputs as witnesses
+     * Public inputs come first, then private inputs
+     */
+    private registerInputs;
+    /**
+     * Process a single statement and generate constraints
+     */
+    private processStatement;
+    /**
+     * Process an assert statement
+     * The condition must evaluate to true for a valid proof
+     */
+    private processAssert;
+    /**
+     * Process a binary expression in an assert
+     */
+    private processBinaryAssert;
+    /**
+     * Process an equality assertion: assert(left == right)
+     */
+    private processEquality;
+    /**
+     * Process multiplication equality: assert(a * b == c)
+     * R1CS: a * b = c
+     */
+    private processMultiplicationEquality;
+    /**
+     * Process addition equality: assert(a + b == c)
+     * R1CS: (a + b - c) * 1 = 0
+     * Which is: (a + b) * 1 = c
+     */
+    private processAdditionEquality;
+    /**
+     * Process subtraction equality: assert(a - b == c)
+     * R1CS: (a - b) * 1 = c
+     */
+    private processSubtractionEquality;
+    /**
+     * Process a variable declaration: let x = expr
+     * Creates a new witness for x and adds constraint if needed
+     */
+    private processVariableDecl;
+    /**
+     * Process a binary expression as variable initializer
+     */
+    private processVariableInitBinary;
+    /**
+     * Process an assignment: x = expr
+     * Updates the witness mapping
+     */
+    private processAssignment;
+    /**
+     * Get or create a witness index for an expression
+     */
+    private getOrCreateWitness;
 }
 
 interface IParser {
@@ -1233,4 +1259,4 @@ interface IziNoirBuildConfig {
  */
 declare function defineConfig(config: IziNoirBuildConfig): IziNoirBuildConfig;
 
-export { AcornParser, ArkworksWasm, ArkworksWasmConfig, type AssertStatement, type BatchVerifyResult, type BinaryExpr, type BinaryOperator, type CircuitDefinition, type CircuitExportEntry, CircuitFunction, type CircuitInputDef, CircuitMetadata, type CircuitParam, CircuitRegistry, type CircuitRegistryExport, type CloseVkAccounts, type CreateProofDependencies, CreateProofUseCase, type DeploymentResult, type DeploymentsState, type EnsureDeployedOptions, type Expr, type GetCircuitOptions, IChainFormatter, type IParser, IProvingSystem, type IdentifierExpr, type InitAndVerifyInstructions, type InitVkAccounts, InputValue, type InstructionData, type IziNoirBuildConfig, type LiteralExpr, type MemberExpr, NETWORK_ENDPOINTS, type OffchainCircuitConfig, OffchainVerifier, type OffchainVerifierConfig, type ParsedCircuit, ProofData, ProofResult, type RegisteredCircuit, type SignerInfo, SolanaChainMetadata, SolanaFormatter, type SolanaNetwork, SolanaProofData, SolanaTransactionBuilder, type Statement, type TransactionBuilderConfig, type VerificationEndpointOptions, type VerifyProofAccounts, type VerifyRequest, type VerifyResult, type VkDeployment, VkDeploymentManager, type VkDeploymentManagerConfig, batchVerify, createArkworksWasmContainer, createDefaultContainer, createNodeVkDeploymentManager, createVerificationEndpoint, createVerifierMiddleware, defineCircuit, defineConfig, generateNoir, getGlobalRegistry };
+export { AcornParser, ArkworksWasm, ArkworksWasmConfig, type BatchVerifyResult, type CircuitDefinition, type CircuitExportEntry, CircuitFunction, type CircuitInputDef, CircuitMetadata, CircuitRegistry, type CircuitRegistryExport, type CloseVkAccounts, type CreateProofDependencies, CreateProofUseCase, type DeploymentResult, type DeploymentsState, type EnsureDeployedOptions, type GetCircuitOptions, IChainFormatter, type IParser, IProvingSystem, type InitAndVerifyInstructions, type InitVkAccounts, InputValue, type InstructionData, type IziNoirBuildConfig, NETWORK_ENDPOINTS, type OffchainCircuitConfig, OffchainVerifier, type OffchainVerifierConfig, ParsedCircuit, ProofData, ProofResult, R1csBuilder, type R1csConstraint, type R1csDefinition, type RegisteredCircuit, type SignerInfo, SolanaChainMetadata, SolanaFormatter, type SolanaNetwork, SolanaProofData, SolanaTransactionBuilder, type TransactionBuilderConfig, type VerificationEndpointOptions, type VerifyProofAccounts, type VerifyRequest, type VerifyResult, type VkDeployment, VkDeploymentManager, type VkDeploymentManagerConfig, batchVerify, createArkworksWasmContainer, createDefaultContainer, createNodeVkDeploymentManager, createVerificationEndpoint, createVerifierMiddleware, defineCircuit, defineConfig, generateNoir, getGlobalRegistry };