public inbox for pve-devel@lists.proxmox.com
 help / color / mirror / Atom feed
From: "Shannon Sterz" <s.sterz@proxmox.com>
To: "Nicolas Frey" <n.frey@proxmox.com>
Cc: Proxmox VE development discussion <pve-devel@lists.proxmox.com>
Subject: Re: [pve-devel] [PATCH proxmox v5 1/4] add proxmox-pgp subcrate, move POM verifier code to it
Date: Wed, 29 Oct 2025 11:54:57 +0100	[thread overview]
Message-ID: <DDUR1IMY6YX2.1IQGQL4KL3BO9@proxmox.com> (raw)
In-Reply-To: <20251023103953.305810-2-n.frey@proxmox.com>

On Thu Oct 23, 2025 at 12:39 PM CEST, Nicolas Frey wrote:
> Add new micro-crate `proxmox-pgp` for use in `proxmox-apt` to verify
> repository signatures. Code is derived from `proxmox-offline-mirror`.
> If this patch is applied, then `proxmox-offline-mirror` should use
> the `proxmox-pgp` crate.
>
> For the original development history, see commits related to [0].
>
> [0] https://git.proxmox.com/?p=proxmox-offline-mirror.git;a=blob;f=src/helpers/verifier.rs;h=15195a6ec3413ad3c016fffc38f9eee3cefc6827;hb=cd56fab
>
> Suggested-by: Thomas Lamprecht <t.lamprech@proxmox.com>
> Signed-off-by: Nicolas Frey <n.frey@proxmox.com>
> ---
>  Cargo.toml                       |   2 +
>  proxmox-pgp/Cargo.toml           |  17 +++
>  proxmox-pgp/debian/changelog     |   5 +
>  proxmox-pgp/debian/control       |  40 +++++++
>  proxmox-pgp/debian/copyright     |  18 +++
>  proxmox-pgp/debian/debcargo.toml |   7 ++
>  proxmox-pgp/src/lib.rs           |   5 +
>  proxmox-pgp/src/verifier.rs      | 200 +++++++++++++++++++++++++++++++
>  8 files changed, 294 insertions(+)
>  create mode 100644 proxmox-pgp/Cargo.toml
>  create mode 100644 proxmox-pgp/debian/changelog
>  create mode 100644 proxmox-pgp/debian/control
>  create mode 100644 proxmox-pgp/debian/copyright
>  create mode 100644 proxmox-pgp/debian/debcargo.toml
>  create mode 100644 proxmox-pgp/src/lib.rs
>  create mode 100644 proxmox-pgp/src/verifier.rs
>
> diff --git a/Cargo.toml b/Cargo.toml
> index 8091bf70..7d35c9fd 100644
> --- a/Cargo.toml
> +++ b/Cargo.toml
> @@ -28,6 +28,7 @@ members = [
>      "proxmox-network-types",
>      "proxmox-notify",
>      "proxmox-openid",
> +    "proxmox-pgp",
>      "proxmox-product-config",
>      "proxmox-resource-scheduling",
>      "proxmox-rest-server",
> @@ -154,6 +155,7 @@ proxmox-lang = { version = "1.5", path = "proxmox-lang" }
>  proxmox-log = { version = "1.0.0", path = "proxmox-log" }
>  proxmox-login = { version = "1.0.0", path = "proxmox-login" }
>  proxmox-network-types = { version = "0.1.0", path = "proxmox-network-types" }
> +proxmox-pgp = { version = "1.0.0", path = "proxmox-pgp" }
>  proxmox-product-config = { version = "1.0.0", path = "proxmox-product-config" }
>  proxmox-config-digest = { version = "1.0.0", path = "proxmox-config-digest" }
>  proxmox-rest-server = { version = "1.0.0", path = "proxmox-rest-server" }
> diff --git a/proxmox-pgp/Cargo.toml b/proxmox-pgp/Cargo.toml
> new file mode 100644
> index 00000000..66cac444
> --- /dev/null
> +++ b/proxmox-pgp/Cargo.toml
> @@ -0,0 +1,17 @@
> +[package]
> +name = "proxmox-pgp"
> +version = "1.0.0"
> +authors.workspace = true
> +edition.workspace = true
> +license.workspace = true
> +repository.workspace = true
> +exclude.workspace = true
> +description = "Proxmox wrapper for verifying pgp signatures using sequoia-openpgp"
> +
> +[dependencies]
> +anyhow.workspace = true
> +serde.workspace = true
> +sequoia-openpgp = "2"
> +
> +proxmox-api-macro.workspace = true
> +proxmox-schema.workspace = true
> diff --git a/proxmox-pgp/debian/changelog b/proxmox-pgp/debian/changelog
> new file mode 100644
> index 00000000..3a5a947c
> --- /dev/null
> +++ b/proxmox-pgp/debian/changelog
> @@ -0,0 +1,5 @@
> +rust-proxmox-pgp (1.0.0-1) stable; urgency=medium
> +
> +  * initial split out of proxmox offline mirror.
> +
> + -- Proxmox Support Team <support@proxmox.com>  Wed, 22 Oct 2025 14:06:52 +0200
> diff --git a/proxmox-pgp/debian/control b/proxmox-pgp/debian/control
> new file mode 100644
> index 00000000..23412bab
> --- /dev/null
> +++ b/proxmox-pgp/debian/control
> @@ -0,0 +1,40 @@
> +Source: rust-proxmox-pgp
> +Section: rust
> +Priority: optional
> +Build-Depends: debhelper-compat (= 13),
> + dh-sequence-cargo
> +Build-Depends-Arch: cargo:native <!nocheck>,
> + rustc:native <!nocheck>,
> + libstd-rust-dev <!nocheck>,
> + librust-anyhow-1+default-dev <!nocheck>,
> + librust-proxmox-api-macro-1+default-dev (>= 1.4.1-~~) <!nocheck>,
> + librust-proxmox-schema-5+default-dev <!nocheck>,
> + librust-sequoia-openpgp-2+default-dev <!nocheck>,
> + librust-serde-1+default-dev <!nocheck>
> +Maintainer: Proxmox Support Team <support@proxmox.com>
> +Standards-Version: 4.7.2
> +Vcs-Git: git://git.proxmox.com/git/proxmox.git
> +Vcs-Browser: https://git.proxmox.com/?p=proxmox.git
> +Homepage: https://git.proxmox.com/?p=proxmox.git
> +X-Cargo-Crate: proxmox-pgp
> +
> +Package: librust-proxmox-pgp-dev
> +Architecture: any
> +Multi-Arch: same
> +Depends:
> + ${misc:Depends},
> + librust-anyhow-1+default-dev,
> + librust-proxmox-api-macro-1+default-dev (>= 1.4.1-~~),
> + librust-proxmox-schema-5+default-dev,
> + librust-sequoia-openpgp-2+default-dev,
> + librust-serde-1+default-dev
> +Provides:
> + librust-proxmox-pgp+default-dev (= ${binary:Version}),
> + librust-proxmox-pgp-1-dev (= ${binary:Version}),
> + librust-proxmox-pgp-1+default-dev (= ${binary:Version}),
> + librust-proxmox-pgp-1.0-dev (= ${binary:Version}),
> + librust-proxmox-pgp-1.0+default-dev (= ${binary:Version}),
> + librust-proxmox-pgp-1.0.0-dev (= ${binary:Version}),
> + librust-proxmox-pgp-1.0.0+default-dev (= ${binary:Version})
> +Description: Proxmox wrapper for verifying pgp signatures using sequoia-openpgp - Rust source code
> + Source code for Debianized Rust crate "proxmox-pgp"
> diff --git a/proxmox-pgp/debian/copyright b/proxmox-pgp/debian/copyright
> new file mode 100644
> index 00000000..d6e3c304
> --- /dev/null
> +++ b/proxmox-pgp/debian/copyright
> @@ -0,0 +1,18 @@
> +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
> +
> +Files:
> + *
> +Copyright: 2025 Proxmox Server Solutions GmbH <support@proxmox.com>
> +License: AGPL-3.0-or-later
> + This program is free software: you can redistribute it and/or modify it under
> + the terms of the GNU Affero General Public License as published by the Free
> + Software Foundation, either version 3 of the License, or (at your option) any
> + later version.
> + .
> + This program is distributed in the hope that it will be useful, but WITHOUT
> + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
> + FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more
> + details.
> + .
> + You should have received a copy of the GNU Affero General Public License along
> + with this program. If not, see <https://www.gnu.org/licenses/>.
> diff --git a/proxmox-pgp/debian/debcargo.toml b/proxmox-pgp/debian/debcargo.toml
> new file mode 100644
> index 00000000..b7864cdb
> --- /dev/null
> +++ b/proxmox-pgp/debian/debcargo.toml
> @@ -0,0 +1,7 @@
> +overlay = "."
> +crate_src_path = ".."
> +maintainer = "Proxmox Support Team <support@proxmox.com>"
> +
> +[source]
> +vcs_git = "git://git.proxmox.com/git/proxmox.git"
> +vcs_browser = "https://git.proxmox.com/?p=proxmox.git"
> diff --git a/proxmox-pgp/src/lib.rs b/proxmox-pgp/src/lib.rs
> new file mode 100644
> index 00000000..08a873fd
> --- /dev/null
> +++ b/proxmox-pgp/src/lib.rs
> @@ -0,0 +1,5 @@
> +#![cfg_attr(docsrs, feature(doc_cfg, doc_auto_cfg))]
> +
> +mod verifier;
> +
> +pub use verifier::{verify_signature, WeakCryptoConfig, WeakCryptoConfigUpdater};
> diff --git a/proxmox-pgp/src/verifier.rs b/proxmox-pgp/src/verifier.rs
> new file mode 100644
> index 00000000..84a15c4c
> --- /dev/null
> +++ b/proxmox-pgp/src/verifier.rs
> @@ -0,0 +1,200 @@
> +use anyhow::{bail, format_err, Error};
> +
> +use proxmox_api_macro::api;
> +use proxmox_schema::Updater;
> +use sequoia_openpgp::{
> +    cert::CertParser,
> +    parse::{
> +        stream::{
> +            DetachedVerifierBuilder, MessageLayer, MessageStructure, VerificationError,
> +            VerificationHelper, VerifierBuilder,
> +        },
> +        PacketParser, PacketParserResult, Parse,
> +    },
> +    policy::StandardPolicy,
> +    types::HashAlgorithm,
> +    Cert, KeyHandle,
> +};
> +use serde::{Deserialize, Serialize};
> +use std::io;
> +

nit: we usually prefer module level imports and the following ordering
of imports: std -> generic crates (e.g. anyhow, serde sequoia etc.) ->
proxmox* crates -> project specific crates. so this should be:

use std::io;

use anyhow::{..}
use sequoia_openpgp::cert::CertParser;
use sequoia_openpgp::parse::stream::{..};
[..]

use proxmox_api_macro::api;

and so on :)

> +#[api(
> +    properties: {
> +        "allow-sha1": {
> +            type: bool,
> +            default: false,
> +            optional: true,
> +        },
> +        "min-dsa-key-size": {
> +            type: u64,
> +            optional: true,
> +        },
> +        "min-rsa-key-size": {
> +            type: u64,
> +            optional: true,
> +        },
> +    },
> +)]
> +#[derive(Default, Serialize, Deserialize, Updater, Clone, Debug)]
> +#[serde(rename_all = "kebab-case")]
> +/// Weak Cryptography Configuration
> +pub struct WeakCryptoConfig {
> +    /// Whether to allow SHA-1 based signatures
> +    #[serde(default)]
> +    pub allow_sha1: bool,
> +    /// Whether to lower the key size cutoff for DSA-based signatures
> +    #[serde(default)]
> +    pub min_dsa_key_size: Option<u64>,
> +    /// Whether to lower the key size cutoff for RSA-based signatures
> +    #[serde(default)]
> +    pub min_rsa_key_size: Option<u64>,
> +}
> +
> +struct Helper<'a> {
> +    cert: &'a Cert,
> +}
> +
> +impl VerificationHelper for Helper<'_> {
> +    fn get_certs(&mut self, _ids: &[KeyHandle]) -> sequoia_openpgp::Result<Vec<Cert>> {
> +        // Return public keys for signature verification here.
> +        Ok(vec![self.cert.clone()])
> +    }
> +
> +    fn check(&mut self, structure: MessageStructure) -> sequoia_openpgp::Result<()> {
> +        // In this function, we implement our signature verification policy.
> +
> +        let mut good = false;
> +
> +        // we don't want compression and/or encryption
> +        let layers: Vec<_> = structure.iter().collect();
> +        if layers.len() > 1 || layers.is_empty() {
> +            bail!(
> +                "unexpected GPG message structure - expected plain signed data, got {} layers!",
> +                layers.len()
> +            );
> +        }
> +        let layer = &layers[0];
> +        let mut errors = Vec::new();
> +        match layer {
> +            MessageLayer::SignatureGroup { results } => {
> +                // We possibly have multiple signatures, but not all keys, so `or` all the individual results.
> +                for result in results {
> +                    match result {
> +                        Ok(_) => good = true,

this is probably pre-existing, but is there a good reason we can't short
circuit here and return `Ok(())` on the first good result?

if one signature is good, we set `good` here to true anyway, which means
the code below just returns `Ok(())` and ignores any errors.

however, if we can't short-circuit here, for example if this would open
a timing side channel, then it'd be good to document that here too imo.

> +                        Err(e) => errors.push(e),
> +                    }
> +                }
> +            }
> +            _ => return Err(anyhow::anyhow!("Unexpected message structure")),
> +        }
> +
> +        if good {
> +            Ok(()) // Good signature.
> +        } else {
> +            if errors.len() > 1 {
> +                eprintln!("\nEncountered {} errors:", errors.len());
> +            }
> +
> +            for (n, err) in errors.iter().enumerate() {
> +                if errors.len() > 1 {
> +                    eprintln!("\nSignature #{n}: {err}");
> +                } else {
> +                    eprintln!("\n{err}");
> +                }
> +                match err {
> +                    VerificationError::MalformedSignature { error, .. }
> +                    | VerificationError::UnboundKey { error, .. }
> +                    | VerificationError::BadKey { error, .. }
> +                    | VerificationError::BadSignature { error, .. } => {
> +                        let mut cause = error.chain();
> +                        if cause.len() > 1 {
> +                            cause.next(); // already included in `err` above
> +                            eprintln!("Caused by:");
> +                            for (n, e) in cause.enumerate() {
> +                                eprintln!("\t{n}: {e}");
> +                            }
> +                        }
> +                    }
> +                    VerificationError::MissingKey { .. }
> +                    | VerificationError::UnknownSignature { .. } => {} // doesn't contain a cause
> +                    _ => {} // we already print the error above in full
> +                };
> +            }
> +            eprintln!();

since this is now a library function, i'm not sure that unconditionally
printing to `stderr` makes sense. might be nicer to use the log crate,
or using anyhow `Context` to return that with the error below. would be
nice to get another opinion here, though.

> +            Err(anyhow::anyhow!("No valid signature found."))
> +        }
> +    }
> +}
> +
> +/// Verifies GPG-signed `msg` was signed by `key`, returning the verified data without signature.
> +pub fn verify_signature(
> +    msg: &[u8],
> +    key: &[u8],
> +    detached_sig: Option<&[u8]>,
> +    weak_crypto: &WeakCryptoConfig,
> +) -> Result<Vec<u8>, Error> {
> +    let mut policy = StandardPolicy::new();
> +    if weak_crypto.allow_sha1 {
> +        policy.accept_hash(HashAlgorithm::SHA1);
> +    }
> +    if let Some(min_dsa) = weak_crypto.min_dsa_key_size {
> +        if min_dsa <= 1024 {
> +            policy.accept_asymmetric_algo(sequoia_openpgp::policy::AsymmetricAlgorithm::DSA1024);
> +        }
> +    }
> +    if let Some(min_rsa) = weak_crypto.min_rsa_key_size {
> +        if min_rsa <= 1024 {
> +            policy.accept_asymmetric_algo(sequoia_openpgp::policy::AsymmetricAlgorithm::RSA1024);
> +        }
> +    }
> +
> +    let verifier = |cert| {
> +        let helper = Helper { cert: &cert };
> +
> +        if let Some(sig) = detached_sig {
> +            let mut verifier =
> +                DetachedVerifierBuilder::from_bytes(sig)?.with_policy(&policy, None, helper)?;
> +            verifier.verify_bytes(msg)?;
> +            Ok(msg.to_vec())
> +        } else {
> +            let mut verified = Vec::new();
> +            let mut verifier =
> +                VerifierBuilder::from_bytes(msg)?.with_policy(&policy, None, helper)?;
> +            let bytes = io::copy(&mut verifier, &mut verified)?;
> +            println!("{bytes} bytes verified");
> +            if !verifier.message_processed() {
> +                bail!("Failed to verify message!");
> +            }
> +            Ok(verified)
> +        }
> +    };
> +
> +    let mut packed_parser = PacketParser::from_bytes(key)?;
> +
> +    // parse all packets to see whether this is a simple certificate or a keyring
> +    while let PacketParserResult::Some(pp) = packed_parser {
> +        packed_parser = pp.recurse()?.1;
> +    }
> +
> +    if let PacketParserResult::EOF(eof) = packed_parser {
> +        // verify against a single certificate
> +        if eof.is_cert().is_ok() {
> +            let cert = Cert::from_bytes(key)?;
> +            return verifier(cert);
> +        // verify against a keyring
> +        } else if eof.is_keyring().is_ok() {
> +            let packed_parser = PacketParser::from_bytes(key)?;
> +
> +            return CertParser::from(packed_parser)
> +                // flatten here as we ignore packets that aren't a certificate
> +                .flatten()
> +                // keep trying to verify the message until the first certificate that succeeds
> +                .find_map(|c| verifier(c).ok())
> +                // if no certificate verified the message, abort
> +                .ok_or_else(|| format_err!("No key in keyring could verify the message!"));
> +        }
> +    }
> +
> +    // neither a keyring nor a certificate was detect, so we abort here
> +    bail!("'key-path' contains neither a keyring nor a certificate, aborting!");
> +}



_______________________________________________
pve-devel mailing list
pve-devel@lists.proxmox.com
https://lists.proxmox.com/cgi-bin/mailman/listinfo/pve-devel


  reply	other threads:[~2025-10-29 10:55 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-10-23 10:39 [pve-devel] [PATCH proxmox v5 0/4] fix #5207: apt: check signage of repos with proxmox-pgp Nicolas Frey
2025-10-23 10:39 ` [pve-devel] [PATCH proxmox v5 1/4] add proxmox-pgp subcrate, move POM verifier code to it Nicolas Frey
2025-10-29 10:54   ` Shannon Sterz [this message]
2025-10-29 13:44     ` Nicolas Frey
2025-10-29 19:39   ` Thomas Lamprecht
2025-10-23 10:39 ` [pve-devel] [PATCH proxmox v5 2/4] fix #5207: apt: check signage of repos with proxmox-pgp Nicolas Frey
2025-10-23 14:24   ` Nicolas Frey
2025-10-29 10:55   ` Shannon Sterz
2025-10-29 13:44     ` Nicolas Frey
2025-10-23 10:39 ` [pve-devel] [PATCH proxmox v5 3/4] apt: add tests for POM release filenames Nicolas Frey
2025-10-23 10:39 ` [pve-devel] [PATCH proxmox v5 4/4] apt: check for local POM InRelease as fallback Nicolas Frey
2025-10-29 10:55   ` Shannon Sterz
2025-10-29 13:44     ` Nicolas Frey
2025-10-30 13:30 ` [pve-devel] [PATCH proxmox v5 0/4] fix #5207: apt: check signage of repos with proxmox-pgp Nicolas Frey

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=DDUR1IMY6YX2.1IQGQL4KL3BO9@proxmox.com \
    --to=s.sterz@proxmox.com \
    --cc=n.frey@proxmox.com \
    --cc=pve-devel@lists.proxmox.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
Service provided by Proxmox Server Solutions GmbH | Privacy | Legal