Jack Gilcrest
Jack Gilcrest
Hello, I am trying to build a package [`halo2_backend`](https://github.com/Ethan-000/halo2_backend/tree/0.1.2) I am working on and import it into javascript. I can build the package with `cargo build --lib --release --package noir_halo2_backend_pse...
Issue #37 details how `create_recursive_circuit` calls `current_dir()`. This was fixed for `create_recursive_circuit` but not `continue_recursive_circuit`. This PR makes minimal changes to the wasm targeted `continue_recursive_circuit` to remove fs operations as...
Can be solved with a postinstall bash script, but it would be nice if we could terminate the `@` character in the `TestEnvironment::deploy()` path so that we can access the...
Given requirements for interoperating between axiom gate chips and standard halo2 chips (given with example of keccak rather than StandardPlonk, but same process): * Do halo2-lib computations, make calls to...
It would be ideal to verify the authenticity of Halo2 circuits natively. We should run MockProver against generated circuits to verify their outputs. One issue is that the [witness solver](https://github.com/noir-lang/noir/blob/master/crates/nargo_cli/src/cli/prove_cmd.rs#L112)...
I tried randomly [assigning the witnesses for arithmetic constraints in Axiom](https://github.com/Ethan-000/halo2_backend/blob/master/src/axiom_halo2/constrains.rs#L63-L82) and the proof verifies always. but [PSE](https://github.com/Ethan-000/halo2_backend/blob/master/src/pse_halo2/constrains.rs#L55-L72) seems to constrain correctly (incorrectly setting a/b/c will cause verification to fail)...
Also reverts change with `- match_start` for capture groups