Skip to content

Commit

Permalink
Merge pull request #12 from o1-labs/refactor/field
Browse files Browse the repository at this point in the history 
Move Field to JS
  • Loading branch information
@mitschabaude
mitschabaude committed May 31, 2023
2 parents 1ca87ce + 371efb5 commit 0925b00
Show file tree
Hide file tree
Showing 15 changed files with 92,584 additions and 92,095 deletions.
144 changes: 72 additions & 72 deletions compiled/node_bindings/plonk_wasm.cjs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1894,69 +1894,69 @@ module.exports.caml_pallas_affine_deep_copy = function(x) {
};

/**
* @returns {WasmFqGateVector}
* @returns {WasmFpGateVector}
*/
module.exports.caml_pasta_fq_plonk_gate_vector_create = function() {
const ret = wasm.caml_pasta_fq_plonk_gate_vector_create();
return WasmFqGateVector.__wrap(ret);
module.exports.caml_pasta_fp_plonk_gate_vector_create = function() {
const ret = wasm.caml_pasta_fp_plonk_gate_vector_create();
return WasmFpGateVector.__wrap(ret);
};

/**
* @param {WasmFqGateVector} v
* @param {WasmFqGate} gate
* @param {WasmFpGateVector} v
* @param {WasmFpGate} gate
*/
module.exports.caml_pasta_fq_plonk_gate_vector_add = function(v, gate) {
_assertClass(v, WasmFqGateVector);
_assertClass(gate, WasmFqGate);
module.exports.caml_pasta_fp_plonk_gate_vector_add = function(v, gate) {
_assertClass(v, WasmFpGateVector);
_assertClass(gate, WasmFpGate);
var ptr0 = gate.__destroy_into_raw();
wasm.caml_pasta_fq_plonk_gate_vector_add(v.ptr, ptr0);
wasm.caml_pasta_fp_plonk_gate_vector_add(v.ptr, ptr0);
};

/**
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @param {number} i
* @returns {WasmFqGate}
* @returns {WasmFpGate}
*/
module.exports.caml_pasta_fq_plonk_gate_vector_get = function(v, i) {
_assertClass(v, WasmFqGateVector);
const ret = wasm.caml_pasta_fq_plonk_gate_vector_get(v.ptr, i);
return WasmFqGate.__wrap(ret);
module.exports.caml_pasta_fp_plonk_gate_vector_get = function(v, i) {
_assertClass(v, WasmFpGateVector);
const ret = wasm.caml_pasta_fp_plonk_gate_vector_get(v.ptr, i);
return WasmFpGate.__wrap(ret);
};

/**
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @returns {number}
*/
module.exports.caml_pasta_fq_plonk_gate_vector_len = function(v) {
_assertClass(v, WasmFqGateVector);
const ret = wasm.caml_pasta_fq_plonk_gate_vector_len(v.ptr);
module.exports.caml_pasta_fp_plonk_gate_vector_len = function(v) {
_assertClass(v, WasmFpGateVector);
const ret = wasm.caml_pasta_fp_plonk_gate_vector_len(v.ptr);
return ret >>> 0;
};

/**
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @param {Wire} t
* @param {Wire} h
*/
module.exports.caml_pasta_fq_plonk_gate_vector_wrap = function(v, t, h) {
_assertClass(v, WasmFqGateVector);
module.exports.caml_pasta_fp_plonk_gate_vector_wrap = function(v, t, h) {
_assertClass(v, WasmFpGateVector);
_assertClass(t, Wire);
var ptr0 = t.__destroy_into_raw();
_assertClass(h, Wire);
var ptr1 = h.__destroy_into_raw();
wasm.caml_pasta_fq_plonk_gate_vector_wrap(v.ptr, ptr0, ptr1);
wasm.caml_pasta_fp_plonk_gate_vector_wrap(v.ptr, ptr0, ptr1);
};

/**
* @param {number} public_input_size
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @returns {Uint8Array}
*/
module.exports.caml_pasta_fq_plonk_gate_vector_digest = function(public_input_size, v) {
module.exports.caml_pasta_fp_plonk_gate_vector_digest = function(public_input_size, v) {
try {
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
_assertClass(v, WasmFqGateVector);
wasm.caml_pasta_fq_plonk_gate_vector_digest(retptr, public_input_size, v.ptr);
_assertClass(v, WasmFpGateVector);
wasm.caml_pasta_fp_plonk_gate_vector_digest(retptr, public_input_size, v.ptr);
var r0 = getInt32Memory0()[retptr / 4 + 0];
var r1 = getInt32Memory0()[retptr / 4 + 1];
var v0 = getArrayU8FromWasm0(r0, r1).slice();
Expand All @@ -1969,14 +1969,14 @@ module.exports.caml_pasta_fq_plonk_gate_vector_digest = function(public_input_si

/**
* @param {number} public_input_size
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @returns {string}
*/
module.exports.caml_pasta_fq_plonk_circuit_serialize = function(public_input_size, v) {
module.exports.caml_pasta_fp_plonk_circuit_serialize = function(public_input_size, v) {
try {
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
_assertClass(v, WasmFqGateVector);
wasm.caml_pasta_fq_plonk_circuit_serialize(retptr, public_input_size, v.ptr);
_assertClass(v, WasmFpGateVector);
wasm.caml_pasta_fp_plonk_circuit_serialize(retptr, public_input_size, v.ptr);
var r0 = getInt32Memory0()[retptr / 4 + 0];
var r1 = getInt32Memory0()[retptr / 4 + 1];
return getStringFromWasm0(r0, r1);
Expand Down Expand Up @@ -2391,69 +2391,69 @@ module.exports.prover_to_json = function(prover_index) {
};

/**
* @returns {WasmFpGateVector}
* @returns {WasmFqGateVector}
*/
module.exports.caml_pasta_fp_plonk_gate_vector_create = function() {
const ret = wasm.caml_pasta_fp_plonk_gate_vector_create();
return WasmFpGateVector.__wrap(ret);
module.exports.caml_pasta_fq_plonk_gate_vector_create = function() {
const ret = wasm.caml_pasta_fq_plonk_gate_vector_create();
return WasmFqGateVector.__wrap(ret);
};

/**
* @param {WasmFpGateVector} v
* @param {WasmFpGate} gate
* @param {WasmFqGateVector} v
* @param {WasmFqGate} gate
*/
module.exports.caml_pasta_fp_plonk_gate_vector_add = function(v, gate) {
_assertClass(v, WasmFpGateVector);
_assertClass(gate, WasmFpGate);
module.exports.caml_pasta_fq_plonk_gate_vector_add = function(v, gate) {
_assertClass(v, WasmFqGateVector);
_assertClass(gate, WasmFqGate);
var ptr0 = gate.__destroy_into_raw();
wasm.caml_pasta_fp_plonk_gate_vector_add(v.ptr, ptr0);
wasm.caml_pasta_fq_plonk_gate_vector_add(v.ptr, ptr0);
};

/**
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @param {number} i
* @returns {WasmFpGate}
* @returns {WasmFqGate}
*/
module.exports.caml_pasta_fp_plonk_gate_vector_get = function(v, i) {
_assertClass(v, WasmFpGateVector);
const ret = wasm.caml_pasta_fp_plonk_gate_vector_get(v.ptr, i);
return WasmFpGate.__wrap(ret);
module.exports.caml_pasta_fq_plonk_gate_vector_get = function(v, i) {
_assertClass(v, WasmFqGateVector);
const ret = wasm.caml_pasta_fq_plonk_gate_vector_get(v.ptr, i);
return WasmFqGate.__wrap(ret);
};

/**
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @returns {number}
*/
module.exports.caml_pasta_fp_plonk_gate_vector_len = function(v) {
_assertClass(v, WasmFpGateVector);
const ret = wasm.caml_pasta_fp_plonk_gate_vector_len(v.ptr);
module.exports.caml_pasta_fq_plonk_gate_vector_len = function(v) {
_assertClass(v, WasmFqGateVector);
const ret = wasm.caml_pasta_fq_plonk_gate_vector_len(v.ptr);
return ret >>> 0;
};

/**
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @param {Wire} t
* @param {Wire} h
*/
module.exports.caml_pasta_fp_plonk_gate_vector_wrap = function(v, t, h) {
_assertClass(v, WasmFpGateVector);
module.exports.caml_pasta_fq_plonk_gate_vector_wrap = function(v, t, h) {
_assertClass(v, WasmFqGateVector);
_assertClass(t, Wire);
var ptr0 = t.__destroy_into_raw();
_assertClass(h, Wire);
var ptr1 = h.__destroy_into_raw();
wasm.caml_pasta_fp_plonk_gate_vector_wrap(v.ptr, ptr0, ptr1);
wasm.caml_pasta_fq_plonk_gate_vector_wrap(v.ptr, ptr0, ptr1);
};

/**
* @param {number} public_input_size
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @returns {Uint8Array}
*/
module.exports.caml_pasta_fp_plonk_gate_vector_digest = function(public_input_size, v) {
module.exports.caml_pasta_fq_plonk_gate_vector_digest = function(public_input_size, v) {
try {
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
_assertClass(v, WasmFpGateVector);
wasm.caml_pasta_fp_plonk_gate_vector_digest(retptr, public_input_size, v.ptr);
_assertClass(v, WasmFqGateVector);
wasm.caml_pasta_fq_plonk_gate_vector_digest(retptr, public_input_size, v.ptr);
var r0 = getInt32Memory0()[retptr / 4 + 0];
var r1 = getInt32Memory0()[retptr / 4 + 1];
var v0 = getArrayU8FromWasm0(r0, r1).slice();
Expand All @@ -2466,14 +2466,14 @@ module.exports.caml_pasta_fp_plonk_gate_vector_digest = function(public_input_si

/**
* @param {number} public_input_size
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @returns {string}
*/
module.exports.caml_pasta_fp_plonk_circuit_serialize = function(public_input_size, v) {
module.exports.caml_pasta_fq_plonk_circuit_serialize = function(public_input_size, v) {
try {
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
_assertClass(v, WasmFpGateVector);
wasm.caml_pasta_fp_plonk_circuit_serialize(retptr, public_input_size, v.ptr);
_assertClass(v, WasmFqGateVector);
wasm.caml_pasta_fq_plonk_circuit_serialize(retptr, public_input_size, v.ptr);
var r0 = getInt32Memory0()[retptr / 4 + 0];
var r1 = getInt32Memory0()[retptr / 4 + 1];
return getStringFromWasm0(r0, r1);
Expand Down Expand Up @@ -7622,6 +7622,14 @@ module.exports.__wbindgen_is_object = function(arg0) {
return ret;
};

module.exports.__wbg_getRandomValues_3774744e221a22ad = function() { return handleError(function (arg0, arg1) {
getObject(arg0).getRandomValues(getObject(arg1));
}, arguments) };

module.exports.__wbg_randomFillSync_e950366c42764a07 = function() { return handleError(function (arg0, arg1) {
getObject(arg0).randomFillSync(takeObject(arg1));
}, arguments) };

module.exports.__wbg_crypto_70a96de3b6b73dac = function(arg0) {
const ret = getObject(arg0).crypto;
return addHeapObject(ret);
Expand Down Expand Up @@ -7662,14 +7670,6 @@ module.exports.__wbindgen_is_function = function(arg0) {
return ret;
};

module.exports.__wbg_getRandomValues_3774744e221a22ad = function() { return handleError(function (arg0, arg1) {
getObject(arg0).getRandomValues(getObject(arg1));
}, arguments) };

module.exports.__wbg_randomFillSync_e950366c42764a07 = function() { return handleError(function (arg0, arg1) {
getObject(arg0).randomFillSync(takeObject(arg1));
}, arguments) };

module.exports.__wbg_get_27fe3dac1c4d0224 = function(arg0, arg1) {
const ret = getObject(arg0)[arg1 >>> 0];
return addHeapObject(ret);
Expand Down
64 changes: 32 additions & 32 deletions compiled/node_bindings/plonk_wasm.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -549,43 +549,43 @@ export function caml_pallas_of_affine_coordinates(x: Uint8Array, y: Uint8Array):
*/
export function caml_pallas_affine_deep_copy(x: WasmGPallas): WasmGPallas;
/**
* @returns {WasmFqGateVector}
* @returns {WasmFpGateVector}
*/
export function caml_pasta_fq_plonk_gate_vector_create(): WasmFqGateVector;
export function caml_pasta_fp_plonk_gate_vector_create(): WasmFpGateVector;
/**
* @param {WasmFqGateVector} v
* @param {WasmFqGate} gate
* @param {WasmFpGateVector} v
* @param {WasmFpGate} gate
*/
export function caml_pasta_fq_plonk_gate_vector_add(v: WasmFqGateVector, gate: WasmFqGate): void;
export function caml_pasta_fp_plonk_gate_vector_add(v: WasmFpGateVector, gate: WasmFpGate): void;
/**
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @param {number} i
* @returns {WasmFqGate}
* @returns {WasmFpGate}
*/
export function caml_pasta_fq_plonk_gate_vector_get(v: WasmFqGateVector, i: number): WasmFqGate;
export function caml_pasta_fp_plonk_gate_vector_get(v: WasmFpGateVector, i: number): WasmFpGate;
/**
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @returns {number}
*/
export function caml_pasta_fq_plonk_gate_vector_len(v: WasmFqGateVector): number;
export function caml_pasta_fp_plonk_gate_vector_len(v: WasmFpGateVector): number;
/**
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @param {Wire} t
* @param {Wire} h
*/
export function caml_pasta_fq_plonk_gate_vector_wrap(v: WasmFqGateVector, t: Wire, h: Wire): void;
export function caml_pasta_fp_plonk_gate_vector_wrap(v: WasmFpGateVector, t: Wire, h: Wire): void;
/**
* @param {number} public_input_size
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @returns {Uint8Array}
*/
export function caml_pasta_fq_plonk_gate_vector_digest(public_input_size: number, v: WasmFqGateVector): Uint8Array;
export function caml_pasta_fp_plonk_gate_vector_digest(public_input_size: number, v: WasmFpGateVector): Uint8Array;
/**
* @param {number} public_input_size
* @param {WasmFqGateVector} v
* @param {WasmFpGateVector} v
* @returns {string}
*/
export function caml_pasta_fq_plonk_circuit_serialize(public_input_size: number, v: WasmFqGateVector): string;
export function caml_pasta_fp_plonk_circuit_serialize(public_input_size: number, v: WasmFpGateVector): string;
/**
* @param {number} depth
* @returns {WasmFpSrs}
Expand Down Expand Up @@ -714,43 +714,43 @@ export function caml_fq_srs_h(srs: WasmFqSrs): WasmGPallas;
*/
export function prover_to_json(prover_index: WasmPastaFpPlonkIndex): string;
/**
* @returns {WasmFpGateVector}
* @returns {WasmFqGateVector}
*/
export function caml_pasta_fp_plonk_gate_vector_create(): WasmFpGateVector;
export function caml_pasta_fq_plonk_gate_vector_create(): WasmFqGateVector;
/**
* @param {WasmFpGateVector} v
* @param {WasmFpGate} gate
* @param {WasmFqGateVector} v
* @param {WasmFqGate} gate
*/
export function caml_pasta_fp_plonk_gate_vector_add(v: WasmFpGateVector, gate: WasmFpGate): void;
export function caml_pasta_fq_plonk_gate_vector_add(v: WasmFqGateVector, gate: WasmFqGate): void;
/**
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @param {number} i
* @returns {WasmFpGate}
* @returns {WasmFqGate}
*/
export function caml_pasta_fp_plonk_gate_vector_get(v: WasmFpGateVector, i: number): WasmFpGate;
export function caml_pasta_fq_plonk_gate_vector_get(v: WasmFqGateVector, i: number): WasmFqGate;
/**
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @returns {number}
*/
export function caml_pasta_fp_plonk_gate_vector_len(v: WasmFpGateVector): number;
export function caml_pasta_fq_plonk_gate_vector_len(v: WasmFqGateVector): number;
/**
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @param {Wire} t
* @param {Wire} h
*/
export function caml_pasta_fp_plonk_gate_vector_wrap(v: WasmFpGateVector, t: Wire, h: Wire): void;
export function caml_pasta_fq_plonk_gate_vector_wrap(v: WasmFqGateVector, t: Wire, h: Wire): void;
/**
* @param {number} public_input_size
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @returns {Uint8Array}
*/
export function caml_pasta_fp_plonk_gate_vector_digest(public_input_size: number, v: WasmFpGateVector): Uint8Array;
export function caml_pasta_fq_plonk_gate_vector_digest(public_input_size: number, v: WasmFqGateVector): Uint8Array;
/**
* @param {number} public_input_size
* @param {WasmFpGateVector} v
* @param {WasmFqGateVector} v
* @returns {string}
*/
export function caml_pasta_fp_plonk_circuit_serialize(public_input_size: number, v: WasmFpGateVector): string;
export function caml_pasta_fq_plonk_circuit_serialize(public_input_size: number, v: WasmFqGateVector): string;
/**
* @param {number | undefined} offset
* @param {WasmFpSrs} srs
Expand Down
Binary file modified compiled/node_bindings/plonk_wasm_bg.wasm
View file
Binary file not shown.
Loading

0 comments on commit 0925b00

Please sign in to comment.