poulpy-zk

docs(README): add circuit metrics section with ACIR opcodes and circuit sizes for lwe_proof and glwe_proof

refactor(circuits): split Noir workspace into mlwe_common, lwe_proof, glwe_proof

fix(ci): export PATH after noirup install

chore: format code with nargo fmt

chore: init project