.cargo .circleci .forgejo .github algorithms circuit console curves docs fields ledger metrics parameters synthesizer utilities vm wasm .codecov.yml .gitignore .license_header .rustfmt.toml .rusty-hook.toml CONTRIBUTING.md Cargo.lock Cargo.toml LICENSE.md README.md SECURITY.md build.rs rust-toolchain.toml