privacy-scaling-explorations / chiquito

DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
188 stars 39 forks source link

Remove chiquito2halo2 function in halo2 backend #276

Closed alxkzmn closed 3 months ago

leolara commented 4 months ago

@alxkzmn

now the halo2 mock prover is not a mock prover, anymore?

The changes to python, apart random setup, are just linting?

alxkzmn commented 4 months ago

Yep, it's not a mock prover anymore but I didn't want to rename it everywhere because we're still waiting for https://github.com/privacy-scaling-explorations/halo2/pull/356 to be merged so we can have the "mock prover" again. Those big changes to Poseidon example is because of formatting, the only real change there is passing the params_path value.