Commit lock file

This commit is contained in:
Daniel Tehrani
2023-05-12 16:17:33 +02:00
parent f05b40e7f3
commit 5fa21ec9c3
4 changed files with 1507 additions and 138 deletions

3
.gitignore vendored
View File

@@ -2,9 +2,6 @@
# will have compiled files and executables # will have compiled files and executables
/target/ /target/
# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
Cargo.lock
# These are backup files generated by rustfmt # These are backup files generated by rustfmt
**/*.rs.bk **/*.rs.bk

1398
Cargo.lock generated Normal file

File diff suppressed because it is too large Load Diff

View File

@@ -1,62 +1,33 @@
/* tslint:disable */ /* tslint:disable */
/* eslint-disable */ /* eslint-disable */
/** /**
*/ */
export function init_panic_hook(): void; export function init_panic_hook(): void;
/** /**
* @param {Uint8Array} circuit * @param {Uint8Array} circuit
* @param {Uint8Array} vars * @param {Uint8Array} vars
* @param {Uint8Array} public_inputs * @param {Uint8Array} public_inputs
* @returns {Uint8Array} * @returns {Uint8Array}
*/ */
export function prove( export function prove(circuit: Uint8Array, vars: Uint8Array, public_inputs: Uint8Array): Uint8Array;
circuit: Uint8Array,
vars: Uint8Array,
public_inputs: Uint8Array
): Uint8Array;
/** /**
* @param {Uint8Array} circuit * @param {Uint8Array} circuit
* @param {Uint8Array} proof * @param {Uint8Array} proof
* @param {Uint8Array} public_input * @param {Uint8Array} public_input
* @returns {boolean} * @returns {boolean}
*/ */
export function verify( export function verify(circuit: Uint8Array, proof: Uint8Array, public_input: Uint8Array): boolean;
circuit: Uint8Array,
proof: Uint8Array,
public_input: Uint8Array
): boolean;
/** /**
* @param {Uint8Array} input_bytes * @param {Uint8Array} input_bytes
* @returns {Uint8Array} * @returns {Uint8Array}
*/ */
export function poseidon(input_bytes: Uint8Array): Uint8Array; export function poseidon(input_bytes: Uint8Array): Uint8Array;
export type InitInput = export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
| RequestInfo
| URL
| Response
| BufferSource
| WebAssembly.Module;
export interface InitOutput { export interface InitOutput {
readonly prove: ( readonly prove: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
a: number, readonly verify: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
b: number,
c: number,
d: number,
e: number,
f: number,
g: number
) => void;
readonly verify: (
a: number,
b: number,
c: number,
d: number,
e: number,
f: number,
g: number
) => void;
readonly poseidon: (a: number, b: number, c: number) => void; readonly poseidon: (a: number, b: number, c: number) => void;
readonly init_panic_hook: () => void; readonly init_panic_hook: () => void;
readonly memory: WebAssembly.Memory; readonly memory: WebAssembly.Memory;
@@ -71,29 +42,23 @@ export interface InitOutput {
export type SyncInitInput = BufferSource | WebAssembly.Module; export type SyncInitInput = BufferSource | WebAssembly.Module;
/** /**
* Instantiates the given `module`, which can either be bytes or * Instantiates the given `module`, which can either be bytes or
* a precompiled `WebAssembly.Module`. * a precompiled `WebAssembly.Module`.
* *
* @param {SyncInitInput} module * @param {SyncInitInput} module
* @param {WebAssembly.Memory} maybe_memory * @param {WebAssembly.Memory} maybe_memory
* *
* @returns {InitOutput} * @returns {InitOutput}
*/ */
export function initSync( export function initSync(module: SyncInitInput, maybe_memory?: WebAssembly.Memory): InitOutput;
module: SyncInitInput,
maybe_memory?: WebAssembly.Memory
): InitOutput;
/** /**
* If `module_or_path` is {RequestInfo} or {URL}, makes a request and * If `module_or_path` is {RequestInfo} or {URL}, makes a request and
* for everything else, calls `WebAssembly.instantiate` directly. * for everything else, calls `WebAssembly.instantiate` directly.
* *
* @param {InitInput | Promise<InitInput>} module_or_path * @param {InitInput | Promise<InitInput>} module_or_path
* @param {WebAssembly.Memory} maybe_memory * @param {WebAssembly.Memory} maybe_memory
* *
* @returns {Promise<InitOutput>} * @returns {Promise<InitOutput>}
*/ */
export default function init( export default function __wbg_init (module_or_path?: InitInput | Promise<InitInput>, maybe_memory?: WebAssembly.Memory): Promise<InitOutput>;
module_or_path?: InitInput | Promise<InitInput>,
maybe_memory?: WebAssembly.Memory
): Promise<InitOutput>;

View File

@@ -20,9 +20,9 @@ function takeObject(idx) {
return ret; return ret;
} }
const cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true }); const cachedTextDecoder = (typeof TextDecoder !== 'undefined' ? new TextDecoder('utf-8', { ignoreBOM: true, fatal: true }) : { decode: () => { throw Error('TextDecoder not available') } } );
cachedTextDecoder.decode(); if (typeof TextDecoder !== 'undefined') { cachedTextDecoder.decode(); };
let cachedUint8Memory0 = null; let cachedUint8Memory0 = null;
@@ -34,6 +34,7 @@ function getUint8Memory0() {
} }
function getStringFromWasm0(ptr, len) { function getStringFromWasm0(ptr, len) {
ptr = ptr >>> 0;
return cachedTextDecoder.decode(getUint8Memory0().slice(ptr, ptr + len)); return cachedTextDecoder.decode(getUint8Memory0().slice(ptr, ptr + len));
} }
@@ -54,7 +55,7 @@ export function init_panic_hook() {
let WASM_VECTOR_LEN = 0; let WASM_VECTOR_LEN = 0;
function passArray8ToWasm0(arg, malloc) { function passArray8ToWasm0(arg, malloc) {
const ptr = malloc(arg.length * 1); const ptr = malloc(arg.length * 1) >>> 0;
getUint8Memory0().set(arg, ptr / 1); getUint8Memory0().set(arg, ptr / 1);
WASM_VECTOR_LEN = arg.length; WASM_VECTOR_LEN = arg.length;
return ptr; return ptr;
@@ -70,6 +71,7 @@ function getInt32Memory0() {
} }
function getArrayU8FromWasm0(ptr, len) { function getArrayU8FromWasm0(ptr, len) {
ptr = ptr >>> 0;
return getUint8Memory0().subarray(ptr / 1, ptr / 1 + len); return getUint8Memory0().subarray(ptr / 1, ptr / 1 + len);
} }
/** /**
@@ -95,9 +97,9 @@ export function prove(circuit, vars, public_inputs) {
if (r3) { if (r3) {
throw takeObject(r2); throw takeObject(r2);
} }
var v3 = getArrayU8FromWasm0(r0, r1).slice(); var v4 = getArrayU8FromWasm0(r0, r1).slice();
wasm.__wbindgen_free(r0, r1 * 1); wasm.__wbindgen_free(r0, r1 * 1);
return v3; return v4;
} finally { } finally {
wasm.__wbindgen_add_to_stack_pointer(16); wasm.__wbindgen_add_to_stack_pointer(16);
} }
@@ -148,9 +150,9 @@ export function poseidon(input_bytes) {
if (r3) { if (r3) {
throw takeObject(r2); throw takeObject(r2);
} }
var v1 = getArrayU8FromWasm0(r0, r1).slice(); var v2 = getArrayU8FromWasm0(r0, r1).slice();
wasm.__wbindgen_free(r0, r1 * 1); wasm.__wbindgen_free(r0, r1 * 1);
return v1; return v2;
} finally { } finally {
wasm.__wbindgen_add_to_stack_pointer(16); wasm.__wbindgen_add_to_stack_pointer(16);
} }
@@ -164,7 +166,7 @@ function handleError(f, args) {
} }
} }
const cachedTextEncoder = new TextEncoder('utf-8'); const cachedTextEncoder = (typeof TextEncoder !== 'undefined' ? new TextEncoder('utf-8') : { encode: () => { throw Error('TextEncoder not available') } } );
const encodeString = function (arg, view) { const encodeString = function (arg, view) {
const buf = cachedTextEncoder.encode(arg); const buf = cachedTextEncoder.encode(arg);
@@ -179,14 +181,14 @@ function passStringToWasm0(arg, malloc, realloc) {
if (realloc === undefined) { if (realloc === undefined) {
const buf = cachedTextEncoder.encode(arg); const buf = cachedTextEncoder.encode(arg);
const ptr = malloc(buf.length); const ptr = malloc(buf.length) >>> 0;
getUint8Memory0().subarray(ptr, ptr + buf.length).set(buf); getUint8Memory0().subarray(ptr, ptr + buf.length).set(buf);
WASM_VECTOR_LEN = buf.length; WASM_VECTOR_LEN = buf.length;
return ptr; return ptr;
} }
let len = arg.length; let len = arg.length;
let ptr = malloc(len); let ptr = malloc(len) >>> 0;
const mem = getUint8Memory0(); const mem = getUint8Memory0();
@@ -202,7 +204,7 @@ function passStringToWasm0(arg, malloc, realloc) {
if (offset !== 0) { if (offset !== 0) {
arg = arg.slice(offset); arg = arg.slice(offset);
} }
ptr = realloc(ptr, len, len = offset + arg.length * 3); ptr = realloc(ptr, len, len = offset + arg.length * 3) >>> 0;
const view = getUint8Memory0().subarray(ptr + offset, ptr + len); const view = getUint8Memory0().subarray(ptr + offset, ptr + len);
const ret = encodeString(arg, view); const ret = encodeString(arg, view);
@@ -213,7 +215,7 @@ function passStringToWasm0(arg, malloc, realloc) {
return ptr; return ptr;
} }
async function load(module, imports) { async function __wbg_load(module, imports) {
if (typeof Response === 'function' && module instanceof Response) { if (typeof Response === 'function' && module instanceof Response) {
if (typeof WebAssembly.instantiateStreaming === 'function') { if (typeof WebAssembly.instantiateStreaming === 'function') {
try { try {
@@ -244,18 +246,9 @@ async function load(module, imports) {
} }
} }
function getImports() { function __wbg_get_imports() {
const imports = {}; const imports = {};
imports.wbg = {}; imports.wbg = {};
imports.wbg.__wbg_getRandomValues_3774744e221a22ad = function() { return handleError(function (arg0, arg1) {
getObject(arg0).getRandomValues(getObject(arg1));
}, arguments) };
imports.wbg.__wbindgen_object_drop_ref = function(arg0) {
takeObject(arg0);
};
imports.wbg.__wbg_randomFillSync_e950366c42764a07 = function() { return handleError(function (arg0, arg1) {
getObject(arg0).randomFillSync(takeObject(arg1));
}, arguments) };
imports.wbg.__wbg_crypto_70a96de3b6b73dac = function(arg0) { imports.wbg.__wbg_crypto_70a96de3b6b73dac = function(arg0) {
const ret = getObject(arg0).crypto; const ret = getObject(arg0).crypto;
return addHeapObject(ret); return addHeapObject(ret);
@@ -281,6 +274,9 @@ function getImports() {
const ret = typeof(getObject(arg0)) === 'string'; const ret = typeof(getObject(arg0)) === 'string';
return ret; return ret;
}; };
imports.wbg.__wbindgen_object_drop_ref = function(arg0) {
takeObject(arg0);
};
imports.wbg.__wbg_msCrypto_adbc770ec9eca9c7 = function(arg0) { imports.wbg.__wbg_msCrypto_adbc770ec9eca9c7 = function(arg0) {
const ret = getObject(arg0).msCrypto; const ret = getObject(arg0).msCrypto;
return addHeapObject(ret); return addHeapObject(ret);
@@ -297,11 +293,17 @@ function getImports() {
const ret = getStringFromWasm0(arg0, arg1); const ret = getStringFromWasm0(arg0, arg1);
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_newnoargs_2b8b6bd7753c76ba = function(arg0, arg1) { imports.wbg.__wbg_getRandomValues_3774744e221a22ad = function() { return handleError(function (arg0, arg1) {
getObject(arg0).getRandomValues(getObject(arg1));
}, arguments) };
imports.wbg.__wbg_randomFillSync_e950366c42764a07 = function() { return handleError(function (arg0, arg1) {
getObject(arg0).randomFillSync(takeObject(arg1));
}, arguments) };
imports.wbg.__wbg_newnoargs_e643855c6572a4a8 = function(arg0, arg1) {
const ret = new Function(getStringFromWasm0(arg0, arg1)); const ret = new Function(getStringFromWasm0(arg0, arg1));
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_call_95d1ea488d03e4e8 = function() { return handleError(function (arg0, arg1) { imports.wbg.__wbg_call_f96b398515635514 = function() { return handleError(function (arg0, arg1) {
const ret = getObject(arg0).call(getObject(arg1)); const ret = getObject(arg0).call(getObject(arg1));
return addHeapObject(ret); return addHeapObject(ret);
}, arguments) }; }, arguments) };
@@ -309,19 +311,19 @@ function getImports() {
const ret = getObject(arg0); const ret = getObject(arg0);
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_self_e7c1f827057f6584 = function() { return handleError(function () { imports.wbg.__wbg_self_b9aad7f1c618bfaf = function() { return handleError(function () {
const ret = self.self; const ret = self.self;
return addHeapObject(ret); return addHeapObject(ret);
}, arguments) }; }, arguments) };
imports.wbg.__wbg_window_a09ec664e14b1b81 = function() { return handleError(function () { imports.wbg.__wbg_window_55e469842c98b086 = function() { return handleError(function () {
const ret = window.window; const ret = window.window;
return addHeapObject(ret); return addHeapObject(ret);
}, arguments) }; }, arguments) };
imports.wbg.__wbg_globalThis_87cbb8506fecf3a9 = function() { return handleError(function () { imports.wbg.__wbg_globalThis_d0957e302752547e = function() { return handleError(function () {
const ret = globalThis.globalThis; const ret = globalThis.globalThis;
return addHeapObject(ret); return addHeapObject(ret);
}, arguments) }; }, arguments) };
imports.wbg.__wbg_global_c85a9259e621f3db = function() { return handleError(function () { imports.wbg.__wbg_global_ae2f87312b8987fb = function() { return handleError(function () {
const ret = global.global; const ret = global.global;
return addHeapObject(ret); return addHeapObject(ret);
}, arguments) }; }, arguments) };
@@ -329,30 +331,30 @@ function getImports() {
const ret = getObject(arg0) === undefined; const ret = getObject(arg0) === undefined;
return ret; return ret;
}; };
imports.wbg.__wbg_call_9495de66fdbe016b = function() { return handleError(function (arg0, arg1, arg2) { imports.wbg.__wbg_call_35782e9a1aa5e091 = function() { return handleError(function (arg0, arg1, arg2) {
const ret = getObject(arg0).call(getObject(arg1), getObject(arg2)); const ret = getObject(arg0).call(getObject(arg1), getObject(arg2));
return addHeapObject(ret); return addHeapObject(ret);
}, arguments) }; }, arguments) };
imports.wbg.__wbg_buffer_cf65c07de34b9a08 = function(arg0) { imports.wbg.__wbg_buffer_fcbfb6d88b2732e9 = function(arg0) {
const ret = getObject(arg0).buffer; const ret = getObject(arg0).buffer;
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_newwithbyteoffsetandlength_9fb2f11355ecadf5 = function(arg0, arg1, arg2) { imports.wbg.__wbg_newwithbyteoffsetandlength_92c251989c485785 = function(arg0, arg1, arg2) {
const ret = new Uint8Array(getObject(arg0), arg1 >>> 0, arg2 >>> 0); const ret = new Uint8Array(getObject(arg0), arg1 >>> 0, arg2 >>> 0);
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_new_537b7341ce90bb31 = function(arg0) { imports.wbg.__wbg_new_bc5d9aad3f9ac80e = function(arg0) {
const ret = new Uint8Array(getObject(arg0)); const ret = new Uint8Array(getObject(arg0));
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_set_17499e8aa4003ebd = function(arg0, arg1, arg2) { imports.wbg.__wbg_set_4b3aa8445ac1e91c = function(arg0, arg1, arg2) {
getObject(arg0).set(getObject(arg1), arg2 >>> 0); getObject(arg0).set(getObject(arg1), arg2 >>> 0);
}; };
imports.wbg.__wbg_newwithlength_b56c882b57805732 = function(arg0) { imports.wbg.__wbg_newwithlength_89eca18f2603a999 = function(arg0) {
const ret = new Uint8Array(arg0 >>> 0); const ret = new Uint8Array(arg0 >>> 0);
return addHeapObject(ret); return addHeapObject(ret);
}; };
imports.wbg.__wbg_subarray_7526649b91a252a6 = function(arg0, arg1, arg2) { imports.wbg.__wbg_subarray_7649d027b2b141b3 = function(arg0, arg1, arg2) {
const ret = getObject(arg0).subarray(arg1 >>> 0, arg2 >>> 0); const ret = getObject(arg0).subarray(arg1 >>> 0, arg2 >>> 0);
return addHeapObject(ret); return addHeapObject(ret);
}; };
@@ -362,16 +364,20 @@ function getImports() {
}; };
imports.wbg.__wbg_stack_658279fe44541cf6 = function(arg0, arg1) { imports.wbg.__wbg_stack_658279fe44541cf6 = function(arg0, arg1) {
const ret = getObject(arg1).stack; const ret = getObject(arg1).stack;
const ptr0 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc); const ptr1 = passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
const len0 = WASM_VECTOR_LEN; const len1 = WASM_VECTOR_LEN;
getInt32Memory0()[arg0 / 4 + 1] = len0; getInt32Memory0()[arg0 / 4 + 1] = len1;
getInt32Memory0()[arg0 / 4 + 0] = ptr0; getInt32Memory0()[arg0 / 4 + 0] = ptr1;
}; };
imports.wbg.__wbg_error_f851667af71bcfc6 = function(arg0, arg1) { imports.wbg.__wbg_error_f851667af71bcfc6 = function(arg0, arg1) {
let deferred0_0;
let deferred0_1;
try { try {
deferred0_0 = arg0;
deferred0_1 = arg1;
console.error(getStringFromWasm0(arg0, arg1)); console.error(getStringFromWasm0(arg0, arg1));
} finally { } finally {
wasm.__wbindgen_free(arg0, arg1); wasm.__wbindgen_free(deferred0_0, deferred0_1);
} }
}; };
imports.wbg.__wbindgen_throw = function(arg0, arg1) { imports.wbg.__wbindgen_throw = function(arg0, arg1) {
@@ -385,13 +391,13 @@ function getImports() {
return imports; return imports;
} }
function initMemory(imports, maybe_memory) { function __wbg_init_memory(imports, maybe_memory) {
imports.wbg.memory = maybe_memory || new WebAssembly.Memory({initial:18,maximum:65536,shared:true}); imports.wbg.memory = maybe_memory || new WebAssembly.Memory({initial:18,maximum:65536,shared:true});
} }
function finalizeInit(instance, module) { function __wbg_finalize_init(instance, module) {
wasm = instance.exports; wasm = instance.exports;
init.__wbindgen_wasm_module = module; __wbg_init.__wbindgen_wasm_module = module;
cachedInt32Memory0 = null; cachedInt32Memory0 = null;
cachedUint8Memory0 = null; cachedUint8Memory0 = null;
@@ -400,42 +406,45 @@ function finalizeInit(instance, module) {
} }
async function initSync(module, maybe_memory) { async function initSync(module, maybe_memory) {
if (!wasm) { if (wasm !== undefined) return wasm;
const imports = getImports();
initMemory(imports, maybe_memory); const imports = __wbg_get_imports();
/* __wbg_init_memory(imports, maybe_memory);
if (!(module instanceof WebAssembly.Module)) {
module = new WebAssembly.Module(module); /*
} if (!(module instanceof WebAssembly.Module)) {
*/ module = new WebAssembly.Module(module);
const compiled = WebAssembly.compile(module);
const instance = await WebAssembly.instantiate(await compiled, imports);
return finalizeInit(instance, module);
} }
*/
const compiled = WebAssembly.compile(module);
const instance = await WebAssembly.instantiate(await compiled, imports);
return __wbg_finalize_init(instance, module);
} }
async function init(input, maybe_memory) { async function __wbg_init(input, maybe_memory) {
if (wasm !== undefined) return wasm;
/* /*
if (typeof input === 'undefined') { if (typeof input === 'undefined') {
input = new URL('spartan_wasm_bg.wasm', import.meta.url); input = new URL('spartan_wasm_bg.wasm', import.meta.url);
} }
*/ */
const imports = getImports(); const imports = __wbg_get_imports();
if (typeof input === 'string' || (typeof Request === 'function' && input instanceof Request) || (typeof URL === 'function' && input instanceof URL)) { if (typeof input === 'string' || (typeof Request === 'function' && input instanceof Request) || (typeof URL === 'function' && input instanceof URL)) {
input = fetch(input); input = fetch(input);
} }
initMemory(imports, maybe_memory); __wbg_init_memory(imports, maybe_memory);
const { instance, module } = await load(await input, imports); const { instance, module } = await __wbg_load(await input, imports);
return finalizeInit(instance, module); return __wbg_finalize_init(instance, module);
} }
export { initSync } export { initSync }
export default init; export default __wbg_init;