Fix circom's frontend witness_generator's wasm within wasm #155
Comments
|
@CPerezz you were working on fixing this one, right? |
CPerezz
added a commit
that referenced
this issue
Oct 15, 2024
This commit introduces CircomFCircuitBrowser, a structure that facilitates folding of Circom-generated circuits in the browser via WASM. It loads R1CS data, handles witness inputs, and generates constraints for the folding process. Resolves: #155
arnaucube
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The current approach to allow usage of the Sonobe's Circom frontend in the browser, takes the Circom's generated 'witness_generator' wasm and it 'simulates' it within wasm (compiled from rust). This 'wasm inception' of 1 level seems to be a bit costly, which results into folding steps being considerably slow (~10s per step, using Circom frontend in the browser).
The Circom witness generation outputs a wasm file that can be directly executed in the browser to generate the witness fast (without interpreting it inside another wasm), ideally we would not be simulating wasm inside another wasm but directly using the wasm from circom called from js, and passing the result of this computation to the wasm compilation of sonobe, which should be faster than the current approach.
Notice that this only affects the Sonobe's Circom frontend used in the browser.
The text was updated successfully, but these errors were encountered: