[don't-merge] fix: use sync-halo2-lib-0.4.0 branch of halo2_proofs#22

silathdiir wants to merge 1 commit intodevelopscroll-tech/halo2-lib:developfrom

v0.1.5-with-halo2-0.4.0scroll-tech/halo2-lib:v0.1.5-with-halo2-0.4.0Copy head branch name to clipboard