Require the payload to be provided with a provided signature in verif…

…ication The signature signs the payload; it makes no sense for the user to provide the signature but not the payload - it would effectively force cosign to generate a byte-for-byte identical (and, currently, undesirable) payload forever. Signed-off-by: Miloslav Trmač <mitr@redhat.com>
sigstore · Mar 11, 2023 · c69a550 · c69a550
1 parent fd1701c
commit c69a550
Show file tree

Hide file tree

Showing 9 changed files with 27 additions and 16 deletions.
diff --git a/cmd/cosign/cli/options/verify.go b/cmd/cosign/cli/options/verify.go
@@ -45,6 +45,7 @@ type VerifyOptions struct {
 	Attachment   string
 	Output       string
 	SignatureRef string
+	PayloadRef   string
 	LocalImage   bool
 
 	CommonVerifyOptions CommonVerifyOptions
@@ -85,6 +86,9 @@ func (o *VerifyOptions) AddFlags(cmd *cobra.Command) {
 	cmd.Flags().StringVar(&o.SignatureRef, "signature", "",
 		"signature content or path or remote URL")
 
+	cmd.Flags().StringVar(&o.PayloadRef, "payload", "",
+		"payload path or remote URL")
+
 	cmd.Flags().BoolVar(&o.LocalImage, "local-image", false,
 		"whether the specified image is a path to an image saved locally via 'cosign save'")
 }

diff --git a/cmd/cosign/cli/verify.go b/cmd/cosign/cli/verify.go
@@ -115,6 +115,7 @@ against the transparency log.`,
 				Annotations:                  annotations,
 				HashAlgorithm:                hashAlgorithm,
 				SignatureRef:                 o.SignatureRef,
+				PayloadRef:                   o.PayloadRef,
 				LocalImage:                   o.LocalImage,
 				Offline:                      o.CommonVerifyOptions.Offline,
 				TSACertChainPath:             o.CommonVerifyOptions.TSACertChainPath,

diff --git a/cmd/cosign/cli/verify/verify.go b/cmd/cosign/cli/verify/verify.go
@@ -70,6 +70,7 @@ type VerifyCommand struct {
 	Attachment                   string
 	Annotations                  sigs.AnnotationsMap
 	SignatureRef                 string
+	PayloadRef                   string
 	HashAlgorithm                crypto.Hash
 	LocalImage                   bool
 	NameOptions                  []name.Option
@@ -119,6 +120,7 @@ func (c *VerifyCommand) Exec(ctx context.Context, images []string) (err error) {
 		CertGithubWorkflowRef:        c.CertGithubWorkflowRef,
 		IgnoreSCT:                    c.IgnoreSCT,
 		SignatureRef:                 c.SignatureRef,
+		PayloadRef:                   c.PayloadRef,
 		Identities:                   identities,
 		Offline:                      c.Offline,
 		IgnoreTlog:                   c.IgnoreTlog,

diff --git a/doc/cosign_dockerfile_verify.md b/doc/cosign_dockerfile_verify.md
diff --git a/doc/cosign_manifest_verify.md b/doc/cosign_manifest_verify.md
diff --git a/doc/cosign_verify.md b/doc/cosign_verify.md
diff --git a/pkg/cosign/verify.go b/pkg/cosign/verify.go
@@ -57,7 +57,6 @@ import (
 	"github.com/sigstore/sigstore/pkg/signature"
 	"github.com/sigstore/sigstore/pkg/signature/dsse"
 	"github.com/sigstore/sigstore/pkg/signature/options"
-	sigPayload "github.com/sigstore/sigstore/pkg/signature/payload"
 	tsaverification "github.com/sigstore/timestamp-authority/pkg/verification"
 )
 
@@ -121,8 +120,10 @@ type CheckOpts struct {
 	// It is a map from log id to LogIDMetadata. It is a map from LogID to crypto.PublicKey. LogID is derived from the PublicKey (see RFC 6962 S3.2).
 	CTLogPubKeys *TrustedTransparencyLogPubKeys
 
-	// SignatureRef is the reference to the signature file
+	// SignatureRef is the reference to the signature file. Either none or both of SignatureRef and PayloadRef must be specified.
 	SignatureRef string
+	// PayloadRef is a reference to the paylaod file. Either none or both of SignatureRef and PayloadRef must be specified.
+	PayloadRef string
 
 	// Identities is an array of Identity (Subject, Issuer) matchers that have
 	// to be met for the signature to ve valid.
@@ -503,7 +504,10 @@ func VerifyImageSignatures(ctx context.Context, signedImgRef name.Reference, co
 			return nil, false, err
 		}
 	} else {
-		sigs, err = loadSignatureFromFile(sigRef, signedImgRef, co)
+		if co.PayloadRef == "" {
+			return nil, false, errors.New("payload is required with a manually-provided signature")
+		}
+		sigs, err = loadSignatureFromFile(sigRef, co.PayloadRef)
 		if err != nil {
 			return nil, false, err
 		}
@@ -769,7 +773,7 @@ func VerifyImageSignature(ctx context.Context, sig oci.Signature, h v1.Hash, co
 	return verifyInternal(ctx, sig, h, verifyOCISignature, co)
 }
 
-func loadSignatureFromFile(sigRef string, signedImgRef name.Reference, co *CheckOpts) (oci.Signatures, error) {
+func loadSignatureFromFile(sigRef string, payloadRef string) (oci.Signatures, error) {
 	var b64sig string
 	targetSig, err := blob.LoadFileOrURL(sigRef)
 	if err != nil {
@@ -787,13 +791,7 @@ func loadSignatureFromFile(sigRef string, signedImgRef name.Reference, co *Check
 		b64sig = base64.StdEncoding.EncodeToString(targetSig)
 	}
 
-	digest, err := ociremote.ResolveDigest(signedImgRef, co.RegistryClientOpts...)
-	if err != nil {
-		return nil, err
-	}
-
-	payload, err := (&sigPayload.Cosign{Image: digest}).MarshalJSON()
-
+	payload, err := blob.LoadFileOrURL(payloadRef)
 	if err != nil {
 		return nil, err
 	}
@@ -1353,7 +1351,10 @@ func verifyImageSignaturesExperimentalOCI(ctx context.Context, signedImgRef name
 			return nil, false, err
 		}
 	} else {
-		sigs, err = loadSignatureFromFile(sigRef, signedImgRef, co)
+		if co.PayloadRef == "" {
+			return nil, false, errors.New("payload is required with a manually-provided signature")
+		}
+		sigs, err = loadSignatureFromFile(sigRef, co.PayloadRef)
 		if err != nil {
 			return nil, false, err
 		}

diff --git a/test/e2e_test.ps1 b/test/e2e_test.ps1
@@ -35,8 +35,8 @@ $signing_key = "cosign.key"
 $verification_key = "cosign.pub"
 
 $test_img = "ghcr.io/distroless/static"
-Write-Output $pass | .\cosign.exe sign --key $signing_key --output-signature interactive.sig --tlog-upload=false $test_img
-.\cosign.exe verify --key $verification_key --signature interactive.sig --insecure-ignore-tlog=true $test_img
+Write-Output $pass | .\cosign.exe sign --key $signing_key --output-signature interactive.sig --output-payload interactive.payload --tlog-upload=false $test_img
+.\cosign.exe verify --key $verification_key --signature interactive.sig --payload interactive.payload --insecure-ignore-tlog=true $test_img
 
 Pop-Location
 

diff --git a/test/e2e_test_secrets_kms.sh b/test/e2e_test_secrets_kms.sh
@@ -59,8 +59,8 @@ unset COSIGN_REPOSITORY
 stdin_password=${COSIGN_PASSWORD}
 unset COSIGN_PASSWORD
 (crane delete $(./cosign triangulate $img)) || true
-echo $stdin_password | ./cosign sign --key ${signing_key} --output-signature interactive.sig  $img
-COSIGN_KEY=${verification_key} COSIGN_SIGNATURE=interactive.sig ./cosign verify $img
+echo $stdin_password | ./cosign sign --key ${signing_key} --output-signature interactive.sig --output-payload interactive.payload $img
+COSIGN_KEY=${verification_key} COSIGN_SIGNATURE=interactive.sig ./cosign verify --payload interactive.payload $img
 export COSIGN_PASSWORD=${stdin_password}
 
 # What else needs auth?