@o1js/native-linux-x64 0.0.1-dev.3 → 0.0.1-dev.4

package/index.d.ts

@@ -5,6 +5,14 @@
 // external pointer types.
 
 type WasmPastaFpPlonkIndex = {};
+type NapiVector<T> = {};
+type NapiGVesta = {};
+type NapiGPallas = {};
+type NapiPastaFpPlonkIndex = {};
+type NapiPastaFqPlonkIndex = {};
+type NapiLookupInfo = {};
+type NapiPastaFp = {};
+type NapiPastaFq = {};
 
 // Header section end
 export declare class ExternalObject<T> {
@@ -13,20 +21,501 @@ export declare class ExternalObject<T> {
     [K: symbol]: T
   }
 }
+export declare class NapiVecVecFp {
+  constructor(capacity: number)
+  push(vector: Uint8Array): void
+  get(index: number): Uint8Array
+  set(index: number, vector: Uint8Array): void
+}
+
+export declare class NapiVecVecFq {
+  constructor(capacity: number)
+  push(vector: Uint8Array): void
+  get(index: number): Uint8Array
+  set(index: number, vector: Uint8Array): void
+}
+
+export declare class WasmFpGateVector {
+  constructor()
+  serialize(): Uint8Array
+  static deserialize(bytes: Uint8Array): WasmFpGateVector
+}
+export type NapiFpGateVector = WasmFpGateVector
+
+export declare class WasmFpPolyComm {
+  constructor(unshifted: NapiVector<NapiGVesta>, shifted?: NapiGVesta | undefined | null)
+  get unshifted(): NapiVector<NapiGVesta>
+  set set_unshifted(x: NapiVector<NapiGVesta>)
+  get shifted(): NapiGVesta | null
+  set set_shifted(value?: NapiGVesta | undefined | null)
+}
+export type NapiFpPolyComm = WasmFpPolyComm
+
+export declare class WasmFpRuntimeTable {
+  constructor(id: number, data: Uint8Array)
+  get id(): number
+  set id(id: number)
+  get data(): Uint8Array
+}
+export type NapiFpRuntimeTable = WasmFpRuntimeTable
+
+export declare class WasmFpSrs {
+  serialize(): Uint8Array
+  static deserialize(bytes: Uint8Array): WasmFpSrs
+}
+export type NapiFpSrs = WasmFpSrs
+
+export declare class WasmFqGateVector {
+  constructor()
+  serialize(): Uint8Array
+  static deserialize(bytes: Uint8Array): WasmFqGateVector
+}
+export type NapiFqGateVector = WasmFqGateVector
+
+export declare class WasmFqPolyComm {
+  constructor(unshifted: NapiVector<NapiGPallas>, shifted?: NapiGPallas | undefined | null)
+  get unshifted(): NapiVector<NapiGPallas>
+  set set_unshifted(x: NapiVector<NapiGPallas>)
+  get shifted(): NapiGPallas | null
+  set set_shifted(value?: NapiGPallas | undefined | null)
+}
+export type NapiFqPolyComm = WasmFqPolyComm
+
+export declare class WasmFqRuntimeTable {
+  constructor(id: number, data: Uint8Array)
+  get id(): number
+  set id(id: number)
+  get data(): Uint8Array
+}
+export type NapiFqRuntimeTable = WasmFqRuntimeTable
+
+export declare class WasmFqSrs {
+  serialize(): Uint8Array
+  static deserialize(bytes: Uint8Array): WasmFqSrs
+}
+export type NapiFqSrs = WasmFqSrs
+
+export declare class WasmPastaFpLookupTable {
+  constructor(id: number, data: NapiVecVecFp)
+  get id(): number
+  set id(id: number)
+  get data(): NapiVecVecFp
+  set data(data: NapiVecVecFp)
+}
+export type NapiPastaFpLookupTable = WasmPastaFpLookupTable
+
+export declare class WasmPastaFpRuntimeTableCfg {
+  constructor(id: number, firstColumn: Uint8Array)
+  get id(): number
+  set id(id: number)
+  get firstColumn(): Uint8Array
+}
+export type NapiPastaFpRuntimeTableCfg = WasmPastaFpRuntimeTableCfg
+
+export declare class WasmPastaFqLookupTable {
+  constructor(id: number, data: NapiVecVecFq)
+  get id(): number
+  set id(id: number)
+  get data(): NapiVecVecFq
+  set data(data: NapiVecVecFq)
+}
+export type NapiPastaFqLookupTable = WasmPastaFqLookupTable
+
+export declare class WasmPastaFqRuntimeTableCfg {
+  constructor(id: number, firstColumn: Uint8Array)
+  get id(): number
+  set id(id: number)
+  get firstColumn(): Uint8Array
+}
+export type NapiPastaFqRuntimeTableCfg = WasmPastaFqRuntimeTableCfg
+
 export const ARCH_NAME: string
 
 export const BACKING: string
 
+export declare function caml_fp_srs_add_lagrange_basis(srs: WasmFpSrs, log2Size: number): void
+
+export declare function caml_fp_srs_b_poly_commitment(srs: WasmFpSrs, chals: Uint8Array): WasmFpPolyComm
+
+export declare function caml_fp_srs_batch_accumulator_check(srs: WasmFpSrs, comms: NapiVector<NapiGVesta>, chals: Uint8Array): boolean
+
+export declare function caml_fp_srs_batch_accumulator_generate(srs: WasmFpSrs, comms: number, chals: Uint8Array): NapiVector<NapiGVesta>
+
+export declare function caml_fp_srs_commit_evaluations(srs: WasmFpSrs, domainSize: number, evals: Uint8Array): WasmFpPolyComm
+
+export declare function caml_fp_srs_create(depth: number): WasmFpSrs
+
+export declare function caml_fp_srs_create_parallel(depth: number): WasmFpSrs
+
+export declare function caml_fp_srs_from_bytes(bytes: Uint8Array): NapiFpSrs
+
+export declare function caml_fp_srs_from_bytes(bytes: Uint8Array): WasmFpSrs
+
+export declare function caml_fp_srs_get(srs: WasmFpSrs): Array<NapiGVesta>
+
+export declare function caml_fp_srs_get_h(srs: WasmFpSrs): NapiGVesta
+
+export declare function caml_fp_srs_get_lagrange_basis(srs: WasmFpSrs, domainSize: number): NapiVector<WasmFpPolyComm>
+
+export declare function caml_fp_srs_maybe_lagrange_commitment(srs: WasmFpSrs, domainSize: number, i: number): WasmFpPolyComm | null
+
+export declare function caml_fp_srs_read(offset: number | undefined | null, path: string): WasmFpSrs | null
+
+export declare function caml_fp_srs_set(hAndGs: Array<NapiGVesta>): WasmFpSrs
+
+export declare function caml_fp_srs_set_lagrange_basis(srs: WasmFpSrs, domainSize: number, inputBases: NapiVector<WasmFpPolyComm>): void
+
+export declare function caml_fp_srs_to_bytes(srs: NapiFpSrs): Uint8Array
+
+export declare function caml_fp_srs_to_bytes(srs: WasmFpSrs): Uint8Array
+
+export declare function caml_fp_srs_write(append: boolean | undefined | null, srs: WasmFpSrs, path: string): void
+
+export declare function caml_fq_srs_add_lagrange_basis(srs: WasmFqSrs, log2Size: number): void
+
+export declare function caml_fq_srs_b_poly_commitment(srs: WasmFqSrs, chals: Uint8Array): WasmFqPolyComm
+
+export declare function caml_fq_srs_batch_accumulator_check(srs: WasmFqSrs, comms: NapiVector<NapiGPallas>, chals: Uint8Array): boolean
+
+export declare function caml_fq_srs_batch_accumulator_generate(srs: WasmFqSrs, comms: number, chals: Uint8Array): NapiVector<NapiGPallas>
+
+export declare function caml_fq_srs_commit_evaluations(srs: WasmFqSrs, domainSize: number, evals: Uint8Array): WasmFqPolyComm
+
+export declare function caml_fq_srs_create(depth: number): WasmFqSrs
+
+export declare function caml_fq_srs_create_parallel(depth: number): WasmFqSrs
+
+export declare function caml_fq_srs_from_bytes(bytes: Uint8Array): NapiFqSrs
+
+export declare function caml_fq_srs_from_bytes(bytes: Uint8Array): WasmFqSrs
+
+export declare function caml_fq_srs_get(srs: WasmFqSrs): Array<NapiGPallas>
+
+export declare function caml_fq_srs_get_h(srs: WasmFqSrs): NapiGPallas
+
+export declare function caml_fq_srs_get_lagrange_basis(srs: WasmFqSrs, domainSize: number): NapiVector<WasmFqPolyComm>
+
+export declare function caml_fq_srs_maybe_lagrange_commitment(srs: WasmFqSrs, domainSize: number, i: number): WasmFqPolyComm | null
+
+export declare function caml_fq_srs_read(offset: number | undefined | null, path: string): WasmFqSrs | null
+
+export declare function caml_fq_srs_set(hAndGs: Array<NapiGPallas>): WasmFqSrs
+
+export declare function caml_fq_srs_set_lagrange_basis(srs: WasmFqSrs, domainSize: number, inputBases: NapiVector<WasmFqPolyComm>): void
+
+export declare function caml_fq_srs_to_bytes(srs: NapiFqSrs): Uint8Array
+
+export declare function caml_fq_srs_to_bytes(srs: WasmFqSrs): Uint8Array
+
+export declare function caml_fq_srs_write(append: boolean | undefined | null, srs: WasmFqSrs, path: string): void
+
+export declare function caml_pallas_affine_one(): WasmGPallas
+
+export declare function caml_pasta_fp_plonk_circuit_serialize(publicInputSize: number, vector: WasmFpGateVector): string
+
+export declare function caml_pasta_fp_plonk_gate_vector_add(vector: WasmFpGateVector, gate: WasmFpGate): void
+
+export declare function caml_pasta_fp_plonk_gate_vector_create(): WasmFpGateVector
+
+export declare function caml_pasta_fp_plonk_gate_vector_digest(publicInputSize: number, vector: WasmFpGateVector): Uint8Array
+
+export declare function caml_pasta_fp_plonk_gate_vector_from_bytes(bytes: Uint8Array): WasmFpGateVector
+
+export declare function caml_pasta_fp_plonk_gate_vector_get(vector: WasmFpGateVector, index: number): WasmFpGate
+
+export declare function caml_pasta_fp_plonk_gate_vector_len(vector: WasmFpGateVector): number
+
+export declare function caml_pasta_fp_plonk_gate_vector_to_bytes(vector: WasmFpGateVector): Uint8Array
+
+export declare function caml_pasta_fp_plonk_gate_vector_wrap(vector: WasmFpGateVector, target: NapiWire, head: NapiWire): void
+
 export declare function caml_pasta_fp_poseidon_block_cipher(state: Uint8Array): Uint8Array
 
+export declare function caml_pasta_fq_plonk_circuit_serialize(publicInputSize: number, vector: WasmFqGateVector): string
+
+export declare function caml_pasta_fq_plonk_gate_vector_add(vector: WasmFqGateVector, gate: WasmFqGate): void
+
+export declare function caml_pasta_fq_plonk_gate_vector_create(): WasmFqGateVector
+
+export declare function caml_pasta_fq_plonk_gate_vector_digest(publicInputSize: number, vector: WasmFqGateVector): Uint8Array
+
+export declare function caml_pasta_fq_plonk_gate_vector_from_bytes(bytes: Uint8Array): WasmFqGateVector
+
+export declare function caml_pasta_fq_plonk_gate_vector_get(vector: WasmFqGateVector, index: number): WasmFqGate
+
+export declare function caml_pasta_fq_plonk_gate_vector_len(vector: WasmFqGateVector): number
+
+export declare function caml_pasta_fq_plonk_gate_vector_to_bytes(vector: WasmFqGateVector): Uint8Array
+
+export declare function caml_pasta_fq_plonk_gate_vector_wrap(vector: WasmFqGateVector, target: NapiWire, head: NapiWire): void
+
 export declare function caml_pasta_fq_poseidon_block_cipher(state: Uint8Array): Uint8Array
 
+export declare function caml_vesta_affine_one(): WasmGVesta
+
 export declare function getNativeCalls(): bigint
 
+export interface JsLookupTableFp {
+  id: number
+  data: Array<Uint8Array>
+}
+
+export interface JsLookupTableFq {
+  id: number
+  data: Array<Uint8Array>
+}
+
+export interface JsRuntimeTableCfgFp {
+  id: number
+  firstColumn: Uint8Array
+}
+
+export interface JsRuntimeTableCfgFq {
+  id: number
+  firstColumn: Uint8Array
+}
+
+export interface NapiWire {
+  row: number
+  col: number
+}
+
 export const OS_NAME: string
 
-export declare function prover_index_from_bytes(bytes: Uint8Array): ExternalObject<WasmPastaFpPlonkIndex>
+export declare function pasta_fp_plonk_index_create(gates: WasmFpGateVector, public: number, lookupTables: Array<JsLookupTableFp>, runtimeTableCfgs: Array<JsRuntimeTableCfgFp>, prevChallenges: number, srs: ExternalObject<NapiFpSrs>, lazyMode: boolean): ExternalObject<NapiPastaFpPlonkIndex>
+
+export declare function pasta_fp_plonk_index_decode(bytes: Uint8Array, srs: ExternalObject<NapiFpSrs>): ExternalObject<NapiPastaFpPlonkIndex>
+
+export declare function pasta_fp_plonk_index_domain_d1_size(index: ExternalObject<NapiPastaFpPlonkIndex>): number
+
+export declare function pasta_fp_plonk_index_domain_d4_size(index: ExternalObject<NapiPastaFpPlonkIndex>): number
+
+export declare function pasta_fp_plonk_index_domain_d8_size(index: ExternalObject<NapiPastaFpPlonkIndex>): number
+
+export declare function pasta_fp_plonk_index_encode(index: ExternalObject<NapiPastaFpPlonkIndex>): Array<number>
+
+export declare function pasta_fp_plonk_index_max_degree(index: ExternalObject<NapiPastaFpPlonkIndex>): number
 
-export declare function prover_index_to_bytes(index: ExternalObject<WasmPastaFpPlonkIndex>): Uint8Array
+export declare function pasta_fp_plonk_index_public_inputs(index: ExternalObject<NapiPastaFpPlonkIndex>): number
 
-export declare function prover_to_json(proverIndex: ExternalObject<WasmPastaFpPlonkIndex>): string
+export declare function pasta_fp_plonk_index_read(offset: number | undefined | null, srs: ExternalObject<NapiFpSrs>, path: string): ExternalObject<NapiPastaFpPlonkIndex>
+
+export declare function pasta_fp_plonk_index_write(append: boolean | undefined | null, index: ExternalObject<NapiPastaFpPlonkIndex>, path: string): void
+
+export declare function pasta_fp_plonk_verifier_index_shifts(log2Size: number): WasmFpShifts
+
+export declare function pasta_fq_plonk_index_create(gates: WasmFqGateVector, public: number, lookupTables: Array<JsLookupTableFq>, runtimeTableCfgs: Array<JsRuntimeTableCfgFq>, prevChallenges: number, srs: ExternalObject<NapiFqSrs>, lazyMode: boolean): ExternalObject<NapiPastaFqPlonkIndex>
+
+export declare function pasta_fq_plonk_index_decode(bytes: Uint8Array, srs: ExternalObject<NapiFqSrs>): ExternalObject<NapiPastaFqPlonkIndex>
+
+export declare function pasta_fq_plonk_index_domain_d1_size(index: ExternalObject<NapiPastaFqPlonkIndex>): number
+
+export declare function pasta_fq_plonk_index_domain_d4_size(index: ExternalObject<NapiPastaFqPlonkIndex>): number
+
+export declare function pasta_fq_plonk_index_domain_d8_size(index: ExternalObject<NapiPastaFqPlonkIndex>): number
+
+export declare function pasta_fq_plonk_index_encode(index: ExternalObject<NapiPastaFqPlonkIndex>): Array<number>
+
+export declare function pasta_fq_plonk_index_max_degree(index: ExternalObject<NapiPastaFqPlonkIndex>): number
+
+export declare function pasta_fq_plonk_index_public_inputs(index: ExternalObject<NapiPastaFqPlonkIndex>): number
+
+export declare function pasta_fq_plonk_index_read(offset: number | undefined | null, srs: ExternalObject<NapiFqSrs>, path: string): ExternalObject<NapiPastaFqPlonkIndex>
+
+export declare function pasta_fq_plonk_index_write(append: boolean | undefined | null, index: ExternalObject<NapiPastaFqPlonkIndex>, path: string): void
+
+export declare function pasta_fq_plonk_verifier_index_shifts(log2Size: number): WasmFqShifts
+
+export declare function prover_index_fp_from_bytes(bytes: Uint8Array): ExternalObject<NapiPastaFpPlonkIndex>
+
+export declare function prover_index_fp_to_bytes(index: ExternalObject<NapiPastaFpPlonkIndex>): Uint8Array
+
+export declare function prover_index_fq_from_bytes(bytes: Uint8Array): ExternalObject<NapiPastaFqPlonkIndex>
+
+export declare function prover_index_fq_to_bytes(index: ExternalObject<NapiPastaFqPlonkIndex>): Uint8Array
+
+export declare function prover_to_json(proverIndex: ExternalObject<NapiPastaFpPlonkIndex>): string
+
+export interface WasmFeatureFlags {
+  rangeCheck0: boolean
+  rangeCheck1: boolean
+  foreignFieldAdd: boolean
+  foreignFieldMul: boolean
+  xor: boolean
+  rot: boolean
+  lookup: boolean
+  runtimeTables: boolean
+}
+
+export interface WasmFpDomain {
+  logSizeOfGroup: number
+  groupGen: Array<number>
+}
+
+export interface WasmFpGate {
+  typ: number
+  wires: WasmGateWires
+  coeffs: Array<number>
+}
+
+export interface WasmFpLookupSelectors {
+  xor?: NapiFpPolyComm
+  lookup?: NapiFpPolyComm
+  rangeCheck?: NapiFpPolyComm
+  ffmul?: NapiFpPolyComm
+}
+
+export interface WasmFpLookupVerifierIndex {
+  jointLookupUsed: boolean
+  lookupTable: Array<NapiFpPolyComm>
+  lookupSelectors: WasmFpLookupSelectors
+  tableIds?: NapiFpPolyComm
+  lookupInfo: NapiLookupInfo
+  runtimeTablesSelector?: NapiFpPolyComm
+}
+
+export interface WasmFpPlonkVerificationEvals {
+  sigmaComm: Array<NapiFpPolyComm>
+  coefficientsComm: Array<NapiFpPolyComm>
+  genericComm: NapiFpPolyComm
+  psmComm: NapiFpPolyComm
+  completeAddComm: NapiFpPolyComm
+  mulComm: NapiFpPolyComm
+  emulComm: NapiFpPolyComm
+  endomulScalarComm: NapiFpPolyComm
+  xorComm?: NapiFpPolyComm
+  rangeCheck0Comm?: NapiFpPolyComm
+  rangeCheck1Comm?: NapiFpPolyComm
+  foreignFieldAddComm?: NapiFpPolyComm
+  foreignFieldMulComm?: NapiFpPolyComm
+  rotComm?: NapiFpPolyComm
+}
+
+export interface WasmFpPlonkVerifierIndex {
+  domain: WasmFpDomain
+  maxPolySize: number
+  public: number
+  prevChallenges: number
+  srs: Array<number>
+  evals: WasmFpPlonkVerificationEvals
+  shifts: WasmFpShifts
+  lookupIndex?: WasmFpLookupVerifierIndex
+  zkRows: number
+}
+
+export interface WasmFpShifts {
+  s0: Array<number>
+  s1: Array<number>
+  s2: Array<number>
+  s3: Array<number>
+  s4: Array<number>
+  s5: Array<number>
+  s6: Array<number>
+}
+
+export interface WasmFqDomain {
+  logSizeOfGroup: number
+  groupGen: Array<number>
+}
+
+export interface WasmFqGate {
+  typ: number
+  wires: WasmGateWires
+  coeffs: Array<number>
+}
+
+export interface WasmFqLookupSelectors {
+  xor?: NapiFqPolyComm
+  lookup?: NapiFqPolyComm
+  rangeCheck?: NapiFqPolyComm
+  ffmul?: NapiFqPolyComm
+}
+
+export interface WasmFqLookupVerifierIndex {
+  jointLookupUsed: boolean
+  lookupTable: Array<NapiFqPolyComm>
+  lookupSelectors: WasmFqLookupSelectors
+  tableIds?: NapiFqPolyComm
+  lookupInfo: NapiLookupInfo
+  runtimeTablesSelector?: NapiFqPolyComm
+}
+
+export interface WasmFqPlonkVerificationEvals {
+  sigmaComm: Array<NapiFqPolyComm>
+  coefficientsComm: Array<NapiFqPolyComm>
+  genericComm: NapiFqPolyComm
+  psmComm: NapiFqPolyComm
+  completeAddComm: NapiFqPolyComm
+  mulComm: NapiFqPolyComm
+  emulComm: NapiFqPolyComm
+  endomulScalarComm: NapiFqPolyComm
+  xorComm?: NapiFqPolyComm
+  rangeCheck0Comm?: NapiFqPolyComm
+  rangeCheck1Comm?: NapiFqPolyComm
+  foreignFieldAddComm?: NapiFqPolyComm
+  foreignFieldMulComm?: NapiFqPolyComm
+  rotComm?: NapiFqPolyComm
+}
+
+export interface WasmFqPlonkVerifierIndex {
+  domain: WasmFqDomain
+  maxPolySize: number
+  public: number
+  prevChallenges: number
+  srs: Array<number>
+  evals: WasmFqPlonkVerificationEvals
+  shifts: WasmFqShifts
+  lookupIndex?: WasmFqLookupVerifierIndex
+  zkRows: number
+}
+
+export interface WasmFqShifts {
+  s0: Array<number>
+  s1: Array<number>
+  s2: Array<number>
+  s3: Array<number>
+  s4: Array<number>
+  s5: Array<number>
+  s6: Array<number>
+}
+
+export interface WasmGateWires {
+  w0: NapiWire
+  w1: NapiWire
+  w2: NapiWire
+  w3: NapiWire
+  w4: NapiWire
+  w5: NapiWire
+  w6: NapiWire
+}
+
+export interface WasmGPallas {
+  x: NapiPastaFp
+  y: NapiPastaFp
+  infinity: boolean
+}
+
+export interface WasmGVesta {
+  x: NapiPastaFq
+  y: NapiPastaFq
+  infinity: boolean
+}
+
+export interface WasmLookupFeatures {
+  patterns: WasmLookupPatterns
+  jointLookupUsed: boolean
+  usesRuntimeTables: boolean
+}
+
+export interface WasmLookupInfo {
+  maxPerRow: number
+  maxJointSize: number
+  features: WasmLookupFeatures
+}
+
+export interface WasmLookupPatterns {
+  xor: boolean
+  lookup: boolean
+  rangeCheck: boolean
+  foreignFieldMul: boolean
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@o1js/native-linux-x64",
-  "version": "0.0.1-dev.3",
+  "version": "0.0.1-dev.4",
   "author": "O(1) Labs",
   "os": [
     "linux"