@izi-noir/sdk 0.1.9 → 0.1.11

package/dist/{IProvingSystem-D0X9Rp3W.d.ts → IProvingSystem-BKgFRl27.d.ts}

@@ -123,8 +123,103 @@ interface IziNoirConfig {
     circuitPaths?: CircuitPaths;
 }
 
+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[];
+}
+interface ForStatement {
+    kind: 'for_statement';
+    variable: string;
+    start: Expr;
+    end: Expr;
+    inclusive: boolean;
+    body: Statement[];
+}
+type Statement = AssertStatement | VariableDeclaration | AssignmentStatement | IfStatement | ForStatement;
+interface ParsedCircuit {
+    publicParams: CircuitParam[];
+    privateParams: CircuitParam[];
+    statements: Statement[];
+}
+
+/**
+ * Options for circuit compilation
+ */
+interface CompileOptions {
+    /**
+     * The parsed circuit from JS source.
+     * When provided, enables dynamic R1CS generation based on the actual circuit logic.
+     * Without this, the proving system may use hardcoded R1CS patterns.
+     */
+    parsedCircuit?: ParsedCircuit;
+}
 interface ICompiler {
-    compile(noirCode: string): Promise<CompiledCircuit>;
+    compile(noirCode: string, options?: CompileOptions): Promise<CompiledCircuit>;
 }
 
 /**
@@ -167,4 +262,4 @@ interface IVerifier {
 interface IProvingSystem extends ICompiler, IProver, IVerifier {
 }
 
-export { type CircuitPaths as C, type EthereumChainMetadata as E, type IProvingSystem as I, Network as N, Provider as P, type SolanaChainMetadata as S, type IziNoirConfig as a, type ChainId as b, type CircuitMetadata as c, type ChainMetadataFor as d, Chain as e, type ChainMetadata as f, type ICompiler as g, type IProver as h, type IVerifier as i, NETWORK_CONFIG as j, getExplorerTxUrl as k, getExplorerAccountUrl as l, type NetworkConfig as m };
+export { type AssertStatement as A, type BinaryExpr as B, type CircuitPaths as C, type EthereumChainMetadata as E, type IProvingSystem as I, type LiteralExpr as L, type MemberExpr as M, Network as N, Provider as P, type SolanaChainMetadata as S, type IziNoirConfig as a, type ChainId as b, type CircuitMetadata as c, type ChainMetadataFor as d, Chain as e, type CompileOptions as f, type ParsedCircuit as g, type ChainMetadata as h, type ICompiler as i, type IProver as j, type IVerifier as k, type CircuitParam as l, type Expr as m, type IdentifierExpr as n, type BinaryOperator as o, type Statement as p, NETWORK_CONFIG as q, getExplorerTxUrl as r, getExplorerAccountUrl as s, type NetworkConfig as t };

package/dist/{IProvingSystem-BpI0rmve.d.cts → IProvingSystem-SfzgcbqH.d.cts}

@@ -123,8 +123,103 @@ interface IziNoirConfig {
     circuitPaths?: CircuitPaths;
 }
 
+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[];
+}
+interface ForStatement {
+    kind: 'for_statement';
+    variable: string;
+    start: Expr;
+    end: Expr;
+    inclusive: boolean;
+    body: Statement[];
+}
+type Statement = AssertStatement | VariableDeclaration | AssignmentStatement | IfStatement | ForStatement;
+interface ParsedCircuit {
+    publicParams: CircuitParam[];
+    privateParams: CircuitParam[];
+    statements: Statement[];
+}
+
+/**
+ * Options for circuit compilation
+ */
+interface CompileOptions {
+    /**
+     * The parsed circuit from JS source.
+     * When provided, enables dynamic R1CS generation based on the actual circuit logic.
+     * Without this, the proving system may use hardcoded R1CS patterns.
+     */
+    parsedCircuit?: ParsedCircuit;
+}
 interface ICompiler {
-    compile(noirCode: string): Promise<CompiledCircuit>;
+    compile(noirCode: string, options?: CompileOptions): Promise<CompiledCircuit>;
 }
 
 /**
@@ -167,4 +262,4 @@ interface IVerifier {
 interface IProvingSystem extends ICompiler, IProver, IVerifier {
 }
 
-export { type CircuitPaths as C, type EthereumChainMetadata as E, type IProvingSystem as I, Network as N, Provider as P, type SolanaChainMetadata as S, type IziNoirConfig as a, type ChainId as b, type CircuitMetadata as c, type ChainMetadataFor as d, Chain as e, type ChainMetadata as f, type ICompiler as g, type IProver as h, type IVerifier as i, NETWORK_CONFIG as j, getExplorerTxUrl as k, getExplorerAccountUrl as l, type NetworkConfig as m };
+export { type AssertStatement as A, type BinaryExpr as B, type CircuitPaths as C, type EthereumChainMetadata as E, type IProvingSystem as I, type LiteralExpr as L, type MemberExpr as M, Network as N, Provider as P, type SolanaChainMetadata as S, type IziNoirConfig as a, type ChainId as b, type CircuitMetadata as c, type ChainMetadataFor as d, Chain as e, type CompileOptions as f, type ParsedCircuit as g, type ChainMetadata as h, type ICompiler as i, type IProver as j, type IVerifier as k, type CircuitParam as l, type Expr as m, type IdentifierExpr as n, type BinaryOperator as o, type Statement as p, NETWORK_CONFIG as q, getExplorerTxUrl as r, getExplorerAccountUrl as s, type NetworkConfig as t };