CodeSampleX

Пример

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

sha256:8331c340c24d81bb88440888dfb9e11ee59926183b361b685890c2655a663eb7

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. 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.Expand in pkg:golang/golang.org/x/crypto@v0.27.0
Пакеты
Символы
  • hkdf.Expand
Создан
2026-08-27T18:45:04Z

Контракт

  1. hkdf.Expand derives deterministic key material from PRK and context info using SHA-256
  2. hkdf.Expand produces distinct key streams when given different context info strings
  3. hkdf.Expand yields continuous sequential key bytes across multiple ReadFull calls
  4. hkdf.Expand returns an error when reading beyond the 255 * HashLen limit

Файлы

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

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

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

аноним