CodeSampleX

Exemple

golang.org/x/crypto v0.54.0: hkdf.New

Échantillon vérifié pour golang golang.org/x/crypto v0.54.0: hkdf.New. Le contrat s'est exécuté sur go 1.26 · linux alpine/x64 · docker et a réussi.

sha256:2ef91c594dd8a48a6144bda94799788ef7084c7306b528c8fda2ff692988a522

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
1
Clés de signature qui l’ont compilé
1
Environnement déclaré linux 24 · ubuntu · glibc 2.39 x64 go

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-30

Cas

HOW
Objectif
verify hkdf.New in pkg:golang/golang.org/x/crypto@v0.54.0
Paquets
Symboles
  • hkdf.New
Créé
2026-08-30T13:49:28Z

Contrat

  1. hkdf.New derives RFC 5869 compliant key material matching standard test vectors
  2. hkdf.New with nil salt derives reproducible keys using default zero-filled salt
  3. hkdf.New produces distinct independent keys when given different info context tags
  4. hkdf.New generates identical output to sequential hkdf.Extract and hkdf.Expand

Fichiers

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • main.go
  • spec.json
  • test/contract.go

Télécharger l’artefact source (tar.gz)

Code source

PROMPT.md
Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify hkdf.New in pkg:golang/golang.org/x/crypto@v0.54.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/golang.org/x/crypto@v0.54.0
Demonstrate these symbols/APIs:
  - hkdf.New

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.
csx.json
{"case":{"caseId":"case:sha256:7438cdf2f6be308f11c82356f9f8ae894a55affb35db0ff57947263614b652de","contract":["hkdf.New derives RFC 5869 compliant key material matching standard test vectors","hkdf.New with nil salt derives reproducible keys using default zero-filled salt","hkdf.New produces distinct independent keys when given different info context tags","hkdf.New generates identical output to sequential hkdf.Extract and hkdf.Expand"],"goal":"verify hkdf.New in pkg:golang/golang.org/x/crypto@v0.54.0","kind":"HOW","packages":["pkg:golang/golang.org/x/crypto@v0.54.0"],"schemaVersion":1,"symbols":["hkdf.New"]},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/golang.org/x/crypto@v0.54.0"],"schemaVersion":1,"subject":"pkg:golang/golang.org/x/crypto@v0.54.0","symbols":["hkdf.New"],"verifierAdapter":"golang@1"}
go.mod
module example.com/sample

go 1.25.0

require golang.org/x/crypto v0.54.0
go.sum
golang.org/x/crypto v0.54.0 h1:YLIA59K4fiNzHzjnZt2tUJQjQtUWfWbeHBqKtk3eScw=
golang.org/x/crypto v0.54.0/go.mod h1:KWL8ny2AZdGR2cWmzeHrp2azQPGogOv+HeQaVEXC2dk=
main.go
package main

import (
	"crypto/rand"
	"crypto/sha256"
	"encoding/hex"
	"fmt"
	"io"
	"os"

	"golang.org/x/crypto/hkdf"
)

// DeriveKey derives a subkey of specified length from master secret, salt, and info tag.
func DeriveKey(secret, salt, info []byte, keyLen int) ([]byte, error) {
	kdf := hkdf.New(sha256.New, secret, salt, info)
	key := make([]byte, keyLen)
	if _, err := io.ReadFull(kdf, key); err != nil {
		return nil, fmt.Errorf("failed to read derived key: %w", err)
	}
	return key, nil
}

func main() {
	secret := []byte("master-secret-key-material-for-demonstration")
	salt := make([]byte, 16)
	if _, err := rand.Read(salt); err != nil {
		fmt.Fprintf(os.Stderr, "Error generating salt: %v\n", err)
		os.Exit(1)
	}

	encKey, err := DeriveKey(secret, salt, []byte("encryption-key-v1"), 32)
	if err != nil {
		fmt.Fprintf(os.Stderr, "Error deriving encryption key: %v\n", err)
		os.Exit(1)
	}

	authKey, err := DeriveKey(secret, salt, []byte("authentication-key-v1"), 32)
	if err != nil {
		fmt.Fprintf(os.Stderr, "Error deriving authentication key: %v\n", err)
		os.Exit(1)
	}

	fmt.Printf("Derived Encryption Key (32 bytes): %s\n", hex.EncodeToString(encKey))
	fmt.Printf("Derived Authentication Key (32 bytes): %s\n", hex.EncodeToString(authKey))
}
spec.json
{
  "schemaVersion": 1,
  "goal": "verify hkdf.New in pkg:golang/golang.org/x/crypto@v0.54.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/golang.org/x/crypto@v0.54.0"
  ],
  "symbols": [
    "hkdf.New"
  ]
}
test/contract.go
package main

import (
	"bytes"
	"crypto/sha256"
	"encoding/hex"
	"fmt"
	"io"
	"os"

	"golang.org/x/crypto/hkdf"
)

func main() {
	// Assertion 1: hkdf.New derives RFC 5869 compliant key material matching standard test vectors
	ikm, _ := hex.DecodeString("0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b")
	salt, _ := hex.DecodeString("000102030405060708090a0b0c")
	info, _ := hex.DecodeString("f0f1f2f3f4f5f6f7f8f9")
	expectedOKM, _ := hex.DecodeString("3cb25f25faacd57a90434f64d0362f2a2d2d0a90cf1a5a4c5db02d56ecc4c5bf34007208d5b887185865")

	kdf := hkdf.New(sha256.New, ikm, salt, info)
	okm := make([]byte, len(expectedOKM))
	if _, err := io.ReadFull(kdf, okm); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: RFC 5869 test vector read error: %v\n", err)
		os.Exit(1)
	}
	if !bytes.Equal(okm, expectedOKM) {
		fmt.Fprintf(os.Stderr, "FAIL: RFC 5869 OKM mismatch: got %x, expected %x\n", okm, expectedOKM)
		os.Exit(1)
	}

	// Assertion 2: hkdf.New with nil salt derives reproducible keys using default zero-filled salt
	masterKey := []byte("example-master-secret-data")
	kdfNilSalt1 := hkdf.New(sha256.New, masterKey, nil, []byte("app-info"))
	keyNilSalt1 := make([]byte, 32)
	if _, err := io.ReadFull(kdfNilSalt1, keyNilSalt1); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: read kdfNilSalt1: %v\n", err)
		os.Exit(1)
	}

	kdfNilSalt2 := hkdf.New(sha256.New, masterKey, nil, []byte("app-info"))
	keyNilSalt2 := make([]byte, 32)
	if _, err := io.ReadFull(kdfNilSalt2, keyNilSalt2); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: read kdfNilSalt2: %v\n", err)
		os.Exit(1)
	}

	if !bytes.Equal(keyNilSalt1, keyNilSalt2) {
		fmt.Fprintf(os.Stderr, "FAIL: nil salt keys are not reproducible\n")
		os.Exit(1)
	}

	// Assertion 3: hkdf.New produces distinct independent keys when given different info context tags
	kdfTagA := hkdf.New(sha256.New, masterKey, salt, []byte("context-A"))
	keyTagA := make([]byte, 32)
	if _, err := io.ReadFull(kdfTagA, keyTagA); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: read keyTagA: %v\n", err)
		os.Exit(1)
	}

	kdfTagB := hkdf.New(sha256.New, masterKey, salt, []byte("context-B"))
	keyTagB := make([]byte, 32)
	if _, err := io.ReadFull(kdfTagB, keyTagB); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: read keyTagB: %v\n", err)
		os.Exit(1)
	}

	if bytes.Equal(keyTagA, keyTagB) {
		fmt.Fprintf(os.Stderr, "FAIL: different info tags produced identical keys\n")
		os.Exit(1)
	}

	// Assertion 4: hkdf.New generates identical output to sequential hkdf.Extract and hkdf.Expand
	kdfFull := hkdf.New(sha256.New, masterKey, salt, info)
	outFull := make([]byte, 64)
	if _, err := io.ReadFull(kdfFull, outFull); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: read outFull: %v\n", err)
		os.Exit(1)
	}

	prk := hkdf.Extract(sha256.New, masterKey, salt)
	kdfStep := hkdf.Expand(sha256.New, prk, info)
	outStep := make([]byte, 64)
	if _, err := io.ReadFull(kdfStep, outStep); err != nil {
		fmt.Fprintf(os.Stderr, "FAIL: read outStep: %v\n", err)
		os.Exit(1)
	}

	if !bytes.Equal(outFull, outStep) {
		fmt.Fprintf(os.Stderr, "FAIL: hkdf.New output does not match hkdf.Extract + hkdf.Expand\n")
		os.Exit(1)
	}

	fmt.Println("PASS: golang.org/x/crypto/hkdf.New contract verified")
}

Seeder d'origine

anonyme