CodeSampleX

Пример

verify hkdf in pkg:golang/golang.org/x/crypto@v0.54.0

sha256:3decb01fc7af1089a9fd05af1703feee79795c7b0eaa1bd37a1e8bd1127859fc

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

Свидетельства выполнения

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
1
Ключи подписи, собравшие его
1
Заявленная среда linux 24 · ubuntu · glibc 2.39 x64 go

Среды запусков проверки

Окружение Контракт Этапы Запуск
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-27

Кейс

HOW
Цель
verify hkdf in pkg:golang/golang.org/x/crypto@v0.54.0
Пакеты
Символы
  • golang.org/x/crypto/hkdf.Expand
  • golang.org/x/crypto/hkdf.Extract
  • golang.org/x/crypto/hkdf.New
Создан
2026-08-27T12:57:02Z

Контракт

  1. hkdf.Extract extracts pseudorandom key matching RFC 5869 test vector
  2. hkdf.Extract with nil salt defaults to hash size zeros
  3. hkdf.Expand expands pseudorandom key into key stream matching RFC 5869 test vector
  4. hkdf.New combines Extract and Expand into a single key derivation reader
  5. hkdf.New produces deterministic output for identical secret, salt, and info
  6. hkdf.New produces distinct outputs when secret, salt, or info differs
  7. hkdf.Expand returns error when reading beyond 255 times hash size

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним